Pierre Moro

Publication Activity (10 Years)

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

Top Topics

Scheduling Problem

Computational Efficiency

Detection Method

Top Venues

Publications

Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro
Robustness Analysis for Scheduling Problems Using the Inverse Method. TIME (2012)
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
Programs with lists are counter automata. Formal Methods Syst. Des. 38 (2) (2011)
Paul Gastin, Pierre Moro
Minimal Counterexample Generation for SPIN. SPIN (2007)
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
Programs with Lists Are Counter Automata. CAV (2006)
Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. TACAS (2005)
Paul Gastin, Pierre Moro, Marc Zeitoun
Minimization of Counterexamples in SPIN. SPIN (2004)