Christophe Joubert

	2012
21		Javier Cano, Christophe Joubert, Miguel Llácer, Miguel Montesinos: Open-Source Formative Evaluation Process in Remote Software Maintenance. ERCIM News 2012(88): (2012)
20		M. Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: A model-extraction approach to verifying concurrent C programs with CADP. Sci. Comput. Program. 77(3): 375-392 (2012)
	2010
19		María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva: Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20
18		Marco A. Feliú, Christophe Joubert, Fernando Tarin: Evaluation Strategies for Datalog-based Points-To Analysis. ECEASST 35: (2010)
	2009
17		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
16		María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204
15		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
14		María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231
13		María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: Web Services for Accessing Explicit State Space Verification Tools. ERCIM News 2008(73): (2008)
	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): 114-127 (2003)

Coauthor Index

1	María Alpuente	[14] [15] [16] [17] [19]
2	Damien Bergamini	[4] [7]
3	Javier Cano	[21]
4	Byron Cook	[17]
5	Adrian Curic	[7]
6	Nicolas Descoubes	[4] [7]
7	Marco A. Feliú (Marco Antonio Feliú)	[14] [15] [16] [18] [19]
8	M. Mar Gallardo	[20]
9	María-del-Mar Gallardo	[6] [9] [10] [11] [12] [13]
10	Hubert Garavel	[7]
11	Holger Hermanns	[2]
12	Miguel Llácer	[21]
13	Radu Mateescu	[3] [4] [5] [7] [8]
14	Pedro Merino	[6] [9] [10] [11] [12] [13] [20]
15	Miguel Montesinos	[21]
16	David Sanán	[11] [12] [13] [20]
17	Irina Smarandache-Sturm	[7]
18	Gilles Stragier	[7]
19	Fernando Tarin	[18]
20	Alicia Villanueva	[14] [15] [16] [19]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page