Amélie Stainer

According to our database, Amélie Stainer authored at least 10 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Synthesising succinct strategies in safety games with an application to real-time scheduling.

Gilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen, Amélie Stainer

Theor. Comput. Sci., 2018

2015

A game approach to determinize timed automata.

Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen

Formal Methods Syst. Des., 2015

2014

Synthesising Succinct Strategies in Safety Games.

Gilles Geeraerts, Joël Goossens, Amélie Stainer

CoRR, 2014

Synthesising Succinct Strategies in Safety and Reachability Games.

Gilles Geeraerts, Joël Goossens, Amélie Stainer

Proceedings of the Reachability Problems - 8th International Workshop, 2014

2013

Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata. (Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates).

Amélie Stainer

PhD thesis, 2013

Reachability of Communicating Timed Processes.

Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Off-line test selection with test purposes for non-deterministic timed automata

Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen

Log. Methods Comput. Sci., 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Frequencies in Forgetful Timed Automata.

Amélie Stainer

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Emptiness and Universality Problems in Timed Automata with Positive Frequency.

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011