A Set of Performance and Dependability Analysis Components for CADP. - Holger Hermanns; Christophe Joubert (TACAS, 2003)

Distributed Model Checking: From Abstract Algorithms to Concrete Implementations. - Christophe Joubert (PDMC@CAV, 2003)

Distributed On-the-Fly Equivalence Checking. - Christophe Joubert; Radu Mateescu 001 (PDMC, 2004)

Distributed Local Resolution of Boolean Equation Systems. - Christophe Joubert; Radu Mateescu 001 (PDP, 2005)

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

Vérification distribuée à la volée de grands espaces d'états. (Distributed On-the-Fly Verification of Large State Spaces). - Christophe Joubert (2005)

Implementing Influence Analysis Using Parameterised Boolean Equation Systems. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001 (ISoLA, 2006)

Distributed On-the-Fly Model Checking and Test Case Generation. - Christophe Joubert; Radu Mateescu 001 (SPIN, 2006)

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. - Hubert Garavel; Radu Mateescu 001; Damien Bergamini; Adrian Curic; Nicolas Descoubes; Christophe Joubert; Irina Smarandache-Sturm; Gilles Stragier (TACAS, 2006)

Static Analysis using Parameterised Boolean Equation Systems - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001 (CoRR, 2006)

On-the-fly model checking for C programs with extended CADP in FMICS-jETI. - María-del-Mar Gallardo; Pedro Merino 001; Christophe Joubert; David Sanán (ICECCS, 2007)

C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001; David Sanán (SPIN, 2007)

On-the-Fly Data Flow Analysis Based on Verification Technology. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001 (COCV@ETAPS, 2007)

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

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. - María Alpuente; Marco A. Feliú; Christophe Joubert; Alicia Villanueva (PROLE, 2008)

Web Services for Accessing Explicit State Space Verification Tools. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001; David Sanán (ERCIM News, 2008)

Defining Datalog in Rewriting Logic. - María Alpuente; Marco A. Feliú; Christophe Joubert; Alicia Villanueva (LOPSTR, 2009)

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

Evaluation Strategies for Datalog-based Points-To Analysis. - Marco A. Feliú; Christophe Joubert; Fernando Tarin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

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

A model-extraction approach to verifying concurrent C programs with CADP. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001; David Sanán (Sci. Comput. Program., 2012)

Monitoring user interactions for supporting failure reproduction. - Tobias Roehm; Nigar Gurbanova; Bernd Bruegge; Christophe Joubert; Walid Maalej (ICPC, 2013)

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

Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). - María Alpuente; Christophe Joubert; Stefan Kowalewski; Marco Roveri (Sci. Comput. Program., 2013)

Internet of Things Applications for Neighbourhood Embedded Devices. - Joan Fons; Daniel Gaston; Christophe Joubert; Miguel Montesinos (ERCIM News, 2014)

A Comprehensive Port Operations Management System. - Christophe Joubert; Miguel Montesinos; Jorge Sanz (ERCIM News, 2014)

DICE: Quality-Driven Development of Data-Intensive Cloud Applications. - Giuliano Casale; Danilo Ardagna; Matej Artac; Franck Barbier; Elisabetta Di Nitto; Alexis Henry; Gabriel Iuhasz; Christophe Joubert; José Merseguer; Victor Ion Munteanu; Juan Fernando Pérez; Dana Petcu; et al. (MiSE@ICSE, 2015)

3D Web Visualization for Real-Time Maintenance of Smart Buildings. - Daniel Gaston; Christophe Joubert; Miguel Montesinos (ERCIM News, 2015)

A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. - Simona Bernardi 001; José Ignacio Requeno; Christophe Joubert; Alberto Romeu (QUDOS@ISSTA, 2016)

Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications. - Marc Gil; Christophe Joubert; Ismael Torres (ICPE Companion, 2017)

A systematic approach for performance assessment using process mining - An industrial experience report. - Simona Bernardi 001; Juan L. Domínguez; Abel Gómez 001; Christophe Joubert; José Merseguer; Diego Perez-Palacin; José Ignacio Requeno; Alberto Romeu (Empir. Softw. Eng., 2018)

Blockchain Technologies in the Design and Operation of Cyber-Physical Systems. - Abel Gómez 001; Christophe Joubert; Jordi Cabot (Digital Transformation, 2022)