Patricia Bouyer-Decitre | Academic Influence

Patricia Bouyer-Decitre's AcademicInfluence.com Rankings

Patricia Bouyer-Decitre

Computer Science

#4666

World Rank

#4925

Historical Rank

Theoretical Computer Science

#87

World Rank

#87

Historical Rank

Database

#8540

World Rank

#8946

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Patricia Bouyer-Decitre's Degrees

PhD Computer Science Paris-Saclay University
Masters Computer Science Paris-Saclay University

Similar Degrees You Can Earn

Why Is Patricia Bouyer-Decitre Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Patricia Bouyer-Decitre is a French theoretical computer scientist known for her research on timed automata, model checking, and temporal logic. She is a senior researcher for the French National Centre for Scientific Research , and director of the Laboratoire Méthodes Formelles of CNRS and the École normale supérieure Paris-Saclay.

(See a Problem?)

Patricia Bouyer-Decitre's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Infinite Runs in Weighted Timed Automata with Energy Constraints (2008) (200)
Optimal Strategies in Priced Timed Game Automata (2004) (138)
The power of reachability testing for timed automata (1998) (124)
Lower and upper bounds in zone-based abstractions of timed automata (2006) (123)
Forward Analysis of Updatable Timed Automata (2004) (123)
On the Expressiveness of TPTL and MTL (2005) (121)
Improved undecidability results on weighted timed automata (2006) (119)
Fault Diagnosis Using Timed Automata (2005) (116)
Updatable timed automata (2004) (108)
Timed Control with Partial Observability (2003) (97)
Are Timed Automata Updatable? (2000) (89)
Static Guard Analysis in Timed Automata Verification (2003) (83)
On the optimal reachability problem of weighted timed automata (2007) (82)
Untameable Timed Automata! (2003) (80)
Optimal infinite scheduling for multi-priced timed automata (2008) (80)
An algebraic approach to data languages and timed languages (2003) (77)
Staying Alive as Cheaply as Possible (2004) (73)
Quantitative analysis of real-time systems using priced timed automata (2011) (63)
A logical characterization of data languages (2002) (59)
Model Checking One-clock Priced Timed Automata (2007) (56)
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata (2004) (56)
Timed Petri nets and timed automata: On the discriminating power of zeno sequences (2006) (54)
Model-checking Timed Temporal Logics (2009) (54)
Timed automata with observers under energy constraints (2010) (50)
The Cost of Punctuality (2007) (49)
Probabilistic and Topological Semantics for Timed Automata (2007) (49)
Pure Nash Equilibria in Concurrent Deterministic Games (2015) (49)
A Kleene/Büchi-like Theorem for Clock Languages (2001) (49)
When Are Timed Automata Determinizable? (2009) (49)
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems (2005) (47)
Robust Model-Checking of Linear-Time Properties in Timed Automata (2006) (47)
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics (2008) (46)
Expressiveness of Updatable Timed Automata (2000) (46)
Stochastic Timed Automata (2014) (44)
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata (2008) (44)
Average-energy games (2015) (44)
Robust Analysis of Timed Automata via Channel Machines (2008) (44)
Decomposition and Composition of Timed Automata (1999) (42)
On Expressiveness and Complexity in Real-Time Model Checking (2008) (42)
On Conciseness of Extensions of Timed Automata (2005) (40)
Concurrent Games with Ordered Objectives (2012) (39)
From Qualitative to Quantitative Analysis of Timed Systems (2009) (39)
Weighted Timed Automata: Model-Checking and Games (2006) (38)
Almost Optimal Strategies in One Clock Priced Timed Automata (2007) (38)
Timed Unfoldings for Networks of Timed Automata (2006) (37)
Almost Optimal Strategies in One Clock Priced Timed Games (2006) (36)
Timed Automata May Cause Some Troubles (2002) (35)
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited (2011) (34)
An Algebraic Characterization of Data and Timed Languages (2001) (34)
Synthesis of Optimal Strategies Using HyTech (2005) (33)
Nash Equilibria in Concurrent Games with Büchi Objectives (2011) (31)
Reachability in Stochastic Timed Games (2009) (31)
Timed Automata Can Always Be Made Implementable (2011) (29)
Averaging in LTL (2014) (29)
Robust Model-Checking of Timed Automata via Pumping in Channel Machines (2011) (28)
Shrinking Timed Automata (2014) (28)
Lower-Bound Constrained Runs in Weighted Timed Automata (2012) (28)
Extended Timed Automata and Time Petri Nets (2006) (28)
Nash Equilibria for Reachability Objectives in Multi-player Timed Games (2010) (27)
Controller Synthesis for MTL Specifications (2006) (26)
O-Minimal Hybrid Reachability Games (2009) (26)
Robust Reachability in Timed Automata: A Game-Based Approach (2012) (25)
Control in o-minimal Hybrid Systems (2006) (24)
Undecidability Results for Timed Automata with Silent Transitions (2009) (23)
Robustness in Timed Automata (2013) (22)
Robust Controller Synthesis in Timed Automata (2013) (22)
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! (2007) (21)
Symbolic Optimal Reachability in Weighted Timed Automata (2016) (20)
Games Where You Can Play Optimally with Arena-Independent Finite Memory (2020) (20)
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (2008) (19)
On termination and invariance for faulty channel machines (2012) (19)
On Termination for Faulty Channel Machines (2008) (18)
On the optimal reachability problem (2006) (17)
Model Checking Timed Automata (2010) (17)
Measuring Permissivity in Finite Games (2009) (16)
Reachability in Networks of Register Protocols under Stochastic Schedulers (2016) (16)
Modal Logics for Timed Control (2005) (16)
Costs Are Expensive! (2007) (15)
Mixed Nash Equilibria in Concurrent Games (2015) (15)
Almost-Sure Model-Checking of Reactive Timed Automata (2012) (15)
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels (2015) (12)
Optimal and robust controller synthesis using energy timed automata with uncertainty (2018) (12)
On the Control of Timed and Hybrid Systems (2006) (12)
A New Modality for Almost Everywhere Properties in Timed Automata (2005) (12)
Reasoning about Quality and Fuzziness of Strategic Behaviors (2019) (11)
Mixed Nash Equilibria in Concurrent Terminal-Reward Games (2014) (11)
On the Value Problem in Weighted Timed Games (2015) (11)
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs (2021) (11)
An Introduction to Timed Automata (2005) (10)
Timed Temporal Logics for Abstracting Transient States (2006) (9)
Timed Modal Logics for Real-Time Systems (2011) (9)
Arena-Independent Finite-Memory Determinacy in Stochastic Games (2021) (9)
Games on graphs with a public signal monitoring (2017) (9)
Bounding Average-energy Games (2016) (9)
Timed-automata abstraction of switched dynamical systems using control invariants (2017) (9)
Dependences in Strategy Logic (2017) (8)
Nash equilibria in symmetric graph games with partial observation (2017) (8)
On the semantics of Strategy Logic (2016) (8)
On the Determinization of Timed Systems (2017) (8)
Timed Temporal Logics (2017) (8)
Quantitative Verification of Weighted Kripke Structures (2014) (8)
Efficient Timed Diagnosis Using Automata with Timed Domains (2018) (7)
Identifiers in Registers - Describing Network Algorithms with Logic (2018) (7)
Weighted Strategy Logic with Boolean Goals Over One-Counter Games (2015) (7)
Proceedings of TACAS 2004 (2004) (6)
Analysing Decisive Stochastic Processes (2016) (6)
Reconfiguration and Message Losses in Parameterized Broadcast Networks (2019) (6)
Robust Weighted Timed Automata and Games (2013) (5)
Half-Positional Objectives Recognized by Deterministic Büchi Automata (2022) (5)
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games (2016) (5)
Quantitative analysis of real-time systems (2009) (5)
Finite-memory strategies in two-player infinite games (2021) (5)
Emptiness and Universality Problems in Timed Automata with Positive Frequency (2011) (5)
When are Stochastic Transition Systems Tameable? (2017) (5)
Compositional Design of Stochastic Timed Automata (2016) (5)
Multi-weighted Markov Decision Processes with Reachability Objectives (2018) (5)
Stochastic Timed Games Revisited (2016) (5)
Robust reachability in timed automata and games: A game-based approach (2015) (4)
Decisiveness of Stochastic Systems and its Application to Hybrid Models (2020) (4)
A Probabilistic Semantics for Timed Automata (2008) (4)
On the optimal reachability problem in weighted timed automata and games (2015) (4)
Dynamic Complexity of Parity Games with Bounded Tree-Width (2016) (3)
Computing Rational Radical Sums in Uniform TC^0 (2010) (3)
Nash Equilibria in Symmetric Games with Partial Observation (2014) (3)
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games (2010) (3)
From local to global determinacy in concurrent graph games (2021) (3)
Dynamic Complexity of the Dyck Reachability (2016) (3)
Concurrent Parameterized Games (2019) (2)
Optimal and Robust Controller Synthesis (2019) (2)
Zone-based verification of timed automata: extrapolations, simulations and what next? (2022) (2)
How to Play Optimally for Regular Objectives? (2022) (2)
Synthesis in Presence of Dynamic Links (2020) (2)
Optimal strategies in concurrent reachability games (2021) (2)
Weighted o-minimal hybrid systems (2009) (2)
Permissive strategies in timed automata and games (2015) (2)
A Note on Game Theory and Verification (2019) (1)
Updatable Timed Automata, an Algorithmic Approach (2001) (1)
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) (2020) (1)
Dependences in Strategy Logic (2020) (1)
Automata, Logics and Games for Infinite Trees (2019) (1)
Diagnosing timed automata using timed markings (2021) (1)
Optimal and robust controller synthesis using energy timed automata with uncertainty (2020) (1)
Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games (2022) (1)
One Clock Priced Timed Automata: Model Checking and Optimal Strategies (2006) (1)
Sub-game optimal strategies in concurrent games with prefix-independent objectives (2023) (1)
The Limit of Testing for Timed Automata (to appear) (2002) (1)
Staying Alive As Cheaply As Possible Research Report LSV (2004) (1)
Nash equilibria in games over graphs equipped with a communication mechanism (2019) (1)
A Logical Characterization of Data Languages Research Report LSV (2001) (1)
Overview of Robustness in Timed Systems (2012) (1)
Games Where You Can Play Optimally with Finite Memory (2020) (1)
Average-energy games (2016) (1)
On the Computation of Nash Equilibria in Games on Graphs (Invited Talk) (2019) (1)
Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems (2006) (0)
Timed-automata abstraction of switched dynamical systems using control invariants (2017) (0)
Electronic Communications of the EASST Volume 72 ( 2015 ) Proceedings of the 15 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2015 ) Permissive strategies in timed automata and games 1 (2015) (0)
A Probabilistic Semantics for (2008) (0)
Finite Bisimulations for Dynamical Systems with Overlapping Trajectories (2018) (0)
Average-energy games (full version) (2015) (0)
Optimal Reachability in Weighted Timed Automata and Games (2016) (0)
The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk) (2022) (0)
Foundations for Timed Systems ∗ (2005) (0)
Measuring the robustness Livrable du projet ImpRo ( ANR-2010-BLAN-0317 ) (0)
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017 (2017) (0)
Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture Notes in Computer Science) (2006) (0)
Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (2006) (0)
On termination and invariance for faulty channel machines (2012) (0)
Timed automata (2021) (0)
Analysing the PGM Protocol with U PPAAL ∗ Béatrice Bérard (2002) (0)
Bouyer A New Algorithm to Decide Emptiness of Updatable Timed Automata Research Report LSV − 00 − (2007) (0)
A Lazy Reachability Algorithm for Timed Automata (2010) (0)
Proceedings of the Workshop on Games in Design and Verification, GDV@CAV 2004, Boston, MA, USA, June 18, 2004 (2005) (0)
Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives (2023) (0)
Deliverable 5 . 1 Control tasks for Timed System ; Robustness issues (2013) (0)
and A . Petit Decomposition and composition of timed automata Research Report LSV − 99 − (2007) (0)
Diagnosing timed automata using timed markings (2021) (0)
Courcelle's Theorem Made Dynamic (2017) (0)
Decision Problems for Faulty Channel Machines : A Brief Survey (2008) (0)
Unbounded Product-Form Petri Nets (2017) (0)
Partial observation of timed systems (2005) (0)
L O ] 8 J ul 2 01 6 Average-energy games ⋆ (2018) (0)
Synthesizing Safe Coalition Strategies (2020) (0)
Taming denumerable Markov decision processes with decisiveness (2020) (0)
Dependencies in Strategy Logic ∗ (2017) (0)
Preface (2020) (0)
On the Expressiveness of TPTL and MTL I,II (2009) (0)
Optimal Timed Games (2005) (0)

This paper list is powered by the following services:

Other Resources About Patricia Bouyer-Decitre

What Schools Are Affiliated With Patricia Bouyer-Decitre?

Patricia Bouyer-Decitre is affiliated with the following schools:

Paris-Saclay University