Seguir
Amélie Stainer
Título
Citado por
Citado por
Año
Monitor-based statistical model checking for weighted metric temporal logic
P Bulychev, A David, K Guldstrand Larsen, A Legay, G Li, ...
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
592012
Off-line test selection with test purposes for non-deterministic timed automata
ASMK Nathalie Bertrand, Thierry Jéron
Logical methods in computer science 8 (4), 1-33, 2012
572012
A game approach to determinize timed automata
N Bertrand, A Stainer, T Jéron, M Krichen
Formal Methods in System Design 46 (1), 42-80, 2015
562015
Reachability of communicating timed processes
L Clemente, F Herbreteau, A Stainer, G Sutre
International Conference on Foundations of Software Science and …, 2013
212013
Frequencies in forgetful timed automata
A Stainer
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
82012
Emptiness and universality problems in timed automata with positive frequency
N Bertrand, P Bouyer, T Brihaye, A Stainer
International Colloquium on Automata, Languages, and Programming, 246-257, 2011
52011
Test d'automates temporisées
A Stainer
équipe VerTeCs, INRIA. Master en informatique à Rennes 1, 2010
52010
Synthesising succinct strategies in safety and reachability games
G Geeraerts, J Goossens, A Stainer
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014
42014
Synthesising succinct strategies in safety games with an application to real-time scheduling
G Geeraerts, J Goossens, A Stainer
Theoretical Computer Science 735, 24-49, 2018
32018
Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata
A Stainer
Université Rennes 1, 2013
22013
Efficient computation of succinct strategies, with applications to real-time scheduler synthesis
G Geeraerts, J Goossens, A Stainer
2014
Contribution à la vérification d'automates temporisés: déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates
A Stainer
Rennes 1, 2013
2013
Off-line test selection with test purposes for non-deterministic timed automata
N Bertrand, T Jéron, A Stainer, M Krichen
International Conference on Tools and Algorithms for the Construction and …, 2011
2011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–13