Symbolic Equivalence Checking. - Jean-Claude Fernandez; Alain Kerbrat; Laurent Mounier (CAV, 1993)

Reachable state space analysis of LOTOS specifications. - Alain Kerbrat (FORTE, 1994)

Methodes symboliques pour la verification de processus communicants : etude et mise en oeuvre. (Symbolic methods for the verification of communicating processes : study and implementation). - Alain Kerbrat (1994)

Formal Specification of a Framework for Groupware Development. - Alain Kerbrat; Slim Ben Atallah (FORTE, 1995)

Component-Based Programming and Application Management with Olan. - Luc Bellissard; Slim Ben Atallah; Alain Kerbrat; Michel Riveill (OBPDC, 1995)

CADP - A Protocol Validation and Verification Toolbox. - Jean-Claude Fernandez; Hubert Garavel; Alain Kerbrat; Laurent Mounier; Radu Mateescu 001; Mihaela Sighireanu (CAV, 1996)

Data-Structures for the Verification of Timed Automata. - Eugene Asarin; Marius Bozga; Alain Kerbrat; Oded Maler; Amir Pnueli; Anne Rasse (HART, 1997)

Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets. - Alain Kerbrat; Carlos Rodriguez-Salazar; Yves Lejeune (SDL Forum, 1997)

Protocol Verification with the ALDÉBARAN Toolset. - Marius Bozga; Jean-Claude Fernandez; Alain Kerbrat; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 1997)

Specification and execution of tests using tMsc. - Iulian Ober; Alain Kerbrat (FORTE, 1999)

Automated test generation from SDL specifications. - Alain Kerbrat; Thierry Jéron; Roland Groz (SDL Forum, 1999)

SDL for Real-Time: What is Missing? - Marius Bozga; Susanne Graf; Alain Kerbrat; Laurent Mounier; Iulian Ober; Daniel Vincent (SAM, 2000)

Verification and test generation for the SSCOP protocol. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Claude Jard; Thierry Jéron; Alain Kerbrat; Pierre Morel; Laurent Mounier (Sci. Comput. Program., 2000)

Verification of Quantitative Temporal Properties of SDL Specifications. - Iulian Ober; Alain Kerbrat (SDL Forum, 2001)