Christophe Joubert

Christophe Joubert, Vicente Monrabal, Miguel Montesinos, Carlos Sánchez: Real-Time Visualization of MV/LV Energy Alarms on GIS Web Applications. ERCIM News 2013(92) (2013)

Javier Cano, Christophe Joubert, Miguel Llácer, Miguel Montesinos: Open-Source Formative Evaluation Process in Remote Software Maintenance. ERCIM News 2012(88) (2012)

María-del-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)

Marco A. Feliú, Christophe Joubert, Fernando Tarin: Evaluation Strategies for Datalog-based Points-To Analysis. ECEASST 35 (2010)

María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva: Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20

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)

María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204

María Alpuente, Byron Cook, Christophe Joubert (Eds.): Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Lecture Notes in Computer Science 5825, Springer 2009, isbn 978-3-642-04569-1

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)

María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231

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)

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

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

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424

Christophe Joubert, Radu Mateescu: Distributed On-the-Fly Model Checking and Test Case Generation. SPIN 2006: 126-145

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

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Static Analysis using Parameterised Boolean Equation Systems. CoRR abs/cs/0606092 (2006)

Christophe Joubert, Radu Mateescu: Distributed On-the-Fly Equivalence Checking. Electr. Notes Theor. Comput. Sci. 128(3): 47-62 (2005)

Christophe Joubert, Radu Mateescu: Distributed Local Resolution of Boolean Equation Systems. PDP 2005: 264-271

Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS 2005: 581-585

Christophe Joubert: Distributed Model Checking: From Abstract Algorithms to Concrete Implementations. Electr. Notes Theor. Comput. Sci. 89(1): 114-127 (2003)

Holger Hermanns, Christophe Joubert: A Set of Performance and Dependability Analysis Components for CADP. TACAS 2003: 425-430