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
Computational assessment of Amazon forest plots regrowth capacity under strong spatial variability for simulating logging scenarios
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
Energy Transfer in timed cyclic networks
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
Pages – 1 – 2 – 3