Florent Peres

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Topics

Timed Petri Nets

Complex Systems

Model Based Diagnosis

Top Venues

Int. J. Crit. Comput. Based Syst.

INSA Toulouse, France (PHD)

Education History

INSA Toulouse, France

PHD

Publications

Florent Peres, Mohamed Ghazel
A µ-calculus formulation of the diagnosability of discrete event systems. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Mohamed Ghazel, Florent Peres
A µ-Calculus Framework for the Diagnosability of Discrete Event Systems. VECoS (2014)
Florent Peres, Bernard Berthomieu, François Vernadat
On the composition of time Petri nets. Discret. Event Dyn. Syst. 21 (3) (2011)
Florent Peres, Pierre-Emmanuel Hladik, François Vernadat
Specification and verification of real-time systems using POLA. Int. J. Crit. Comput. Based Syst. 2 (3/4) (2011)
Bernard Berthomieu, Florent Peres, François Vernadat
Abstract State Spaces for Time Petri Nets Analysis. ISORC (2008)
Bernard Berthomieu, Florent Peres, François Vernadat
Model Checking Bounded Prioritized Time Petri Nets. ATVA (2007)
Bernard Berthomieu, Florent Peres, François Vernadat
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS (2006)