Christophe Joubert

ORCID

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 6

Top Venues

ERCIM News

Sci. Comput. Program.

ICPC

MiSE@ICSE

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu
A systematic approach for performance assessment using process mining - An industrial experience report. Empir. Softw. Eng. 23 (6) (2018)
Marc Gil, Christophe Joubert, Ismael Torres
Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications. CoRR (2017)
Marc Gil, Christophe Joubert, Ismael Torres
Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications. ICPE Companion (2017)
Simona Bernardi, José Ignacio Requeno, Christophe Joubert, Alberto Romeu
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. QUDOS@ISSTA (2016)
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
DICE: Quality-Driven Development of Data-Intensive Cloud Applications. MiSE@ICSE (2015)
Daniel Gaston, Christophe Joubert, Miguel Montesinos
3D Web Visualization for Real-Time Maintenance of Smart Buildings. ERCIM News 2015 (101) (2015)
Christophe Joubert, Miguel Montesinos, Jorge Sanz
A Comprehensive Port Operations Management System. ERCIM News 2014 (97) (2014)
Joan Fons, Daniel Gaston, Christophe Joubert, Miguel Montesinos
Internet of Things Applications for Neighbourhood Embedded Devices. ERCIM News 2014 (98) (2014)
Tobias Roehm, Nigar Gurbanova, Bernd Bruegge, Christophe Joubert, Walid Maalej
Monitoring user interactions for supporting failure reproduction. ICPC (2013)
María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Sci. Comput. Program. 78 (7) (2013)
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)
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) (2012)
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 Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva
Datalog-Based Program Analysis with BES and RWL. Datalog (2010)
Marco A. Feliú, Christophe Joubert, Fernando Tarin
Evaluation Strategies for Datalog-based Points-To Analysis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Defining Datalog in Rewriting Logic. LOPSTR (2009)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electron. Notes Theor. Comput. Sci. 248 (2009)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Using Datalog and Boolean Equation Systems for Program Analysis. FMICS (2008)
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-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)
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
On-the-Fly Data Flow Analysis Based on Verification Technology. Electron. Notes Theor. Comput. Sci. 190 (4) (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)
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA (2006)
Christophe Joubert, Radu Mateescu
Distributed On-the-Fly Model Checking and Test Case Generation. SPIN (2006)
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)
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
Static Analysis using Parameterised Boolean Equation Systems CoRR (2006)
Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS (2005)
Christophe Joubert, Radu Mateescu
Distributed Local Resolution of Boolean Equation Systems. PDP (2005)
Christophe Joubert, Radu Mateescu
Distributed On-the-Fly Equivalence Checking. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Holger Hermanns, Christophe Joubert
A Set of Performance and Dependability Analysis Components for CADP. TACAS (2003)
Christophe Joubert
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)

Christophe Joubert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christophe Joubert