Aurore Collomb-Annichini

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson
Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Formal Methods Syst. Des. 25 (1) (2004)
Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu
Analyzing Fair Parametric Extended Automata. SAS (2001)