Christophe Joubert

According to our database, Christophe Joubert authored at least 32 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Blockchain Technologies in the Design and Operation of Cyber-Physical Systems.

Abel Gómez, Christophe Joubert, Jordi Cabot

Proceedings of the Digital Transformation, 2022

2018

A systematic approach for performance assessment using process mining - An industrial experience report.

Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu

Empir. Softw. Eng., 2018

2017

Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications.

Marc Gil, Christophe Joubert, Ismael Torres

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

2016

A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study.

Simona Bernardi, José Ignacio Requeno, Christophe Joubert, Alberto Romeu

Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

2015

3D Web Visualization for Real-Time Maintenance of Smart Buildings.

Daniel Gaston, Christophe Joubert, Miguel Montesinos

ERCIM News, 2015

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, Matteo Rossi, Craig Sheridan, Ilias Spais, Daniel Vladuic

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

2014

A Comprehensive Port Operations Management System.

Christophe Joubert, Miguel Montesinos, Jorge Sanz

ERCIM News, 2014

Internet of Things Applications for Neighbourhood Embedded Devices.

Joan Fons, Daniel Gaston, Christophe Joubert, Miguel Montesinos

ERCIM News, 2014

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

Real-Time Visualization of MV/LV Energy Alarms on GIS Web Applications.

Christophe Joubert, Vicente Monrabal, Miguel Montesinos, Carlos Sánchez

ERCIM News, 2013

Monitoring user interactions for supporting failure reproduction.

Tobias Roehm, Nigar Gurbanova, Bernd Bruegge, Christophe Joubert, Walid Maalej

Proceedings of the IEEE 21st International Conference on Program Comprehension, 2013

2012

A model-extraction approach to verifying concurrent C programs with CADP.

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán

Sci. Comput. Program., 2012

Open-Source Formative Evaluation Process in Remote Software Maintenance.

Javier Cano, Christophe Joubert, Miguel Llácer, Miguel Montesinos

ERCIM News, 2012

2010

Evaluation Strategies for Datalog-based Points-To Analysis.

Marco A. Feliú, Christophe Joubert, Fernando Tarin

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Datalog-Based Program Analysis with BES and RWL.

María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva

Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009

Defining Datalog in Rewriting Logic.

María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008

Web Services for Accessing Explicit State Space Verification Tools.

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán

ERCIM News, 2008

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.

María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Using Datalog and Boolean Equation Systems for Program Analysis.

María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

On-the-Fly Data Flow Analysis Based on Verification Technology.

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007

C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán

Proceedings of the Model Checking Software, 2007

On-the-fly model checking for C programs with extended CADP in FMICS-jETI.

María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Static Analysis using Parameterised Boolean Equation Systems

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino

CoRR, 2006

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.

Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Distributed On-the-Fly Model Checking and Test Case Generation.

Christophe Joubert, Radu Mateescu

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Implementing Influence Analysis Using Parameterised Boolean Equation Systems.

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

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

Christophe Joubert

PhD thesis, 2005

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.

Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Distributed Local Resolution of Boolean Equation Systems.

Christophe Joubert, Radu Mateescu

Proceedings of the 13th Euromicro Workshop on Parallel, 2005

2004

Distributed On-the-Fly Equivalence Checking.

Christophe Joubert, Radu Mateescu

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

2003

Distributed Model Checking: From Abstract Algorithms to Concrete Implementations.

Christophe Joubert

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

A Set of Performance and Dependability Analysis Components for CADP.

Holger Hermanns, Christophe Joubert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003