default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDidier Buchs
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c68]Damien Morard
, Lucas Donati, Didier Buchs:
Symbolic Model Checking Using Intervals of Vectors. Petri Nets 2024: 269-290- [c67]Stefan Klikovits, Didier Buchs:
Pragmatic Reuse for DSML Development. Modellierung 2024: 215-216 - 2023
- [i8]Sahar Aljalbout, Gilles Falquet, Didier Buchs:
Handling Wikidata Qualifiers in Reasoning. CoRR abs/2304.03375 (2023) - 2022
- [j16]Didier Buchs, Josep Carmona, Jetty Kleijn:
Preface. Fundam. Informaticae 187(2-4) (2022) - [j15]Dimitri Racordon, Aurélien Coet, Didier Buchs:
Toward a Lingua Franca for Memory Safety. J. Object Technol. 21(2): 2:1-11 (2022) - 2021
- [j14]Stefan Klikovits, Didier Buchs:
Pragmatic reuse for DSML development. Softw. Syst. Model. 20(3): 837-866 (2021) - [e2]Didier Buchs, Josep Carmona:
Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings. Lecture Notes in Computer Science 12734, Springer 2021, ISBN 978-3-030-76982-6 [contents] - [i7]Dimitri Racordon, Aurélien Coet, Didier Buchs:
Fuel: A Compiler Framework for Safe Memory Management. CoRR abs/2106.12434 (2021) - 2020
- [c66]Dimitri Racordon, Didier Buchs:
LogicKit: bringing logic programming to swift. Programming 2020: 13-16 - [c65]Dimitri Racordon, Didier Buchs:
Featherweight Swift: a Core calculus for Swift's type system. SLE 2020: 140-154 - [c64]Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs:
Solving Schedulability as a Search Space Problem with Decision Diagrams. SSBSE 2020: 73-87
2010 – 2019
- 2019
- [c63]Sahar Aljalbout, Didier Buchs, Gilles Falquet:
Introducing Contextual Reasoning to the Semantic Web with OWL ^C. ICCS 2019: 13-26 - [c62]Sahar Aljalbout, Didier Buchs, Gilles Falquet:
OWLC: A Contextual Two-Dimensional Web Ontology Language. LDK 2019: 2:1-2:13 - [c61]Dimitri Racordon, Didier Buchs:
Implementing a language with explicit assignment semantics. VMIL@SPLASH 2019: 12-21 - [i6]Dimitri Racordon, Didier Buchs:
Explicit and Controllable Assignment Semantics. CoRR abs/1907.11317 (2019) - 2018
- [j13]Bruno Barroca, Vasco Amaral, Didier Buchs:
Semantic languages for developing correct language translations. Softw. Qual. J. 26(2): 417-453 (2018) - [c60]Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs:
Petri Sport: A Sport for Petri Netters. PNSE@Petri Nets/ACSD 2018: 35-56 - [c59]Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon:
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. Petri Nets 2018: 385-395 - [c58]Sahar Aljalbout, Gilles Falquet, Didier Buchs:
A Practical Implementation of Contextual Reasoning on the Semantic Web. KEOD 2018: 253-260 - [c57]Stefan Klikovits, Aurélien Coet, Didier Buchs:
ML4CREST: Machine Learning for CPS Models. MoDELS (Workshops) 2018: 515-520 - [c56]Stefan Klikovits, Alban Linard, Didier Buchs:
CREST - A DSL for Reactive Cyber-Physical Systems. SAM 2018: 29-45 - [c55]Dimitri Racordon, Didier Buchs:
A practical type system for safe aliasing. SLE 2018: 133-146 - 2017
- [c54]Alban Linard, Didier Buchs:
Ardoises: Collaborative & Interactive Editing Using Layered Data. ACSD 2017: 136-145 - [c53]Mihai-Lica Pura, Iulian Aciobanitei, Stefan-Adrian Toma, Didier Buchs:
CTL formula evaluation by term rewriting inversion. ECAI 2017: 1-10 - [c52]Stefan Klikovits, Alban Linard, Didier Buchs:
CREST - A Continuous, REactive SysTems DSL. MoDELS (Satellite Events) 2017: 286-291 - [i5]Dimitri Racordon, Didier Buchs:
Extracting Formal Specifications to Strenghten Type Behaviour Testing. CoRR abs/1708.05194 (2017) - 2016
- [c51]Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin:
Layered Data: A Modular Formal Definition without Formalisms. PNSE @ Petri Nets 2016: 287-306 - [c50]Mihai Lica Pura, Luciana Morogan, Didier Buchs:
Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting. COMM 2016: 85-88 - [c49]István Dávid, Eugene Syriani, Clark Verbrugge, Didier Buchs, Dominique Blouin, Antonio Cicchetti, Ken Vanherpen:
Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies. COMMitMDE@MoDELS 2016: 35-44 - [c48]Dimitri Racordon, Didier Buchs:
Verifying Multi-core Schedulability with Data Decision Diagrams. SERENE 2016: 45-61 - [c47]Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs:
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. SERENE 2016: 117-132 - [c46]David P. Y. Lawrence, Cláudio Gomes, Joachim Denil, Hans Vangheluwe, Didier Buchs:
Coupling petri nets with deterministic formalisms using co-simulation. SpringSim (TMS-DEVS) 2016: 6 - 2015
- [j12]Maximilien Colange, Dimitri Racordon, Didier Buchs:
Computing Bounds for Counter Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j11]Alexis Marechal, Didier Buchs:
Generalizing the Compositions of Petri Nets Modules. Fundam. Informaticae 137(1): 87-116 (2015) - [j10]Mihai-Lica Pura, Didier Buchs:
Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies. Trans. Petri Nets Other Model. Concurr. 10: 109-130 (2015) - [c45]Edmundo López Bóbeda, Maximilien Colange, Didier Buchs:
Building a Symbolic Model Checker from Formal Language Description. ACSD 2015: 50-59 - [c44]Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs:
Considering Execution Environment Resilience: A White-Box Approach. SERENE 2015: 46-61 - [i4]Maximilien Colange, Dimitri Racordon, Didier Buchs:
A CEGAR-like Approach for Cost LTL Bounds. CoRR abs/1506.05728 (2015) - 2014
- [c43]Mihai-Lica Pura, Didier Buchs:
Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks. PNSE @ Petri Nets 2014: 91-110 - [c42]Edmundo López Bóbeda, Maximilien Colange, Didier Buchs:
StrataGEM: A Generic Petri Net Verification Framework. Petri Nets 2014: 364-373 - [c41]Mihai-Lica Pura, Didier Buchs:
Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets. COMM 2014: 1-4 - [c40]Mihai Lica Pura, Didier Buchs:
A self-organized key management scheme for ad hoc networks based on identity-based cryptography. COMM 2014: 1-4 - [c39]Mihai-Lica Pura, Didier Buchs:
Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios. ICST Workshops 2014: 2-3 - [c38]David P. Y. Lawrence, Didier Buchs, Armin Wellig:
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems. SERENE 2014: 139-153 - 2013
- [c37]Alexis Marechal, Didier Buchs:
Unifying the Semantics of Modular Extensions of Petri Nets. Petri Nets 2013: 349-368 - [i3]Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR abs/1309.2485 (2013) - 2012
- [j9]Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal:
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis. Trans. Petri Nets Other Model. Concurr. 6: 123-145 (2012) - [j8]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel:
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6: 169-196 (2012) - [i2]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012) - 2011
- [j7]Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs:
High-Level Petri Net Model Checking with AlPiNA. Fundam. Informaticae 113(3-4): 229-264 (2011) - [c36]Didier Buchs, Steve Hostettler, Alexis Marechal:
Experience-Based Model Refinement. SERENE 2011: 40-47 - [i1]Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal:
Modelling of Genetic Regulatory Mechanisms with GReg. CoRR abs/1108.3436 (2011) - 2010
- [c35]Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron:
polyDD: Towards a Framework Generalizing Decision Diagrams. ACSD 2010: 124-133 - [c34]Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg:
Introduction. ACSD/Petri Nets Workshops 2010: 371 - [c33]Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi:
AlPiNA: A Symbolic Model Checker. Petri Nets 2010: 287-296 - [c32]Luis Pedro, Matteo Risoldi, Didier Buchs, Vasco Amaral:
Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study. DSM@SPLASH 2010: 16:1-16:6 - [c31]Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi:
AlPiNA: An Algebraic Petri Net Analyzer. TACAS 2010: 349-352
2000 – 2009
- 2009
- [j6]Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro:
DSL Composition for model-based test generation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009) - [j5]Gabriela Nicolescu, Didier Buchs:
Rapid systems prototyping at RSP'06. Microelectron. J. 40(7): 1081 (2009) - [c30]Didier Buchs, Levi Lucio, Ang Chen:
Model Checking Techniques for Test Generation from Business Process Models. Ada-Europe 2009: 59-74 - [c29]Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral:
Composing Visual Syntax for Domain Specific Languages. HCI (2) 2009: 889-898 - [p1]Matteo Risoldi, Vasco Amaral, Bruno Barroca, Kaveh Bazargan, Didier Buchs, Fabian Cretton, Gilles Falquet, Anne Le Calvé, Stéphane Malandain, Pierrick Zoss:
A Language and a Methodology for Prototyping User Interfaces for Control Systems. Human Machine Interaction 2009: 221-248 - 2007
- [j4]Luis Pedro, Levi Lucio, Didier Buchs:
System Prototype and Verification Using Metamodel-Based Transformations. IEEE Distributed Syst. Online 8(4) (2007) - [c28]Matteo Risoldi, Didier Buchs:
A domain specific language and methodology for control systems GUI specification, verification and prototyping. VL/HCC 2007: 179-182 - [e1]Nicolas Guelfi, Didier Buchs:
Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers. Lecture Notes in Computer Science 4401, Springer 2007, ISBN 978-3-540-71875-8 [contents] - 2006
- [c27]Didier Buchs, Luis Pedro, Levi Lucio:
Formal Test Generation from UML Models. Research Results of the DICS Program 2006: 145-171 - [c26]Luis Pedro, Levi Lucio, Didier Buchs:
Principles for System Prototype and Verification Using Metamodel Based Transformations. IEEE International Workshop on Rapid System Prototyping 2006: 10-17 - [c25]Ang Chen, Didier Buchs:
Generative Business Process Prototyping Framework. IEEE International Workshop on Rapid System Prototyping 2006: 140-148 - 2005
- [c24]Luis Pedro, Levi Lucio, Didier Buchs:
Prototyping Domain Specific Languages with COOPN. RISE 2005: 174-189 - [c23]Ang Chen, Didier Buchs:
Towards Service-Based Business Process Modeling, Prototyping and Integration. RISE 2005: 218-233 - [c22]Levi Lucio, Luis Pedro, Didier Buchs:
A Test Language for CO-OPN Specifications. IEEE International Workshop on Rapid System Prototyping 2005: 195-201 - 2004
- [c21]Adel Besrour, David Hurzeler, Didier Buchs:
Concurrent object oriented approach in morm simulation. IASTED Conf. on Software Engineering 2004: 90-94 - [c20]Levi Lucio, Luis Pedro, Didier Buchs:
A Methodology and a Framework for Model-Based Testing. RISE 2004: 57-70 - 2003
- [j3]Stanislav Chachkov, Didier Buchs:
Interfacing Software Libraries from Nondeterministic Prototypes. Des. Autom. Embed. Syst. 8(4): 327-343 (2003) - [c19]Didier Buchs, Stanislav Chachkov, David Hurzeler:
Modelling a Secure, Mobile, and Transactional System with CO-OPN. ACSD 2003: 82-91 - [c18]Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler:
Prototyping Object Oriented Specifications. ICATPN 2003: 473-482 - 2002
- [c17]Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi:
Real-Time Synchronised Petri Nets. ICATPN 2002: 142-162 - [c16]Stanislav Chachkov, Didier Buchs:
Interfacing Software Libraries from Non-deterministic Prototypes. IEEE International Workshop on Rapid System Prototyping 2002: 92-98 - 2001
- [c15]Stanislav Chachkov, Didier Buchs:
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. ACSD 2001: 99- - [c14]O. Biberstein, Didier Buchs, Nicolas Guelfi:
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. Concurrent Object-Oriented Programming and Petri Nets 2001: 73-130 - [c13]Stanislav Chachkov, Didier Buchs:
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller. IEEE International Workshop on Rapid System Prototyping 2001: 142-148 - 2000
- [j2]Didier Buchs, Nicolas Guelfi:
A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE Trans. Software Eng. 26(7): 635-652 (2000)
1990 – 1999
- 1999
- [c12]Mathieu Buffo, Didier Buchs:
A Distributed Semantics for a IWIM-Based Coordination Language. COORDINATION 1999: 415 - [c11]Didier Buchs, Mathieu Buffo:
Rapid Prototyping of Formally Modelled Distributed Systems. IEEE International Workshop on Rapid System Prototyping 1999: 4-9 - 1998
- [c10]Cécile Péraire, Stéphane Barbey, Didier Buchs:
Test selection for object-oriented software based on formal specifications. PROCOMET 1998: 385-403 - [c9]Didier Buchs, Alioune Diagne, Fabrice Kordon:
Testing Prototypes Validity to Enhance Code Reuse. International Workshop on Rapid System Prototyping 1998: 6-12 - 1997
- [j1]Mathieu Buffo, Didier Buchs:
Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems. Comput. Artif. Intell. 16(2): 187-216 (1997) - [c8]Mathieu Buffo, Didier Buchs:
A Coordination Model for Distributed Object Systems. COORDINATION 1997: 410-413 - [c7]Rémi Bastide, Didier Buchs:
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop). ECOOP Workshops 1997: 221-255 - 1996
- [c6]Stéphane Barbey, Didier Buchs, Cécile Péraire:
A Theory of Specification-Based Testing for Object-Oriented Software. EDCC 1996: 303-320 - [c5]Mathieu Buffo, Didier Buchs:
Contextual Coordination between Objects. SBES 1996: 341-356 - 1995
- [c4]Didier Buchs, C. Buffard, Pascal Racloz:
Modeling and Validation of Tasks with Algebraic Structured Nets. Ada-Europe 1995: 284-297 - 1994
- [c3]Stéphane Barbey, Didier Buchs:
Testing Ada Abstract Data Types Using Formal Specifications. Ada-Europe 1994: 76-89 - 1993
- [c2]Didier Buchs, Nicolas Guelfi:
Formal Development of Actor Programs Using Structured Algebraic Petri Nets. PARLE 1993: 353-366 - 1992
- [c1]Didier Buchs, Jacques Flumet, Pascal Racloz:
Producing prototypes from CO-OPN specifications. RSP 1992: 77-93
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
