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
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
Execution-time opacity control for timed automata ⋆
Execution-time opacity problems in one-clock parametric timed automata
From Local to Global Optimality in Concurrent Parity Games
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux.
2024
Conference papers
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
Pages – 1 – 2 – 3