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 × United Kingdom
Collaborated with:
R.Mateescu N.Descoubes C.Joubert H.Garavel A.Curic I.Smarandache-Sturm G.Stragier
Talks about:
tool (2) distributor (1) distribut (1) explicit (1) modular (1) generat (1) equival (1) bisimul (1) state (1) space (1)

Person: Damien Bergamini

DBLP DBLP: Bergamini:Damien

Contributed to:

TACAS 20062006
TACAS 20052005

Wrote 2 papers:

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

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.