Amélie Stainer

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Venues

CoRR

FoSSaCS

Log. Methods Comput. Sci.

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Gilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen, Amélie Stainer
Synthesising succinct strategies in safety games with an application to real-time scheduling. Theor. Comput. Sci. 735 (2018)
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
A game approach to determinize timed automata. Formal Methods Syst. Des. 46 (1) (2015)
Gilles Geeraerts, Joël Goossens, Amélie Stainer
Synthesising Succinct Strategies in Safety Games. CoRR (2014)
Gilles Geeraerts, Joël Goossens, Amélie Stainer
Synthesising Succinct Strategies in Safety and Reachability Games. RP (2014)
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer
Emptiness and Universality Problems in Timed Automata with Positive Frequency. CoRR (2013)
Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre
Reachability of Communicating Timed Processes. FoSSaCS (2013)
Amélie Stainer
Frequencies in Forgetful Timed Automata. FORMATS (2012)
Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
Off-line test selection with test purposes for non-deterministic timed automata Log. Methods Comput. Sci. 8 (4) (2012)
Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre
Reachability of Communicating Timed Processes CoRR (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR (2012)
Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. TACAS (2011)
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer
Emptiness and Universality Problems in Timed Automata with Positive Frequency. ICALP (2) (2011)
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
A Game Approach to Determinize Timed Automata. FoSSaCS (2011)

Amélie Stainer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Amélie Stainer