Florent Peres

According to our database, Florent Peres authored at least 9 papers between 2006 and 2024.

Collaborative distances:

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

2024

A Proven Translation from a UML State Machine Subset to Timed Automata.

Florent Peres, Mohamed Ghazel

ACM Trans. Embed. Comput. Syst., September, 2024

2016

A µ-calculus formulation of the diagnosability of discrete event systems.

Florent Peres, Mohamed Ghazel

Int. J. Crit. Comput. Based Syst., 2016

2014

A µ-Calculus Framework for the Diagnosability of Discrete Event Systems.

Mohamed Ghazel, Florent Peres

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

2011

Specification and verification of real-time systems using POLA.

Florent Peres, Pierre-Emmanuel Hladik, François Vernadat

Int. J. Crit. Comput. Based Syst., 2011

On the composition of time Petri nets.

Florent Peres, Bernard Berthomieu, François Vernadat

Discret. Event Dyn. Syst., 2011

2010

Réseaux de Petri temporels à inhibitions/permissions - Application à la modélisation et vérification de systèmes de tâches temps réel. (Forbid/Allow time Petri nets - Application to the modeling and checking of real time tasks systems).

Florent Peres

PhD thesis, 2010

2008

Abstract State Spaces for Time Petri Nets Analysis.

Bernard Berthomieu, Florent Peres, François Vernadat

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007

Model Checking Bounded Prioritized Time Petri Nets.

Bernard Berthomieu, Florent Peres, François Vernadat

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.

Bernard Berthomieu, Florent Peres, François Vernadat

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006