Christel Baier

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 131

Top Venues

Publications

Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices. CoRR (2024)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with continuous weight functions. HSCC (2024)
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations. CONCUR (2024)
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices. AAAI (2024)
Christel Baier, Jakob Piribauer, Maximilian Starke
Risk-averse optimization of total rewards in Markovian models using deviation measures. CoRR (2024)
Christel Baier, Jakob Piribauer, Maximilian Starke
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. CONCUR (2024)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic risk for turn-based stochastic games. Inf. Comput. 301 (2024)
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
Feature causality. J. Syst. Softw. 209 (2024)
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations. CoRR (2024)
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. 20 (1) (2024)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers. CoRR (2024)
Christel Baier, Calvin Chau, Sascha Klüppelholz
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes. CoRR (2024)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 19 (2) (2023)
Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions. GandALF (2023)
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
A Unifying Formal Approach to Importance Values in Boolean Functions. IJCAI (2023)
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
A Unifying Formal Approach to Importance Values in Boolean Functions. CoRR (2023)
Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell
Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136 (2023)
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. CoRR (2023)
Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. SEFM (2023)
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. NFM (2023)
Jakob Piribauer, Christel Baier
Positivity-hardness results on Markov decision processes. CoRR (2023)
Christel Baier
Verification Column. ACM SIGLOG News 10 (3) (2023)
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
Towards a Formal Account on Negative Latency. AISoLA (2023)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
On the Foundations of Cycles in Bayesian Networks. CoRR (2023)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games. CoRR (2023)
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement With Stronger Performance Guarantees. CoRR (2023)
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI (2023)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games. MFCS (2023)
Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions. CoRR (2023)
Christel Baier
Verification Column. ACM SIGLOG News 10 (2) (2023)
Christel Baier
Verification Column. ACM SIGLOG News 10 (4) (2023)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. 196 (2023)
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
On probability-raising causality in Markov decision processes. FoSSaCS (2022)
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18 (3) (2022)
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
Causality in Configurable Software Systems. ICSE (2022)
Jakob Piribauer, Ocan Sankur, Christel Baier
The variance-penalized stochastic shortest path problem. CoRR (2022)
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
On probability-raising causality in Markov decision processes. CoRR (2022)
Jakob Piribauer, Ocan Sankur, Christel Baier
The Variance-Penalized Stochastic Shortest Path Problem. ICALP (2022)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. IEEE Trans. Software Eng. 48 (8) (2022)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 18 (3) (2022)
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. EPEW (2022)
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes. CoRR (2022)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
Causality in Configurable Software Systems. CoRR (2022)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design (2022)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. CONCUR (2022)
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CAV (1) (2021)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CoRR (2021)
Christel Baier, Florian Funke, Rupak Majumdar
A Game-Theoretic Account of Responsibility Allocation. CoRR (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. CoRR (2021)
Christel Baier, Florian Funke, Rupak Majumdar
A Game-Theoretic Account of Responsibility Allocation. IJCAI (2021)
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation. KR (2021)
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic causes in Markov chains. CoRR (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-based Explications. CoRR (2021)
Simon Jantsch, Jakob Piribauer, Christel Baier
Witnessing Subsystems for Probabilistic Systems with Low Tree Width. GandALF (2021)
Simon Jantsch, Jakob Piribauer, Christel Baier
Witnessing subsystems for probabilistic systems with low tree width. CoRR (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. LICS (2021)
Christel Baier, Florian Funke, Rupak Majumdar
Responsibility Attribution in Parameterized Markovian Models. AAAI (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications (Invited Talk). ICALP (2021)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Determinization and Limit-Determinization of Emerson-Lei Automata. ATVA (2021)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Determinization and Limit-determinization of Emerson-Lei automata. CoRR (2021)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CONCUR (2021)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to unambiguous Büchi automata via disambiguation of alternating automata. Formal Methods Syst. Des. 58 (1-2) (2021)
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic Causes in Markov Chains. ATVA (2021)
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CoRR (2021)
Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. CONCUR (2021)
Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano
EATCS Fellows 2021 - Call for Nominations. Bull. EATCS 132 (2020)
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
Switss: Computing Small Witnessing Subsystems. FMCAD (2020)
Simon Jantsch, Florian Funke, Christel Baier
Minimal Witnesses for Probabilistic Timed Automata. ATVA (2020)
Michael Raitza, Steffen Märcker, Jens Trommer, Andre Heinzig, Sascha Klüppelholz, Christel Baier, Akash Kumar
Quantitative Characterization of Reconfigurable Transistor Logic Gates. IEEE Access 8 (2020)
Jakob Piribauer, Christel Baier
On Skolem-Hardness and Saturation Points in Markov Decision Processes. ICALP (2020)
Christel Baier, Holger Hermanns
From Verification to Explanation (Track Introduction). ISoLA (4) (2020)
Jakob Piribauer, Christel Baier
On Skolem-hardness and saturation points in Markov decision processes. CoRR (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. CoRR (2020)
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
SWITSS: Computing Small Witnessing Subsystems. CoRR (2020)
Simon Jantsch, Florian Funke, Christel Baier
Minimal witnesses for probabilistic timed automata. CoRR (2020)
Christel Baier, Pedro R. D'Argenio, Holger Hermanns
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57 (3-5) (2020)
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis. CoRR (2020)
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
Iterative Variable Reordering: Taming Huge System Families. MARS@ETAPS (2020)
Florian Funke, Simon Jantsch, Christel Baier
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. TACAS (1) (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. FSTTCS (2020)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
From features to roles. SPLC (A) (2020)
Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Inf. Comput. 272 (2020)
Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck
Lab Conditions for Research on Explainable Automated Decisions. TAILOR (2020)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) (2020)
Florian Funke, Simon Jantsch, Christel Baier
Farkas certificates and minimal witnesses for probabilistic reachability constraints. CoRR (2019)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. CoRR (2019)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. FM (2019)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek
Breaking the Limits of Redundancy Systems Analysis. CoRR (2019)
Jakob Piribauer, Christel Baier
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. CoRR (2019)
Gerhard P. Fettweis, Meik Dorpinghaus, Jerónimo Castrillón, Akash Kumar, Christel Baier, Karlheinz Bock, Frank Ellinger, Andreas Fery, Frank H. P. Fitzek, Hermann Härtig, Kambiz Jamshidi, Thomas Kissinger, Wolfgang Lehner, Michael Mertig, Wolfgang E. Nagel, Giang T. Nguyen, Dirk Plettemeier, Michael Schröter, Thorsten Strufe
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing. Proc. IEEE 107 (1) (2019)
Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur
Long-run Satisfaction of Path Properties. LICS (2019)
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. EPEW (2019)
Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek
Generic Emptiness Check for Fun and Profit. ATVA (2019)
Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
Configuration of inter-process communication with probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano
EATCS Fellows 2020 - Call for Nominations. Bull. EATCS 129 (2019)
Jakob Piribauer, Christel Baier
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. FoSSaCS (2019)
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. CoRR (2018)

Christel Baier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christel Baier