Christophe Joubert

34 papers A 4B 1C 5Journal 12Unranked 10
YearRankTypeTitle / Venue / Authors
2022 — ch.
Blockchain Technologies in the Design and Operation of Cyber-Physical Systems.
Digital Transformation
Abel Gómez, Christophe Joubert, Jordi Cabot
2018 J jnl
A systematic approach for performance assessment using process mining - An industrial experience report.
Empir. Softw. Eng.
Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu
2017 — conf
Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications.
ICPE Companion
Marc Gil, Christophe Joubert, Ismael Torres
2017 J jnl
Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications.
CoRR
Marc Gil, Christophe Joubert, Ismael Torres
2016 — conf
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study.
QUDOS@ISSTA
Simona Bernardi, José Ignacio Requeno, Christophe Joubert, Alberto Romeu
2015 J jnl
3D Web Visualization for Real-Time Maintenance of Smart Buildings.
ERCIM News
Daniel Gaston, Christophe Joubert, Miguel Montesinos
2015 — conf
DICE: Quality-Driven Development of Data-Intensive Cloud Applications.
MiSE@ICSE
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
2014 J jnl
A Comprehensive Port Operations Management System.
ERCIM News
Christophe Joubert, Miguel Montesinos, Jorge Sanz
2014 J jnl
Internet of Things Applications for Neighbourhood Embedded Devices.
ERCIM News
Joan Fons, Daniel Gaston, Christophe Joubert, Miguel Montesinos
2013 A conf
Monitoring user interactions for supporting failure reproduction.
ICPC
Tobias Roehm, Nigar Gurbanova, Bernd Bruegge, Christophe Joubert, Walid Maalej
2013 J jnl
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).
Sci. Comput. Program.
María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri
2013 J jnl
Real-Time Visualization of MV/LV Energy Alarms on GIS Web Applications.
ERCIM News
Christophe Joubert, Vicente Monrabal, Miguel Montesinos, Carlos Sánchez
2012 J jnl
A model-extraction approach to verifying concurrent C programs with CADP.
Sci. Comput. Program.
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
2012 J jnl
Open-Source Formative Evaluation Process in Remote Software Maintenance.
ERCIM News
Javier Cano, Christophe Joubert, Miguel Llácer, Miguel Montesinos
2010 — conf
Datalog-Based Program Analysis with BES and RWL.
Datalog
María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva
2010 J jnl
Evaluation Strategies for Datalog-based Points-To Analysis.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Marco A. Feliú, Christophe Joubert, Fernando Tarin
2009 C conf
Defining Datalog in Rewriting Logic.
LOPSTR
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
2009 C ed.
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
FMICS
María Alpuente, Byron Cook, Christophe Joubert
2008 — conf
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.
PROLE
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
2008 C conf
Using Datalog and Boolean Equation Systems for Program Analysis.
FMICS
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
2008 J jnl
Web Services for Accessing Explicit State Space Verification Tools.
ERCIM News
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
2007 — conf
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.
SPIN
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
2007 — conf
On-the-Fly Data Flow Analysis Based on Verification Technology.
COCV
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
2007 B conf
On-the-fly model checking for C programs with extended CADP in FMICS-jETI.
ICECCS
María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán
2006 A conf
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.
TACAS
Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier
2006 — conf
Distributed On-the-Fly Model Checking and Test Case Generation.
SPIN
Christophe Joubert, Radu Mateescu
2006 C conf
Implementing Influence Analysis Using Parameterised Boolean Equation Systems.
ISoLA
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
2006 J jnl
Static Analysis using Parameterised Boolean Equation Systems
CoRR
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
2005 A conf
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.
TACAS
Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu
2005 C conf
Distributed Local Resolution of Boolean Equation Systems.
PDP
Christophe Joubert, Radu Mateescu
2005 — —
Vérification distribuée à la volée de grands espaces d'états. (Distributed On-the-Fly Verification of Large State Spaces).
Christophe Joubert
2004 — conf
Distributed On-the-Fly Equivalence Checking.
PDMC
Christophe Joubert, Radu Mateescu
2003 A conf
A Set of Performance and Dependability Analysis Components for CADP.
TACAS
Holger Hermanns, Christophe Joubert
2003 — conf
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations.
PDMC@CAV
Christophe Joubert