Emptiness and Universality Problems in Timed Automata with Positive Frequency. - Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Amélie Stainer (ICALP (2), 2011)

Frequencies in Forgetful Timed Automata. - Amélie Stainer (FORMATS, 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 (LPAR, 2012)

Off-line test selection with test purposes for non-deterministic timed automata - Nathalie Bertrand 001; Thierry Jéron; Amélie Stainer; Moez Krichen (Log. Methods Comput. Sci., 2012)

Reachability of Communicating Timed Processes. - Lorenzo Clemente; Frédéric Herbreteau; Amélie Stainer; Grégoire Sutre (FoSSaCS, 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)

Synthesising Succinct Strategies in Safety and Reachability Games. - Gilles Geeraerts; Joël Goossens; Amélie Stainer (RP, 2014)

Synthesising Succinct Strategies in Safety Games. - Gilles Geeraerts; Joël Goossens; Amélie Stainer (CoRR, 2014)

A game approach to determinize timed automata. - Nathalie Bertrand 001; Amélie Stainer; Thierry Jéron; Moez Krichen (Formal Methods Syst. Des., 2015)

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)