Publications de l’ANR déposées sur HAL
Beyond Decisiveness of Infinite Markov Chains
Benoît Barbot, Patricia Bouyer, Serge Haddad.
2024
Conference papers
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
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux.
2024
Conference papers
Execution-time opacity problems in one-clock parametric timed automata
Étienne André, Johan Arcile, Engel Lefaucheux.
2024
Conference papers
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
Pages – 1 – 2 – 3