Travelled to:1 × Austria
1 × Poland
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:R.Mateescu H.Hermanns D.Bergamini N.Descoubes M.Gallardo P.Merino M.Alpuente M.A.Feliú A.Villanueva T.Roehm N.Gurbanova B.Brügge W.Maalej H.Garavel A.Curic I.Smarandache-Sturm G.Stragier
Talks about:distribut (2) analysi (2) tool (2) fli (2) distributor (1) technolog (1) reproduct (1) interact (1) explicit (1) support (1)
Person: Christophe Joubert
DBLP: Joubert:Christophe
Contributed to:
2013
2009
2007
2006
200520052003Wrote 7 papers:
- ICPC-2013-RoehmGBJM #interactive #monitoring
- Monitoring user interactions for supporting failure reproduction (TR, NG, BB, CJ, WM), pp. 73–82.
- LOPSTR-2009-AlpuenteFJV #datalog #logic
- Defining Datalog in Rewriting Logic (MA, MAF, CJ, AV), pp. 188–204.
- COCV-2007-GallardoJM #analysis #data flow #on the fly #verification
- On-the-Fly Data Flow Analysis Based on Verification Technology (MdMG, CJ, PM), pp. 33–48.
- TACAS-2006-GaravelMBCDJSS #distributed #generative #tool support
- DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (HG, RM, DB, AC, ND, CJ, ISS, GS), pp. 445–449.
- PDP-2005-JoubertM #distributed #equation
- Distributed Local Resolution of Boolean Equation Systems (CJ, RM), pp. 264–271.
- TACAS-2005-BergaminiDJM #bisimulation #composition #equivalence #named #on the fly
- BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking (DB, ND, CJ, RM), pp. 581–585.
- TACAS-2003-HermannsJ #analysis #component #dependence #performance #set
- A Set of Performance and Dependability Analysis Components for CADP (HH, CJ), pp. 425–430.