Better Synthesis for Underspecified Quantitative Systems

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

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

CosyVerif: The Path to Formalisms Cohabitation

Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci.

2024
Conference papers
Diagnosis of Stochastic Systems: Optimising Costs and Delays

Marie Duflot, Engel Lefaucheux, Isaline Plaid.

2024
Conference papers
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
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

Bineet Ghosh, Étienne André.

In : Logical Methods in Computer Science, 2024
Journal articles
Parameterized Verification of Disjunctive Timed Networks

Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra.

2024
Conference papers
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama.

2024
Conference papers
The 2-Dimensional Constraint Loop Problem Is Decidable

Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell.

2024
Conference papers
The Bright Side of Timed Opacity (extended version)

Étienne André, Sarah Dépernet, Engel Lefaucheux.

2024
Preprints, Working Papers…
When are two Parametric Semi-linear Sets Equal?

Engel Lefaucheux.

2024
Preprints, Working Papers…

Johan Arcile, Étienne André.

In : Innovations in Systems and Software Engineering, 2024
Journal articles