Concepedia

Thomas Brihaye

TB

17

Publications

526

Citations

13

H-Index

2004

Active since

Affiliations

University of Mons(Current)

Centre National de la Recherche Scientifique

École Normale Supérieure Paris-Saclay

Université Libre de Bruxelles

Laboratoire Spécification et Vérification

Thomas Brihaye is an author at University of Mons specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningComputational ComplexityBusinessGame TheoryVerificationMechanism Design

Publications per year

2004–2018

17

Publications

17

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

On the optimal reachability problem of weighted timed automata

Patricia Bouyer, Thomas Brihaye, Véronique Bruyère et al. · Formal Methods in System Design · 2007 · 78 citations

Mathematical Programming, Engineering, Reachability Problem +9

Stochastic Timed Automata

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye et al. · Logical Methods in Computer Science · 2014 · 51 citations · Full text

On the expressiveness and decidability of o-minimal hybrid systems

Thomas Brihaye, Christian Michaux · Journal of Complexity · 2004 · 46 citations

Formal Specification, Engineering, Automated Reasoning +6

Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata

Christel Baier, Nathalie Bertrand, Patricia Bouyer et al. · 2008 · 41 citations

Logical Automaton, Engineering, Reachability Problem +15

Rows per page

1–5 of 17