Christophe Joubert Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cano, Christophe Joubert, Miguel Llácer, Miguel Montesinos: Open-Source Formative Evaluation Process in Remote Software Maintenance. ERCIM News 2012(88): (2012)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva: Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Feliú, Christophe Joubert, Fernando Tarin: Evaluation Strategies for Datalog-based Points-To Analysis. ECEASST 35: (2010)
2009
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Joubert, Radu Mateescu: Distributed On-the-Fly Model Checking and Test Case Generation. SPIN 2006: 126-145
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Static Analysis using Parameterised Boolean Equation Systems CoRR abs/cs/0606092: (2006)
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Joubert, Radu Mateescu: Distributed Local Resolution of Boolean Equation Systems. PDP 2005: 264-271
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS 2005: 581-585
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Joubert, Radu Mateescu: Distributed On-the-Fly Equivalence Checking. Electr. Notes Theor. Comput. Sci. 128(3): 47-62 (2005)
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Christophe Joubert: A Set of Performance and Dependability Analysis Components for CADP. TACAS 2003: 425-430
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Joubert: Distributed Model Checking: From Abstract Algorithms to Concrete Implementations. Electr. Notes Theor. Comput. Sci. 89(1): 114-127 (2003)

Coauthor Index

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page