Patricia Bouyer - Concepedia

Author

Patricia Bouyer

Centre National de la Recherche Scientifique ORCID

Also Known As

Avni, Guy, Bordais, Benjamin, Bouyer Patricia, Bouyer, P., Bouyer, Patricia, Datta, Samir, P BOUYER, P. Bouyer, Patricia Bouyer, Patricia Bouyer A

210

Publications

Citations

H-Index

Concepts

All Affiliations

Centre National de la Recherche Scientifique École Normale Supérieure Paris-Saclay Aalborg University University of Mons Laboratoire Spécification et Vérification

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	25	35	1.6K
2	Computer Science	23	33	1.5K
3	Business	5	5	165
4	Computer Engineering	2	2	60
5	Management	1	1	14

Patricia Bouyer

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
Lower and upper bounds in zone-based abstractions of timed automata Gerd Behrmann, Patricia Bouyer, Kim G. Larsen, International Journal on Software Tools for Technology Transfer Logical AutomatonEngineeringAutomated ReasoningVerificationFormal Methods	2005	120
Improved undecidability results on weighted timed automata Patricia Bouyer, Thomas Brihaye, Nicolas Markey Information Processing Letters Logical AutomatonEngineeringAutomated ReasoningVerificationFormal Methods	2006	111
Forward Analysis of Updatable Timed Automata Patricia Bouyer Formal Methods in System Design Forward AnalysisLogical AutomatonEngineeringAutomated ReasoningVerification	2004	105
Updatable timed automata Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Theoretical Computer Science Logical AutomatonEngineeringAutomated ReasoningVerificationFormal Methods	2004	103
The power of reachability testing for timed automata Luca Aceto, Patricia Bouyer, Augusto Burgueño, Theoretical Computer Science Reachability AnalysisEngineeringReachability ProblemAutomated ReasoningSoftware Testing	2003	94
On the optimal reachability problem of weighted timed automata Patricia Bouyer, Thomas Brihaye, Véronique Bruyère, Formal Methods in System Design Mathematical ProgrammingEngineeringReachability ProblemFormal MethodsSystems Engineering	2007	78
An algebraic approach to data languages and timed languages Patricia Bouyer, Antoine Petit, Denis Thérien Information and Computation Programming Language TheoryEngineeringProgram AnalysisFormal MethodsComputer Science	2003	71
Optimal infinite scheduling for multi-priced timed automata Patricia Bouyer, Ed Brinksma, Kim G. Larsen Formal Methods in System Design Mathematical ProgrammingEngineeringScheduling AnalysisScheduling ProblemFormal Methods	2007	66
Quantitative analysis of real-time systems using priced timed automata Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Communications of the ACM EngineeringOptimization ProblemsComputational ComplexityFormal VerificationQuantitative Analysis	2011	59
A logical characterization of data languages Patricia Bouyer Information Processing Letters EngineeringData TypeDeductive DatabaseAutomated ReasoningVerification	2002	58

Page 1