Baptiste Parquier

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Artifact Centric

Automated Verification

Reactive Systems

Top Venues

Publications

Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner
Optimal Reachability in Cost Time Petri Nets. FORMATS (2017)
Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS (2016)