Didier Buchs

According to our database1, Didier Buchs authored at least 91 papers between 1992 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Handling Wikidata Qualifiers in Reasoning.
CoRR, 2023

2022
Toward a Lingua Franca for Memory Safety.
J. Object Technol., 2022

Preface.
Fundam. Informaticae, 2022

2021
Pragmatic reuse for DSML development.
Softw. Syst. Model., 2021

Fuel: A Compiler Framework for Safe Memory Management.
CoRR, 2021

2020
Solving Schedulability as a Search Space Problem with Decision Diagrams.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Featherweight Swift: a Core calculus for Swift's type system.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

LogicKit: bringing logic programming to swift.
Proceedings of the Programming'20: 4th International Conference on the Art, 2020

2019
Explicit and Controllable Assignment Semantics.
CoRR, 2019

Implementing a language with explicit assignment semantics.
Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

OWL<sup>C</sup>: A Contextual Two-Dimensional Web Ontology Language.
Proceedings of the 2nd Conference on Language, Data and Knowledge, 2019

Introducing Contextual Reasoning to the Semantic Web with OWL ^C.
Proceedings of the Graph-Based Representation and Reasoning, 2019

2018
Semantic languages for developing correct language translations.
Softw. Qual. J., 2018

A practical type system for safe aliasing.
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

CREST - A DSL for Reactive Cyber-Physical Systems.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

ML4CREST: Machine Learning for CPS Models.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

A Practical Implementation of Contextual Reasoning on the Semantic Web.
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

Petri Sport: A Sport for Petri Netters.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017
Extracting Formal Specifications to Strenghten Type Behaviour Testing.
CoRR, 2017

CREST - A Continuous, REactive SysTems DSL.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

CTL formula evaluation by term rewriting inversion.
Proceedings of the 9th International Conference on Electronics, 2017

Ardoises: Collaborative & Interactive Editing Using Layered Data.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Coupling petri nets with deterministic formalisms using co-simulation.
Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

Verifying Multi-core Schedulability with Data Decision Diagrams.
Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned.
Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies.
Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting.
Proceedings of the International Conference on Communications, 2016

Layered Data: A Modular Formal Definition without Formalisms.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015
Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies.
Trans. Petri Nets Other Model. Concurr., 2015

Generalizing the Compositions of Petri Nets Modules.
Fundam. Informaticae, 2015

Computing Bounds for Counter Automata.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

A CEGAR-like Approach for Cost LTL Bounds.
CoRR, 2015

Considering Execution Environment Resilience: A White-Box Approach.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

Building a Symbolic Model Checker from Formal Language Description.
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems.
Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

A self-organized key management scheme for ad hoc networks based on identity-based cryptography.
Proceedings of the 10th International Conference on Communications, 2014

Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets.
Proceedings of the 10th International Conference on Communications, 2014

Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

StrataGEM: A Generic Petri Net Verification Framework.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013
Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR, 2013

Unifying the Semantics of Modular Extensions of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.
Trans. Petri Nets Other Model. Concurr., 2012

Report on the Model Checking Contest at Petri Nets 2011.
Trans. Petri Nets Other Model. Concurr., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR, 2012

2011
High-Level Petri Net Model Checking with AlPiNA.
Fundam. Informaticae, 2011

Modelling of Genetic Regulatory Mechanisms with GReg
CoRR, 2011

Experience-Based Model Refinement.
Proceedings of the Software Engineering for Resilient Systems, 2011

2010
AlPiNA: An Algebraic Petri Net Analyzer.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study.
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

AlPiNA: A Symbolic Model Checker.
Proceedings of the Applications and Theory of Petri Nets, 2010

polyDD: Towards a Framework Generalizing Decision Diagrams.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Introduction.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009
A Language and a Methodology for Prototyping User Interfaces for Control Systems.
Proceedings of the Human Machine Interaction, Research Results of the MMI Program, 2009

Rapid systems prototyping at RSP'06.
Microelectron. J., 2009

DSL Composition for model-based test generation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Composing Visual Syntax for Domain Specific Languages.
Proceedings of the Human-Computer Interaction. Novel Interaction Methods and Techniques, 2009

Model Checking Techniques for Test Generation from Business Process Models.
Proceedings of the Reliable Software Technologies, 2009

2007
System Prototype and Verification Using Metamodel-Based Transformations.
IEEE Distributed Syst. Online, 2007

A domain specific language and methodology for control systems GUI specification, verification and prototyping.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

2006
Principles for System Prototype and Verification Using Metamodel Based Transformations.
Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

Generative Business Process Prototyping Framework.
Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

Formal Test Generation from UML Models.
Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

2005
A Test Language for CO-OPN Specifications.
Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

Prototyping Domain Specific Languages with COOPN.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

Towards Service-Based Business Process Modeling, Prototyping and Integration.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

2004
A Methodology and a Framework for Model-Based Testing.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Concurrent object oriented approach in morm simulation.
Proceedings of the IASTED International Conference on Software Engineering, 2004

2003
Interfacing Software Libraries from Nondeterministic Prototypes.
Des. Autom. Embed. Syst., 2003

Prototyping Object Oriented Specifications.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Modelling a Secure, Mobile, and Transactional System with CO-OPN.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Interfacing Software Libraries from Non-deterministic Prototypes.
Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP 2002), 2002

Real-Time Synchronised Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller.
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000
A Formal Specification Framework for Object-Oriented Distributed Systems.
IEEE Trans. Software Eng., 2000

1999
Rapid Prototyping of Formally Modelled Distributed Systems.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

A Distributed Semantics for a IWIM-Based Coordination Language.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
Testing Prototypes Validity to Enhance Code Reuse.
Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping (RSP 1998), 1998

Test selection for object-oriented software based on formal specifications.
Proceedings of the Programming Concepts and Methods, 1998

1997
Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems.
Comput. Artif. Intell., 1997

Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop).
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

A Coordination Model for Distributed Object Systems.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Contextual Coordination between Objects.
Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

A Theory of Specification-Based Testing for Object-Oriented Software.
Proceedings of the Dependable Computing, 1996

1995
Modeling and Validation of Tasks with Algebraic Structured Nets.
Proceedings of the Ada in Europe, Second International Eurospace, 1995

1994
Testing Ada Abstract Data Types Using Formal Specifications.
Proceedings of the Ada in Europe, First International Eurospace, 1994

1993
Formal Development of Actor Programs Using Structured Algebraic Petri Nets.
Proceedings of the PARLE '93, 1993

1992
Producing prototypes from CO-OPN specifications.
Proceedings of the Third International Workshop on Rapid System Prototyping, 1992


  Loading...