Pierre Moro

According to our database, Pierre Moro authored at least 5 papers between 2004 and 2012.

Collaborative distances:

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

2012

Robustness Analysis for Scheduling Problems Using the Inverse Method.

Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

2011

Programs with lists are counter automata.

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar

Formal Methods Syst. Des., 2011

2007

Minimal Counterexample Generation for SPIN.

Paul Gastin, Pierre Moro

Proceedings of the Model Checking Software, 2007

2005

Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.

Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar

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

2004

Minimization of Counterexamples in SPIN.

Paul Gastin, Pierre Moro, Marc Zeitoun

Proceedings of the Model Checking Software, 2004