| 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 | 55 | 2012 |
| A game approach to determinize timed automata N Bertrand, A Stainer, T Jéron, M Krichen Formal Methods in System Design 46, 42-80, 2015 | 54 | 2015 |
| Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. PE Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen, A Stainer LPAR 7180, 168-182, 2012 | 53 | 2012 |
| Reachability of Communicating Timed Processes. L Clemente, F Herbreteau, A Stainer, G Sutre FoSSaCS 7794, 81-96, 2013 | 21 | 2013 |
| Frequencies in forgetful timed automata A Stainer Formal Modeling and Analysis of Timed Systems: 10th International Conference …, 2012 | 8 | 2012 |
| Emptiness and universality problems in timed automata with positive frequency N Bertrand, P Bouyer, T Brihaye, A Stainer Automata, Languages and Programming: 38th International Colloquium, ICALP …, 2011 | 5 | 2011 |
| 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 |
| Test d'automates temporisées A Stainer équipe VerTeCs, INRIA. Master en informatique à Rennes 1, 2010 | 4 | 2010 |
| 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
