Amélie Stainer

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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

2015
A game approach to determinize timed automata.
Formal Methods in System Design, 2015

2014
Synthesising Succinct Strategies in Safety Games.
CoRR, 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

Emptiness and Universality Problems in Timed Automata with Positive Frequency.
CoRR, 2013

Reachability of Communicating Timed Processes.
Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012
Reachability of Communicating Timed Processes
CoRR, 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


  Loading...