| Publication | Date of Publication | Type |
|---|
Equivalence checking 40 years after: a review of bisimulation tools
Lecture Notes in Computer Science | 2023-07-26 | Paper |
From LOTOS to LNT
ModelEd, TestEd, TrustEd | 2022-11-09 | Paper |
Automatic decomposition of Petri nets into automata networks -- a synthetic account
Application and Theory of Petri Nets and Concurrency | 2022-09-01 | Paper |
| Efficient algorithms for three reachability problems in safe Petri nets | 2022-03-21 | Paper |
On the most suitable axiomatization of signed integers
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Nested-unit Petri nets
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Revisiting sequential composition in process calculi
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
Application and Theory of Petri Nets and Concurrency | 2015-08-27 | Paper |
Compositional verification of asynchronous concurrent systems using CADP
Acta Informatica | 2015-06-24 | Paper |
Reflections on the future of concurrency theory in general and process calculi in particular
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
CADP 2010: a toolbox for the construction and analysis of distributed processes
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Lecture Notes in Computer Science | 2009-02-24 | Paper |
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
Science of Computer Programming | 2009-02-19 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-09-28 | Paper |
State space reduction for process algebra specifications
Theoretical Computer Science | 2006-04-06 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2090149 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087557 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1973989 (Why is no real title available?) | 2003-09-03 | Paper |
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
International Journal on Software Tools for Technology Transfer. STTT | 2002-08-05 | Paper |
| scientific article; zbMATH DE number 1746649 (Why is no real title available?) | 2002-06-09 | Paper |
| Specification and verification of a dynamic reconfiguration protocol for agent-based applications | 2002-05-02 | Paper |
| scientific article; zbMATH DE number 1418456 (Why is no real title available?) | 2000-03-19 | Paper |
