Aurore Collomb-Annichini

According to our database, Aurore Collomb-Annichini authored at least 7 papers between 1999 and 2004.

Collaborative distances:

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

2004

Using Forward Reachability Analysis for Verification of Lossy Channel Systems.

Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson

Formal Methods Syst. Des., 2004

2001

Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre.

Aurore Collomb-Annichini

PhD thesis, 2001

Analyzing Fair Parametric Extended Automata.

Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu

Proceedings of the Static Analysis, 8th International Symposium, 2001

TReX: A Tool for Reachability Analysis of Complex Systems.

Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems.

Aurore Annichini, Eugene Asarin, Ahmed Bouajjani

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol.

Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.

Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech

Proceedings of the Computer Aided Verification, 11th International Conference, 1999