| 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 | 58 | 2012 |
| 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 | 57 | 2015 |
| 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 | 57 | 2012 |
| Reachability of communicating timed processes L Clemente, F Herbreteau, A Stainer, G Sutre International Conference on Foundations of Software Science and …, 2013 | 21 | 2013 |
| Frequencies in forgetful timed automata A Stainer International Conference on Formal Modeling and Analysis of Timed Systems …, 2012 | 9 | 2012 |
| 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 | 5 | 2011 |
| Test d'automates temporisées A Stainer équipe VerTeCs, INRIA. Master en informatique à Rennes 1, 2010 | 5 | 2010 |
| Synthesising succinct strategies in safety and reachability games G Geeraerts, J Goossens, A Stainer Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014 | 4 | 2014 |
| 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 | 3 | 2018 |
| Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata A Stainer Université Rennes 1, 2013 | 2 | 2013 |
| 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 |
Thierry JéronUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
