Amélie Staïner
Author
Alternate names Amélie Stainer, Amelie Stainer, Amélie Staïner
Institution Université Libre de Bruxelles
Past institutions Université Libre de Bruxelles, Institut national de recherche en informatique et en automatique, Université de Rennes, Inria Rennes - Bretagne Atlantique Research Centre, École Normale Supérieure Paris-Saclay
H-index: 7
I10-index: 6
Works count: 22
Citations count: 144
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
2012 · Peter Bulychev, Alexandre David, et al. · Lecture notes in computer science
A Game Approach to Determinize Timed Automata
2011 · Nathalie Bertrand, Amélie Staïner, et al. · Lecture notes in computer science
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata
2011 · Nathalie Bertrand, Thierry Jéron, et al. · Lecture notes in computer science