Florent Peres
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2014
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | VECoS | A -Calculus Framework for the Diagnosability of Discrete Event Systems. | Mohamed Ghazel, Florent Peres |
| 2008 | ISORC | Abstract State Spaces for Time Petri Nets Analysis. | Bernard Berthomieu, Florent Peres, Franois Vernadat |
| 2007 | ATVA | Model Checking Bounded Prioritized Time Petri Nets. | Bernard Berthomieu, Florent Peres, Franois Vernadat |