Concepedia

Patricia Bouyer

PB

48

Publications

1.9K

Citations

26

H-Index

1998

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

Aalborg University

University of Mons

Laboratoire Spécification et Vérification

Patricia Bouyer is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningVerificationSystems EngineeringComputational ComplexityReal-time SystemsCombinatorial Optimization

Publications per year

1998–2023

48

Publications

48

Lower and upper bounds in zone-based abstractions of timed automata

Gerd Behrmann, Patricia Bouyer, Kim G. Larsen et al. · International Journal on Software Tools for Technology Transfer · 2005 · 120 citations

Logical Automaton, Engineering, Automated Reasoning +10

Improved undecidability results on weighted timed automata

Patricia Bouyer, Thomas Brihaye, Nicolas Markey · Information Processing Letters · 2006 · 111 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +7

Forward Analysis of Updatable Timed Automata

Patricia Bouyer · Formal Methods in System Design · 2004 · 105 citations

Forward Analysis, Logical Automaton, Engineering +7

Updatable timed automata

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury et al. · Theoretical Computer Science · 2004 · 103 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +6

The power of reachability testing for timed automata

Luca Aceto, Patricia Bouyer, Augusto Burgueño et al. · Theoretical Computer Science · 2003 · 94 citations

Reachability Analysis, Engineering, Reachability Problem +9

Rows per page

1–5 of 48