Christophe Joubert

	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)

Coauthor Index

1	María Alpuente	[13] [14] [15]
2	Damien Bergamini	[4] [7]
3	Byron Cook	[15]
4	Adrian Curic	[7]
5	Nicolas Descoubes	[4] [7]
6	Marco A. Feliú	[13] [14]
7	María-del-Mar Gallardo	[6] [9] [10] [11] [12]
8	Hubert Garavel	[7]
9	Holger Hermanns	[2]
10	Radu Mateescu	[3] [4] [5] [7] [8]
11	Pedro Merino	[6] [9] [10] [11] [12]
12	David Sanán	[11] [12]
13	Irina Smarandache-Sturm	[7]
14	Gilles Stragier	[7]
15	Alicia Villanueva	[13] [14]

Colors in the list of coauthors