Patricia Bouyer
Centre National de la Recherche Scientifique(FR)Centre National de la Recherche Scientifique(FR)Université Paris-Saclay(FR)Laboratoire Méthodes FormellesLaboratoire Méthodes Formelles(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Petri Nets in System Modeling, Model-Driven Software Engineering Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Infinite Runs in Weighted Timed Automata with Energy Constraints(2008)199 cited
- → Lower and upper bounds in zone-based abstractions of timed automata(2005)120 cited
- → Improved undecidability results on weighted timed automata(2006)112 cited
- → Forward Analysis of Updatable Timed Automata(2004)105 cited
- → Updatable timed automata(2004)103 cited
- → The power of reachability testing for timed automata(2003)94 cited
- → Fault Diagnosis Using Timed Automata