Nathalie Bertrand

111 papers A* 7A 2B 22C 4Journal 45Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	Foundations of Software Science and Computation Structures - 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings FoSSaCS Nathalie Bertrand, Stefan Milius
2026	B	`conf`	Reachability in Multi-agent Transfer Systems. VMCAI Nathalie Bertrand, Loïc Hélouët, Engel Lefaucheux, Luca Paparazzo
2025	J	`jnl`	Antichains for Concurrent Parameterized Games. CoRR Nathalie Bertrand, Patricia Bouyer, Gaëtan Staquet
2025	—	`conf`	Decisiveness for Countable MDPs and Insights for NPLCSs and POMDPs. Principles of Formal Quantitative Analysis Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier, Pierre Vandenhove
2025	—	`ed.`	Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday Principles of Formal Quantitative Analysis Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz
2025	J	`jnl`	Reach together: How populations win repeated games. CoRR Nathalie Bertrand, Patricia Bouyer, Luc Lapointe, Corto Mascle
2025	—	`conf`	Reusable Formal Verification of DAG-Based Consensus Protocols. NFM Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
2024	J	`jnl`	Reusable Formal Verification of DAG-based Consensus Protocols. CoRR Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
2023	J	`jnl`	Games on Graphs. CoRR Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
2023	J	`jnl`	Synchronizing words under LTL constraints. Inf. Process. Lett. Nathalie Bertrand, Hugo Francon, Nicolas Markey
2022	A*	`conf`	Brief Announcement: Holistic Verification of Blockchain Consensus. PODC Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
2022	A	`conf`	Holistic Verification of Blockchain Consensus. DISC Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
2022	J	`jnl`	Holistic Verification of Blockchain Consensus. CoRR Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
2022	A*	`conf`	Parameterized Safety Verification of Round-Based Shared-Memory Systems. ICALP Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
2022	J	`jnl`	Parameterized safety verification of round-based shared-memory systems. CoRR Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
2022	—	`conf`	Semilinear Representations for Series-Parallel Atomic Congestion Games. FSTTCS Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
2021	B	`conf`	A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries. VMCAI Nathalie Bertrand, Marijana Lazic, Josef Widder
2021	B	`conf`	CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
2021	J	`jnl`	Correction to: Verification of randomized consensus algorithms under round-rigid adversaries. Int. J. Softw. Tools Technol. Transf. Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
2021	B	`conf`	Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk). OPODIS Nathalie Bertrand
2021	B	`conf`	Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms. CONCUR Nathalie Bertrand, Bastien Thomas, Josef Widder
2021	J	`jnl`	Interviews with the 2021 CONCUR Test-of-Time Award Recipients. Bull. EATCS Luca Aceto, Nathalie Bertrand, Nobuko Yoshida
2021	B	`conf`	Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. CONCUR Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur
2021	J	`jnl`	Reconfiguration and Message Losses in Parameterized Broadcast Networks. Log. Methods Comput. Sci. Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2021	J	`jnl`	Verification of randomized consensus algorithms under round-rigid adversaries. Int. J. Softw. Tools Technol. Transf. Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
2020	B	`conf`	Concurrent Games with Arbitrarily Many Players (Invited Talk). MFCS Nathalie Bertrand
2020	J	`jnl`	Diagnosis and Degradation Control for Probabilistic Systems. Discret. Event Dyn. Syst. Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2020	—	`conf`	Dynamic Network Congestion Games. FSTTCS Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
2020	J	`jnl`	Dynamic network congestion games. CoRR Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
2020	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings FORMATS Nathalie Bertrand, Nils Jansen
2020	J	`jnl`	Model checking randomized distributed algorithms. ACM SIGLOG News Nathalie Bertrand
2020	—	`conf`	Synthesizing Safe Coalition Strategies. FSTTCS Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2020	J	`jnl`	Synthesizing safe coalition strategies. CoRR Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2020	J	`jnl`	Taming denumerable Markov decision processes with decisiveness. CoRR Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier
2019	J	`jnl`	A tale of two diagnoses in probabilistic systems. Inf. Comput. Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2019	—	`conf`	Concurrent Parameterized Games. FSTTCS Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2019	J	`jnl`	Controlling a population. Log. Methods Comput. Sci. Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
2019	J	`jnl`	Introduction to the Special Issue on Qest 2017. ACM Trans. Model. Comput. Simul. Luca Bortolussi, Nathalie Bertrand
2019	A*	`conf`	Long-run Satisfaction of Path Properties. LICS Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur
2019	—	`conf`	Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. RSSRail Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur
2019	B	`conf`	Reconfiguration and Message Losses in Parameterized Broadcast Networks. CONCUR Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2019	J	`jnl`	Reconfiguration and Message Losses in Parameterized Broadcast Networks. CoRR Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2019	B	`conf`	Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. CONCUR Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
2018	J	`jnl`	Controlling a population. CoRR Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
2018	—	`conf`	Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. TACAS (2) A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
2018	J	`jnl`	Parameterized verification of synchronization in constrained reconfigurable broadcast networks. CoRR A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
2018	A*	`conf`	Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. LICS Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
2018	J	`jnl`	Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. CoRR Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
2018	J	`jnl`	When are stochastic transition systems tameable? J. Log. Algebraic Methods Program. Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
2017	B	`conf`	Controlling a Population. CONCUR Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
2017	J	`jnl`	Controlling a Population. CoRR Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
2017	J	`jnl`	Qualitative Determinacy and Decidability of Stochastic Games with Signals. J. ACM Nathalie Bertrand, Blaise Genest, Hugo Gimbert
2017	—	`ed.`	Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings QEST Nathalie Bertrand, Luca Bortolussi
2017	J	`jnl`	Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. Acta Informatica Aaron Bohy, Véronique Bruyère, Jean-François Raskin, Nathalie Bertrand
2017	J	`jnl`	When are Stochastic Transition Systems Tameable? CoRR Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
2016	C	`conf`	Accurate Approximate Diagnosability of Stochastic Systems. LATA Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2016	A*	`conf`	Analysing Decisive Stochastic Processes. ICALP Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
2016	B	`conf`	Diagnosis in Infinite-State Probabilistic Systems. CONCUR Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2016	J	`jnl`	Editorial: Quantitative Aspects of Programming Languages and Systems. Theor. Comput. Sci. Nathalie Bertrand, Luca Bortolussi, Herbert Wiklicky
2015	J	`jnl`	A game approach to determinize timed automata. Formal Methods Syst. Des. Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
2015	—	`book`	Contributions to the verification and control of timed and probabilistic models : Mémoire d'habilitation à diriger des recherches. Nathalie Bertrand
2015	B	`conf`	Distributed Local Strategies in Broadcast Networks. CONCUR Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
2015	—	`ed.`	Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. QAPL Nathalie Bertrand, Mirco Tribastone
2014	B	`conf`	Active Diagnosis for Probabilistic Systems. FoSSaCS Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
2014	—	`conf`	Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata. QEST Nathalie Bertrand, Thomas Brihaye, Blaise Genest
2014	—	`conf`	Foundation of Diagnosis and Predictability in Probabilistic Systems. FSTTCS Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2014	B	`conf`	Playing with Probabilities in Reconfigurable Broadcast Networks. FoSSaCS Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
2014	—	`ed.`	Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. QAPL Nathalie Bertrand, Luca Bortolussi
2014	J	`jnl`	Stochastic Timed Automata. Log. Methods Comput. Sci. Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski
2013	J	`jnl`	Computable fixpoints in well-structured symbolic model checking. Formal Methods Syst. Des. Nathalie Bertrand, Philippe Schnoebelen
2013	J	`jnl`	Emptiness and Universality Problems in Timed Automata with Positive Frequency. CoRR Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer
2013	—	`conf`	Parameterized Verification of Many Identical Probabilistic Timed Processes. FSTTCS Nathalie Bertrand, Paulin Fournier
2013	—	`conf`	Solving Stochastic Büchi Games on Infinite Decisive Arenas. QAPL Nathalie Bertrand, Philippe Schnoebelen
2013	—	`conf`	The Steady-State Control Problem for Markov Decision Processes. QEST S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët
2013	—	`conf`	Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. QEST Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario
2012	J	`jnl`	Bounded Satisfiability for PCTL CoRR Nathalie Bertrand, John Fearnley, Sven Schewe
2012	B	`conf`	Bounded Satisfiability for PCTL. CSL Nathalie Bertrand, John Fearnley, Sven Schewe
2012	J	`jnl`	Modal event-clock specifications for timed component-based design. Sci. Comput. Program. Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet
2012	J	`jnl`	Off-line test selection with test purposes for non-deterministic timed automata Log. Methods Comput. Sci. Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
2012	—	`conf`	On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. RTA Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath
2012	—	`conf`	Playing Optimally on Timed Automata with Random Delays. FORMATS Nathalie Bertrand, Sven Schewe
2012	J	`jnl`	Probabilistic ω-automata. J. ACM Christel Baier, Marcus Größer, Nathalie Bertrand
2011	B	`conf`	A Game Approach to Determinize Timed Automata. FoSSaCS Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
2011	—	`conf`	Emptiness and Universality Problems in Timed Automata with Positive Frequency. ICALP (2) Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer
2011	—	`conf`	Minimal Disclosure in Partially Observable Markov Decision Processes. FSTTCS Nathalie Bertrand, Blaise Genest
2011	A	`conf`	Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. TACAS Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
2010	—	`conf`	Probabilistic regular graphs INFINITY Nathalie Bertrand, Christophe Morvan
2009	C	`conf`	A Compositional Approach on Modal Specifications for Timed Systems. ICFEM Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet
2009	B	`conf`	Probabilistic Acceptors for Languages over Infinite Words. SOFSEM Christel Baier, Nathalie Bertrand, Marcus Größer
2009	—	`conf`	Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability DCFS Christel Baier, Nathalie Bertrand, Marcus Größer
2009	A*	`conf`	Qualitative Determinacy and Decidability of Stochastic Games with Signals. LICS Nathalie Bertrand, Blaise Genest, Hugo Gimbert
2009	C	`conf`	Refinement and Consistency of Timed Modal Specifications. LATA Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet
2009	B	`conf`	The Effect of Tossing Coins in Omega-Automata. CONCUR Christel Baier, Nathalie Bertrand, Marcus Größer
2009	—	`conf`	When Are Timed Automata Determinizable? ICALP (2) Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye
2008	A*	`conf`	Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
2008	J	`jnl`	Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides CoRR Nathalie Bertrand, Blaise Genest, Hugo Gimbert
2008	B	`conf`	On Decision Problems for Probabilistic Büchi Automata. FoSSaCS Christel Baier, Nathalie Bertrand, Marcus Größer
2008	—	`conf`	Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey
2007	—	`conf`	Probabilistic and Topological Semantics for Timed Automata. FSTTCS Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
2007	J	`jnl`	Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties. ACM Trans. Comput. Log. Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
2006	J	`jnl`	A note on the attractor-property of infinite-state Markov chains. Inf. Process. Lett. Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
2006	—	`—`	Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones, et techniques de vérification automatique. (Stochastic models for Lossy Channel Systems and automated verification techniques). Nathalie Bertrand
2006	B	`conf`	On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. LPAR Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
2006	J	`jnl`	On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems CoRR Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
2006	C	`conf`	Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. FORTE Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
2005	J	`jnl`	1-identifying codes on trees. Australas. J Comb. Nathalie Bertrand, Irène Charon, Olivier Hudry, Antoine Lobstein
2005	—	`conf`	A Short Visit to the STS Hierarchy. EXPRESS Nathalie Bertrand, Philippe Schnoebelen
2005	J	`jnl`	Verification of probabilistic systems with faulty communication. Inf. Comput. Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Philippe Schnoebelen
2005	J	`jnl`	Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties CoRR Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
2004	J	`jnl`	Identifying and locating-dominating codes on chains and cycles. Eur. J. Comb. Nathalie Bertrand, Irène Charon, Olivier Hudry, Antoine Lobstein
2003	B	`conf`	Model Checking Lossy Channels Systems Is Probably Decidable. FoSSaCS Nathalie Bertrand, Philippe Schnoebelen