default search action

combined dblp search
author search
venue search
publication search

ask others

Christophe Joubert

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/22/0001JC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/22/0001JC22
Abel Gómez, Christophe Joubert, Jordi Cabot:
Blockchain Technologies in the Design and Operation of Cyber-Physical Systems. Digital Transformation 2022: 223-243

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/BernardiDGJMPRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/BernardiDGJMPRR18
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): 3394-3441 (2018)
2017
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/GilJT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/GilJT17
Marc Gil, Christophe Joubert, Ismael Torres:
Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications. ICPE Companion 2017: 173-174
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-06516
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-06516
Marc Gil, Christophe Joubert, Ismael Torres:
Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications. CoRR abs/1709.06516 (2017)
2016
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BernardiRJR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BernardiRJR16
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: 24-29
2015
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CasaleAABNHIJMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CasaleAABNHIJMM15
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: 78-83
[i7]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/GastonJM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/GastonJM15
Daniel Gaston, Christophe Joubert, Miguel Montesinos:
3D Web Visualization for Real-Time Maintenance of Smart Buildings. ERCIM News 2015(101) (2015)
2014
[i6]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/JoubertMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/JoubertMS14
Christophe Joubert, Miguel Montesinos, Jorge Sanz:
A Comprehensive Port Operations Management System. ERCIM News 2014(97) (2014)
[i5]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/FonsGJM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/FonsGJM14
Joan Fons, Daniel Gaston, Christophe Joubert, Miguel Montesinos:
Internet of Things Applications for Neighbourhood Embedded Devices. ERCIM News 2014(98) (2014)
2013
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AlpuenteJKR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlpuenteJKR13
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): 775-777 (2013)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/RoehmGBJM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/RoehmGBJM13
Tobias Roehm, Nigar Gurbanova, Bernd Bruegge, Christophe Joubert, Walid Maalej:
Monitoring user interactions for supporting failure reproduction. ICPC 2013: 73-82
[i4]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/JoubertMMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/JoubertMMS13
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)
2012
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GallardoJMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GallardoJMS12
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)
[i3]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/CanoJLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/CanoJLM12
Javier Cano, Christophe Joubert, Miguel Llácer, Miguel Montesinos:
Open-Source Formative Evaluation Process in Remote Software Maintenance. ERCIM News 2012(88) (2012)
2010
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/FeliuJT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/FeliuJT10
Marco A. Feliú, Christophe Joubert, Fernando Tarin:
Evaluation Strategies for Datalog-based Points-To Analysis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/datalog/AlpuenteFJV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/datalog/AlpuenteFJV10
María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva:
Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlpuenteFJV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlpuenteFJV09
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2009
María Alpuente, Byron Cook, Christophe Joubert:
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 [contents]
2008
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AlpuenteFJV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AlpuenteFJV08
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlpuenteFJV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlpuenteFJV09
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. PROLE 2008: 57-66
[i2]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/GallardoJMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/GallardoJMS08
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)
2007
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/GallardoMJS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/GallardoMJS07
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/GallardoJMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GallardoJMS07
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
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GallardoJM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GallardoJM07
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino:
On-the-Fly Data Flow Analysis Based on Verification Technology. COCV@ETAPS 2007: 33-48
2006
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GallardoJM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GallardoJM06
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino:
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JoubertM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JoubertM06
Christophe Joubert, Radu Mateescu:
Distributed On-the-Fly Model Checking and Test Case Generation. SPIN 2006: 126-145
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/GaravelMBCDJSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GaravelMBCDJSS06
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
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0606092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0606092
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino:
Static Analysis using Parameterised Boolean Equation Systems. CoRR abs/cs/0606092 (2006)
2005
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Joubert05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Joubert05
Christophe Joubert:
Vérification distribuée à la volée de grands espaces d'états. (Distributed On-the-Fly Verification of Large State Spaces). Grenoble Institute of Technology, France, 2005
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/JoubertM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/JoubertM05
Christophe Joubert, Radu Mateescu:
Distributed Local Resolution of Boolean Equation Systems. PDP 2005: 264-271
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BergaminiDJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BergaminiDJM05
Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu:
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS 2005: 581-585
2004
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JoubertM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JoubertM05
Christophe Joubert, Radu Mateescu:
Distributed On-the-Fly Equivalence Checking. PDMC 2004: 47-62
2003
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HermannsJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HermannsJ03
Holger Hermanns, Christophe Joubert:
A Set of Performance and Dependability Analysis Components for CADP. TACAS 2003: 425-430
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Joubert03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Joubert03
Christophe Joubert:
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations. PDMC@CAV 2003: 114-127

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.