Model Checking Genetic Regulatory Networks Using GNA and CADP. - Grégory Batt; Damien Bergamini; Hidde de Jong; Hubert Garavel; Radu Mateescu 001 (SPIN, 2004)

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. - Damien Bergamini; Nicolas Descoubes; Christophe Joubert; Radu Mateescu 001 (TACAS, 2005)

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. - Hubert Garavel; Radu Mateescu 001; Damien Bergamini; Adrian Curic; Nicolas Descoubes; Christophe Joubert; Irina Smarandache-Sturm; Gilles Stragier (TACAS, 2006)