Amélie Stainer

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