Nathalie Bertrand

From MaRDI portal
Person:1045895

Available identifiers

zbMath Open bertrand.nathalieMaRDI QIDQ1045895

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61285602024-04-15Paper
Brief Announcement: Holistic Verification of Blockchain Consensus2024-03-26Paper
CONCUR Test-Of-Time Award 2021 (Invited Paper)2023-08-21Paper
Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms2023-08-21Paper
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking2023-08-21Paper
Synchronizing words under \textsf{LTL} constraints2023-06-05Paper
https://portal.mardi4nfdi.de/entity/Q58753942023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q58756652023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q50891582022-07-18Paper
A reduction theorem for randomized distributed algorithms under weak adversaries2021-10-18Paper
https://portal.mardi4nfdi.de/entity/Q49925282021-06-09Paper
https://portal.mardi4nfdi.de/entity/Q58564272021-03-26Paper
https://portal.mardi4nfdi.de/entity/Q51465112021-01-26Paper
Diagnosis and degradation control for probabilistic systems2021-01-22Paper
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes2021-01-20Paper
https://portal.mardi4nfdi.de/entity/Q51116242020-05-27Paper
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems2020-05-27Paper
A tale of two diagnoses in probabilistic systems2019-12-18Paper
Parameterized verification of synchronization in constrained reconfigurable broadcast networks2019-09-16Paper
https://portal.mardi4nfdi.de/entity/Q52275182019-08-06Paper
When are stochastic transition systems tameable?2018-06-27Paper
Qualitative Determinacy and Decidability of Stochastic Games with Signals2018-05-17Paper
Diagnosis in Infinite-State Probabilistic Systems2018-03-21Paper
Analysing Decisive Stochastic Processes2017-12-19Paper
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes2017-10-09Paper
Distributed local strategies in broadcast networks2017-09-12Paper
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties2017-07-12Paper
https://portal.mardi4nfdi.de/entity/Q29785322017-04-25Paper
https://portal.mardi4nfdi.de/entity/Q29639382017-02-21Paper
Accurate Approximate Diagnosability of Stochastic Systems2016-04-13Paper
Use of 3D classified topographic data with FullSWOF for high resolution simulation of a river flood event over a dense urban area2016-03-24Paper
Uncertainty related to high resolution topographic data use for flood event modeling over urban areas: toward a sensitivity analysis approach2016-02-10Paper
A game approach to determinize timed automata2015-03-24Paper
Stochastic Timed Automata2015-01-15Paper
Active Diagnosis for Probabilistic Systems2014-04-16Paper
Playing with Probabilities in Reconfigurable Broadcast Networks2014-04-16Paper
Probabilistic ω-automata2014-02-17Paper
https://portal.mardi4nfdi.de/entity/Q28520632013-10-07Paper
Modal event-clock specifications for timed component-based design2013-06-06Paper
Bounded Satisfiability for PCTL2012-11-22Paper
Playing Optimally on Timed Automata with Random Delays2012-11-21Paper
Off-line test selection with test purposes for non-deterministic timed automata2012-10-22Paper
https://portal.mardi4nfdi.de/entity/Q29116422012-08-31Paper
Emptiness and Universality Problems in Timed Automata with Positive Frequency2011-07-07Paper
A Game Approach to Determinize Timed Automata2011-05-19Paper
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata2011-05-19Paper
A note on the attractor-property of infinite-state Markov chains2009-12-18Paper
The Effect of Tossing Coins in Omega-Automata2009-10-22Paper
When Are Timed Automata Determinizable?2009-07-14Paper
Refinement and Consistency of Timed Modal Specifications2009-04-02Paper
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness2009-03-11Paper
Probabilistic Acceptors for Languages over Infinite Words2009-02-03Paper
On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems2008-05-27Paper
Probabilistic and Topological Semantics for Timed Automata2008-04-24Paper
On Decision Problems for Probabilistic Büchi Automata2008-04-11Paper
Verification of probabilistic systems with faulty communication2005-11-22Paper
https://portal.mardi4nfdi.de/entity/Q46595822005-03-21Paper
Identifying and locating-dominating codes on chains and cycles2004-10-13Paper
https://portal.mardi4nfdi.de/entity/Q44178552003-07-30Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Nathalie Bertrand