Cléo : diagnostic des erreurs en Xesar. (CLEO : error diagnosis in XESAR). - Anne Rasse (1990)

Error Diagnosis in Finite Communicating Systems. - Anne Rasse (CAV, 1991)

A Toolbox for the Verification of LOTOS Programs. - Jean-Claude Fernandez; Hubert Garavel; Laurent Mounier; Anne Rasse; Carlos Rodríguez; Joseph Sifakis (ICSE, 1992)

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