BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Denmark
1 × France
1 × Portugal
1 × USA
4 × Germany
Collaborated with:
F.Lang R.Mateescu H.Hermanns W.Serwe ∅ J.Stöcker J.Fernandez L.Mounier N.Coste R.Hersemeule Y.Thonnart M.Zidouni A.Kerbrat M.Sighireanu A.Rasse C.Rodríguez J.Sifakis D.Bergamini A.Curic N.Descoubes C.Joubert I.Smarandache-Sturm G.Stragier
Talks about:
toolbox (4) verif (4) cadp (4) distribut (3) construct (3) process (3) architectur (2) analysi (2) valid (2) evalu (2)

Person: Hubert Garavel

DBLP DBLP: Garavel:Hubert

Facilitated 1 volumes:

TACAS 2003Ed

Contributed to:

TACAS 20112011
IFM 20092009
DATE 20082008
CAV 20072007
TACAS 20062006
CC 20022002
FME 20022002
TACAS 19981998
CAV 19961996
ICSE 19921992

Wrote 10 papers:

TACAS-2011-GaravelLMS #analysis #distributed #process
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.
IFM-2009-StockerLG #parallel #process #realtime
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (JS, FL, HG), pp. 88–102.
DATE-2008-CosteGHHTZ #architecture #design #embedded #evaluation #parallel #thread #validation
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures (NC, HG, HH, RH, YT, MZ), pp. 88–89.
CAV-2007-GaravelMLS #analysis #distributed #process
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes (HG, RM, FL, WS), pp. 158–163.
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.
CC-2002-GaravelLM #compilation #using
Compiler Construction Using LOTOS NT (HG, FL, RM), pp. 9–13.
FME-2002-GaravelH #evaluation #functional #on the #performance #using #verification
On Combining Functional Verification and Performance Evaluation Using CADP (HG, HH), pp. 410–429.
TACAS-1998-Garavel #architecture #named #simulation #testing #verification
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing (HG), pp. 68–84.
CAV-1996-FernandezGKMMS #named #protocol #validation #verification
CADP — A Protocol Validation and Verification Toolbox (JCF, HG, AK, LM, RM, MS), pp. 437–440.
ICSE-1992-FernandezGMRRS #source code #verification
A Toolbox for the Verification of LOTOS Programs (JCF, HG, LM, AR, CR, JS), pp. 246–259.
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.