| Publication | Date of Publication | Type |
|---|
| Compositional verification of concurrent systems by combining bisimulations | 2024-03-14 | 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 |
Formal modelling and verification of GALS systems using GRL and CADP
Formal Aspects of Computing | 2016-09-20 | Paper |
On-the-fly model checking for extended action-based probabilistic operators
Model Checking Software | 2016-06-22 | 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 |
PIC2LNT: model transformation for model checking an applied pi-calculus
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Sequential and distributed on-the-fly computation of weak tau-confluence
Science of Computer Programming | 2012-07-20 | 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 |
CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
Theoretical Computer Science | 2011-06-28 | 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 |
Computer Aided Verification
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Hierarchical Adaptive State Space Caching Based on Level Sampling
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Computation Tree Regular Logic for Genetic Regulatory Networks
Automated Technology for Verification and Analysis | 2008-11-20 | 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 |
Model Checking Software
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2087557 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080055 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1956574 (Why is no real title available?) | 2003-07-30 | Paper |
Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
Science of Computer Programming | 2003-05-14 | Paper |
Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS
International Journal on Software Tools for Technology Transfer. STTT | 2003-02-02 | 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 1538042 (Why is no real title available?) | 2001-05-20 | Paper |
| scientific article; zbMATH DE number 1303726 (Why is no real title available?) | 1999-06-17 | Paper |
