Anne Rasse

According to our database, Anne Rasse authored at least 4 papers between 1990 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1997

Data-Structures for the Verification of Timed Automata.

Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse

Proceedings of the Hybrid and Real-Time Systems, 1997

1992

A Toolbox for the Verification of LOTOS Programs.

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

Error Diagnosis in Finite Communicating Systems.

Anne Rasse

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

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

Anne Rasse

PhD thesis, 1990