Better Synthesis for Underspecified Quantitative Systems

BisoUS (ANR-22-CE48-0012 ) © 2023

Publications de l’ANR déposées sur HAL

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models

David Julien, Gilles Ardourel, Guillaume Cantin, Benoit Delahaye.

In : ACM Transactions on Modeling and Computer Simulation, 2024
Journal articles
When are two Parametric Semi-linear Sets Equal?

Engel Lefaucheux.

Preprints, Working Papers…
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk)

Nicolas Markey.

Conference papers
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata

Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun.

In : Electronic Proceedings in Theoretical Computer Science, 2023
Journal articles
Expiring opacity problems in parametric timed automata

Étienne André, Engel Lefaucheux, Dylan Marinho.

Conference papers
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun.

In : Dagstuhl Artifacts Series, 2023
Journal articles
Distributed parametric model checking timed automata under non-Zenoness assumption

Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun.

In : Formal Methods in System Design, 2021
Journal articles