Pierre Moro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2012
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | TIME | Robustness Analysis for Scheduling Problems Using the Inverse Method. | Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro |
| 2006 | CAV | Programs with Lists Are Counter Automata. | Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Toms Vojnar |
| 2005 | TACAS | Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. | Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Toms Vojnar |