Christel Baier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
104
Venues
36
Active years
1991–2026
Best venue rank
A*
Where they publish
- BCONCUR13 papers
- A*CAV8 papers
- A*ICALP8 papers
- BATVA7 papers
- ATACAS6 papers
- A*LICS6 papers
- BFOSSACS5 papers
- CCoordination5 papers
- A*AAAI4 papers
- CFMICS4 papers
- BSEFM4 papers
- A*IJCAI3 papers
- CISoLA3 papers
- A*KR2 papers
- BMFCS2 papers
- BFASE2 papers
- BCSL2 papers
- ADSN2 papers
- CVECoS1 paper
- A*ICSE1 paper
- BFMCAD1 paper
- BSPLC1 paper
- BFM1 paper
- AHotOS1 paper
- NationalTASE1 paper
- CLATA1 paper
- ASC1 paper
- BIFM1 paper
- BSOFSEM1 paper
- CFORTE1 paper
- BLPAR1 paper
- AFOGA1 paper
- CMEMOCODE1 paper
- Journal PublishedPERFORMANCE1 paper
- A*PODC1 paper
- BFCT1 paper
Papers
104 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Temporal Properties of Conditional Independence in Dynamic Bayesian Networks. | Rajab Aghamov, Christel Baier, Jol Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard |
| 2026 | CONCUR | Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata. | Christel Baier, Sascha Klppelholz, Timm Spork |
| 2026 | TACAS | Concurrent Permissive Strategy Templates. | Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2025 | AAAI | Formal Quality Measures for Predictors in Markov Decision Processes. | Christel Baier, Sascha Klppelholz, Jakob Piribauer, Robin Ziemek |
| 2025 | CAV | Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. | Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klppelholz, Jakob Piribauer |
| 2025 | CONCUR | Linear Temporal Logic with Standpoint Modalities (Invited Talk). | Christel Baier |
| 2025 | FMICS | Backward Responsibility in Transition Systems Beyond Safety. | Christel Baier, Rio Klatt, Sascha Klppelholz, Johannes Lehmann |
| 2025 | KR | Model Checking Linear Temporal Logic with Standpoint Modalities. | Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Jakob Piribauer, Timm Spork |
| 2025 | LICS | Multiplicative Rewards in Markovian Models. | Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer |
| 2025 | SEFM | Certificates and Witnesses for Multi-objective ω-Regular Queries in Markov Decision Processes. | Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klppelholz |
| 2024 | AAAI | Backward Responsibility in Transition Systems Using General Power Indices. | Christel Baier, Roxane van den Bossche, Sascha Klppelholz, Johannes Lehmann, Jakob Piribauer |
| 2024 | CONCUR | Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. | Christel Baier, Jakob Piribauer, Maximilian Starke |
| 2024 | CONCUR | A Spectrum of Approximate Probabilistic Bisimulations. | Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann |
| 2023 | IJCAI | A Unifying Formal Approach to Importance Values in Boolean Functions. | Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff |
| 2023 | IJCAI | More for Less: Safe Policy Improvement with Stronger Performance Guarantees. | Patrick Wienhft, Marnix Suilen, Thiago D. Simo, Clemens Dubslaff, Christel Baier, Nils Jansen |
| 2023 | MFCS | Entropic Risk for Turn-Based Stochastic Games. | Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer |
| 2023 | SEFM | PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. | Max Korn, Julin Mndez, Sascha Klppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt |
| 2023 | VECoS | Towards a Formal Account on Negative Latency. | Clemens Dubslaff, Jonas Schulz, Patrick Wienhft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann |
| 2022 | CONCUR | Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2022 | FOSSACS | On probability-raising causality in Markov decision processes. | Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek |
| 2022 | ICALP | The Variance-Penalized Stochastic Shortest Path Problem. | Jakob Piribauer, Ocan Sankur, Christel Baier |
| 2022 | ICSE | Causality in Configurable Software Systems. | Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel |
| 2021 | AAAI | Responsibility Attribution in Parameterized Markovian Models. | Christel Baier, Florian Funke, Rupak Majumdar |
| 2021 | ATVA | Probabilistic Causes in Markov Chains. | Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek |
| 2021 | ATVA | Determinization and Limit-Determinization of Emerson-Lei Automata. | Tobias John, Simon Jantsch, Christel Baier, Sascha Klppelholz |
| 2021 | CAV | Causality-Based Game Solving. | Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber |
| 2021 | CONCUR | The Orbit Problem for Parametric Linear Dynamical Systems. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2021 | CONCUR | Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. | Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur |
| 2021 | ICALP | From Verification to Causality-Based Explications (Invited Talk). | Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek |
| 2021 | IJCAI | A Game-Theoretic Account of Responsibility Allocation. | Christel Baier, Florian Funke, Rupak Majumdar |
| 2021 | KR | Admissibility in Probabilistic Argumentation. | Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Kfer |
| 2021 | LICS | Responsibility and verification: Importance value in temporal logics. | Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer |
| 2020 | ATVA | Minimal Witnesses for Probabilistic Timed Automata. | Simon Jantsch, Florian Funke, Christel Baier |
| 2020 | FMCAD | Switss: Computing Small Witnessing Subsystems. | Simon Jantsch, Hans Harder, Florian Funke, Christel Baier |
| 2020 | ICALP | On Skolem-Hardness and Saturation Points in Markov Decision Processes. | Jakob Piribauer, Christel Baier |
| 2020 | ISoLA | Components in Probabilistic Systems: Suitable by Construction. | Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klppelholz, Maximilian A. Khl |
| 2020 | ISoLA | From Verification to Explanation (Track Introduction). | Christel Baier, Holger Hermanns |
| 2020 | SPLC | From features to roles. | Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klppelholz |
| 2020 | TACAS | Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. | Florian Funke, Simon Jantsch, Christel Baier |
| 2019 | ATVA | Generic Emptiness Check for Fun and Profit. | Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Mller, Jan Strejcek |
| 2019 | FM | From LTL to Unambiguous Bchi Automata via Disambiguation of Alternating Automata. | Simon Jantsch, David Mller, Christel Baier, Joachim Klein |
| 2019 | FOSSACS | Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. | Jakob Piribauer, Christel Baier |
| 2019 | LICS | Long-run Satisfaction of Path Properties. | Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur |
| 2018 | LICS | Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. | Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur |
| 2017 | ATVA | Synthesis of Optimal Resilient Control Strategies. | Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonn Kucera, Vojtech Rehk |
| 2017 | CAV | Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. | Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich |
| 2017 | HotOS | Towards Automated Configuration of Systems with Non-Functional Constraints. | Linda Leuschner, Martin Kttler, Tobias Stumpf, Christel Baier, Hermann Hrtig, Sascha Klppelholz |
| 2017 | SEFM | Computing Conditional Probabilities: Implementation and Evaluation. | Steffen Mrcker, Christel Baier, Joachim Klein, Sascha Klppelholz |
| 2017 | TACAS | Maximizing the Conditional Expected Reward for Reaching the Goal. | Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich |
| 2016 | ATVA | Greener Bits: Formal Analysis of Demand Response. | Christel Baier, Sascha Klppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich |
| 2016 | CAV | Markov Chains and Unambiguous Bchi Automata. | Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klppelholz, David Mller, James Worrell |
| 2016 | FASE | Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. | Philipp Chrszon, Clemens Dubslaff, Sascha Klppelholz, Christel Baier |
| 2016 | ICALP | Composition of Stochastic Transition Systems Based on Spans and Couplings. | Daniel Gburek, Christel Baier, Sascha Klppelholz |
| 2016 | TACAS | Advances in Symbolic Probabilistic Model Checking with PRISM. | Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klppelholz, Steffen Mrcker, David Mller |
| 2016 | TASE | Cost-Utility Analysis in Probabilistic Models. | Christel Baier |
| 2015 | MFCS | Ratio and Weight Quantiles. | Daniel Krhmann, Jana Schubert, Christel Baier, Clemens Dubslaff |
| 2014 | CSL | Trade-off analysis meets probabilistic model checking. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz |
| 2014 | CSL | Weight monitoring with linear temporal logic: complexity and decidability. | Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich |
| 2014 | FASE | Probabilistic Model Checking and Non-standard Multi-objective Reasoning. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz, Marcus Daum, Joachim Klein, Steffen Mrcker, Sascha Wunderlich |
| 2014 | LATA | Are Good-for-Games Automata Good for Probabilistic Model Checking? | Joachim Klein, David Mller, Christel Baier, Sascha Klppelholz |
| 2014 | TACAS | Computing Conditional Probabilities in Markovian Models Efficiently. | Christel Baier, Joachim Klein, Sascha Klppelholz, Steffen Mrcker |
| 2013 | FOSSACS | Computing Quantiles in Markov Reward Models. | Michael Ummels, Christel Baier |
| 2013 | SC | Distributed wait state tracking for runtime MPI deadlock detection. | Tobias Hilbrich, Bronis R. de Supinski, Wolfgang E. Nagel, Joachim Protze, Christel Baier, Matthias S. Mller |
| 2012 | FMICS | Waiting for Locks: How Long Does It Usually Take? | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Hrtig, Joachim Klein, Sascha Klppelholz, Steffen Mrcker, Hendrik Tews, Marcus Vlp |
| 2011 | CONCUR | A Compositional Framework for Controller Synthesis. | Christel Baier, Joachim Klein, Sascha Klppelholz |
| 2011 | FMICS | Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. | Joachim Klein, Sascha Klppelholz, Andries Stam, Christel Baier |
| 2010 | IFM | On Model Checking Techniques for Randomized Distributed Systems. | Christel Baier |
| 2010 | ISoLA | Design and Verification of Systems with Exogenous Coordination Using Vereofy. | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz, Wolfgang Leister |
| 2009 | ATVA | Quantitative Analysis under Fairness Constraints. | Christel Baier, Marcus Grer, Frank Ciesinski |
| 2009 | CONCUR | The Effect of Tossing Coins in Omega-Automata. | Christel Baier, Nathalie Bertrand, Marcus Grer |
| 2009 | Coordination | A Uniform Framework for Modeling and Verifying Components and Connectors. | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz |
| 2009 | ICALP | When Are Timed Automata Determinizable? | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye |
| 2009 | SOFSEM | Probabilistic Acceptors for Languages over Infinite Words. | Christel Baier, Nathalie Bertrand, Marcus Grer |
| 2008 | Coordination | Alternating-Time Stream Logic for Multi-agent Systems. | Sascha Klppelholz, Christel Baier |
| 2008 | FOSSACS | On Decision Problems for Probabilistic Bchi Automata. | Christel Baier, Nathalie Bertrand, Marcus Grer |
| 2008 | LICS | Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Grer |
| 2006 | Coordination | Stochastic Reasoning About Channel-Based Component Connectors. | Christel Baier, Verena Wolf |
| 2006 | Coordination | Compositional Semantics of an Actor-Based Language Using Constraint Automata. | Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab |
| 2006 | FORTE | Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. | Christel Baier, Nathalie Bertrand, Philippe Schnoebelen |
| 2006 | LPAR | On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. | Christel Baier, Nathalie Bertrand, Philippe Schnoebelen |
| 2005 | Coordination | Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani |
| 2005 | FMICS | Quantitative analysis of distributed randomized protocols. | Christel Baier, Frank Ciesinski, Marcus Grer |
| 2005 | FOGA | Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams. | Wolfgang Lenders, Christel Baier |
| 2005 | LICS | Recognizing omega-regular Languages with Probabilistic Automata. | Christel Baier, Marcus Grer |
| 2004 | DSN | Model Checking Action- and State-Labelled Markov Chains. | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
| 2004 | MEMOCODE | PROBMELA: a modeling language for communicating probabilistic processes. | Christel Baier, Frank Ciesinski, Marcus Grer |
| 2004 | SEFM | Models and Temporal Logics for Timed Component Connectors. | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
| 2004 | TACAS | Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2003 | CONCUR | Comparative Branching-Time Semantics. | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
| 2002 | CONCUR | Simulation for Continuous-Time Markov Chains. | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort |
| 2002 | DSN | Model Checking Performability Properties. | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier |
| 2002 | PERFORMANCE | Automated Performance and Dependability Evaluation Using Model Checking. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2001 | CAV | Model Checking with Formula-Dependent Abstract Models. | Alexander Asteroth, Christel Baier, Ulrich Amann |
| 2000 | CAV | Model Checking Continuous-Time Markov Chains by Transient Analysis. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | CONCUR | Reasoning about Probabilistic Lossy Channel Systems. | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
| 2000 | FOSSACS | Norm Functions for Probabilistic Bisimulations with Delays. | Christel Baier, Marille Stoelinga |
| 2000 | ICALP | On the Logical Characterisation of Performability Properties. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 1999 | CONCUR | Approximate Symbolic Model Checking of Continuous-Time Markov Chains. | Christel Baier, Joost-Pieter Katoen, Holger Hermanns |
| 1998 | ICALP | Metric Semantics for True Concurrent Real Time. | Christel Baier, Joost-Pieter Katoen, Diego Latella |
| 1997 | CAV | Weak Bisimulation for Fully Probabilistic Processes. | Christel Baier, Holger Hermanns |
| 1997 | ICALP | Symbolic Model Checking for Probabilistic Processes. | Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan |
| 1997 | PODC | Automatic Verification of Liveness Properties of Randomized Systems. | Christel Baier, Marta Z. Kwiatkowska |
| 1996 | CAV | Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. | Christel Baier |
| 1991 | FCT | The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP. | Christel Baier, Mila E. Majster-Cederbaum |