![](https://hal.science/assets/img/hal-logo-header.png)
Publications de l’ANR déposées sur HAL
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
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)
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk)
Nicolas Markey.
2023
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
Pages – 1 – 2