# Amélie Stainer

According to our database

Collaborative distances:

^{1}, Amélie Stainer authored at least 10 papers between 2011 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

Theor. Comput. Sci., 2018

2014

Synthesising Succinct Strategies in Safety and Reachability Games.

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).

PhD thesis, 2013

Reachability of Communicating Timed Processes.

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

2012

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

Logical Methods in Computer Science, 2012

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

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

Frequencies in Forgetful Timed Automata.

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

2011

Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Emptiness and Universality Problems in Timed Automata with Positive Frequency.

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

A Game Approach to Determinize Timed Automata.

Proceedings of the Foundations of Software Science and Computational Structures, 2011