Damien Bergamini

According to our database, Damien Bergamini authored at least 3 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.

Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2005

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.

Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

Model Checking Genetic Regulatory Networks Using GNA and CADP.

Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu

Proceedings of the Model Checking Software, 2004