| Publication | Date of Publication | Type |
|---|
Compositional verification of priority systems using sharp bisimulation
Formal Methods in System Design | 2024-06-28 | Paper |
| Compositional verification of concurrent systems by combining bisimulations | 2024-03-14 | Paper |
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 |
Compositional verification of concurrent systems by combining bisimulations
Formal Methods in System Design | 2022-06-20 | Paper |
Sharp congruences adequate with temporal logics combining weak and strong modalities
Tools and Algorithms for the Construction and Analysis of Systems | 2021-11-10 | Paper |
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
Formal modelling and verification of GALS systems using GRL and CADP
Formal Aspects of Computing | 2016-09-20 | Paper |
Verification of \(\mathrm{EB}^3\) specifications using CADP
Formal Aspects of Computing | 2016-05-12 | Paper |
Compositional verification of asynchronous concurrent systems using CADP
Acta Informatica | 2015-06-24 | Paper |
Partial model checking using networks of labelled transition systems and Boolean equation systems
Logical Methods in Computer Science | 2013-10-16 | Paper |
| Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract) | 2013-09-25 | Paper |
On explicit substitution with names
Journal of Automated Reasoning | 2013-08-01 | Paper |
Partial model checking using networks of labelled transition systems and Boolean equation systems
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | 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 |
Translating FSP into LOTOS and networks of automata
Formal Aspects of Computing | 2010-12-17 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Refined Interfaces for Compositional Verification
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Translating FSP into LOTOS and Networks of Automata
Lecture Notes in Computer Science | 2009-03-06 | Paper |
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Lecture Notes in Computer Science | 2009-02-24 | Paper |
Explaining the lazy Krivine machine using explicit substitution and addresses
Higher-Order and Symbolic Computation | 2007-12-17 | Paper |
| scientific article; zbMATH DE number 2087557 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080068 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1973989 (Why is no real title available?) | 2003-09-03 | Paper |
| scientific article; zbMATH DE number 1508933 (Why is no real title available?) | 2000-09-18 | Paper |
