 | 2009 |
| 15 |  | María Alpuente,
Byron Cook,
Christophe Joubert:
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Springer 2009 |
| 14 |  | María Alpuente,
Marco A. Feliú,
Christophe Joubert,
Alicia Villanueva:
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.
Electr. Notes Theor. Comput. Sci. 248: 57-66 (2009) |
| 2008 |
| 13 |  | María Alpuente,
Marco A. Feliú,
Christophe Joubert,
Alicia Villanueva:
Using Datalog and Boolean Equation Systems for Program Analysis.
FMICS 2008: 215-231 |
| 2007 |
| 12 |  | 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 |
| 11 |  | 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 |
| 10 |  | 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 |
| 9 |  | María-del-Mar Gallardo,
Christophe Joubert,
Pedro Merino:
Implementing Influence Analysis Using Parameterised Boolean Equation Systems.
ISoLA 2006: 416-424 |
| 8 |  | Christophe Joubert,
Radu Mateescu:
Distributed On-the-Fly Model Checking and Test Case Generation.
SPIN 2006: 126-145 |
| 7 |  | 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 |  | María-del-Mar Gallardo,
Christophe Joubert,
Pedro Merino:
Static Analysis using Parameterised Boolean Equation Systems
CoRR abs/cs/0606092: (2006) |
| 2005 |
| 5 |  | Christophe Joubert,
Radu Mateescu:
Distributed Local Resolution of Boolean Equation Systems.
PDP 2005: 264-271 |
| 4 |  | Damien Bergamini,
Nicolas Descoubes,
Christophe Joubert,
Radu Mateescu:
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.
TACAS 2005: 581-585 |
| 3 |  | Christophe Joubert,
Radu Mateescu:
Distributed On-the-Fly Equivalence Checking.
Electr. Notes Theor. Comput. Sci. 128(3): 47-62 (2005) |
| 2003 |
| 2 |  | Holger Hermanns,
Christophe Joubert:
A Set of Performance and Dependability Analysis Components for CADP.
TACAS 2003: 425-430 |
| 1 |  | Christophe Joubert:
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |