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: Bergamini:Damien
Contributed to:
20062005Wrote 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.