BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Joubert:Christophe

Contributed to:

ICPC 20132013
LOPSTR 20092009
COCV 20072007
TACAS 20062006
PDP 20052005
TACAS 20052005
TACAS 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.