| 2007 |
|---|
| 11 | EE | María-del-Mar Gallardo,
Pedro Merino,
Christophe Joubert,
David Sanán:
On-the-fly model checking for C programs with extended CADP in FMICS-jETI.
ICECCS 2007: 321-329 |
| 10 | EE | María-del-Mar Gallardo,
Christophe Joubert,
Pedro Merino,
David Sanán:
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.
SPIN 2007: 268-273 |
| 9 | EE | María-del-Mar Gallardo,
Christophe Joubert,
Pedro Merino:
On-the-Fly Data Flow Analysis Based on Verification Technology.
Electr. Notes Theor. Comput. Sci. 190(4): 33-48 (2007) |
| 2006 |
|---|
| 8 | EE | Christophe Joubert,
Radu Mateescu:
Distributed On-the-Fly Model Checking and Test Case Generation.
SPIN 2006: 126-145 |
| 7 | EE | Hubert Garavel,
Radu Mateescu,
Damien Bergamini,
Adrian Curic,
Nicolas Descoubes,
Christophe Joubert,
Irina Smarandache-Sturm,
Gilles Stragier:
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.
TACAS 2006: 445-449 |
| 6 | EE | María-del-Mar Gallardo,
Christophe Joubert,
Pedro Merino:
Static Analysis using Parameterised Boolean Equation Systems
CoRR abs/cs/0606092: (2006) |
| 2005 |
|---|
| 5 | EE | Christophe Joubert,
Radu Mateescu:
Distributed Local Resolution of Boolean Equation Systems.
PDP 2005: 264-271 |
| 4 | EE | Damien Bergamini,
Nicolas Descoubes,
Christophe Joubert,
Radu Mateescu:
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.
TACAS 2005: 581-585 |
| 3 | EE | Christophe Joubert,
Radu Mateescu:
Distributed On-the-Fly Equivalence Checking.
Electr. Notes Theor. Comput. Sci. 128(3): 47-62 (2005) |
| 2003 |
|---|
| 2 | EE | Holger Hermanns,
Christophe Joubert:
A Set of Performance and Dependability Analysis Components for CADP.
TACAS 2003: 425-430 |
| 1 | EE | Christophe Joubert:
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
