Baptiste Parquier

According to our database, Baptiste Parquier authored at least 2 papers between 2016 and 2017.

Collaborative distances:

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

2017

Optimal Reachability in Cost Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner

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

2016

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.

Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016