Christophe Joubert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2003–2016
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ISSTA | A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. | Simona Bernardi, Jos Ignacio Requeno, Christophe Joubert, Alberto Romeu |
| 2015 | ICSE | 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 Prez, Dana Petcu, Matteo Rossi, Craig Sheridan, Ilias Spais, Daniel Vladuic |
| 2009 | LOPSTR | Defining Datalog in Rewriting Logic. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |
| 2008 | FMICS | Using Datalog and Boolean Equation Systems for Program Analysis. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |
| 2007 | ICECCS | On-the-fly model checking for C programs with extended CADP in FMICS-jETI. | Mara-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sann |
| 2006 | ISoLA | Implementing Influence Analysis Using Parameterised Boolean Equation Systems. | Mara-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
| 2006 | TACAS | 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 |
| 2005 | PDP | Distributed Local Resolution of Boolean Equation Systems. | Christophe Joubert, Radu Mateescu |
| 2005 | TACAS | BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. | Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu |
| 2003 | TACAS | A Set of Performance and Dependability Analysis Components for CADP. | Holger Hermanns, Christophe Joubert |