Christel Baier

325 papers A* 30A 9B 42C 15Misc 2Journal 128Unranked 88
YearRankTypeTitle / Venue / Authors
2026 — conf
Concurrent Permissive Strategy Templates.
TACAS (1)
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2026 J jnl
Concurrent Permissive Strategy Templates.
CoRR
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2026 A* conf
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.
AAAI
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2025 — conf
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains.
CAV (2)
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
2025 J jnl
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains.
CoRR
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
2025 C conf
Backward Responsibility in Transition Systems Beyond Safety.
FMICS
Christel Baier, Rio Klatt, Sascha Klüppelholz, Johannes Lehmann
2025 J jnl
Backward Responsibility in Transition Systems Beyond Safety.
CoRR
Christel Baier, Rio Klatt, Sascha Klüppelholz, Johannes Lehmann
2025 B conf
Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes.
SEFM
Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz
2025 J jnl
Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes.
CoRR
Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz
2025 J jnl
Certificates and witnesses for multi-objective queries in Markov decision processes.
Perform. Evaluation
Christel Baier, Calvin Chau, Sascha Klüppelholz
2025 A* conf
Formal Quality Measures for Predictors in Markov Decision Processes.
AAAI
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
2025 B conf
Linear Temporal Logic with Standpoint Modalities (Invited Talk).
CONCUR
Christel Baier
2025 A* conf
Model Checking Linear Temporal Logic with Standpoint Modalities.
KR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025 J jnl
Model Checking Linear Temporal Logic with Standpoint Modalities.
CoRR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025 A* conf
Multiplicative Rewards in Markovian Models.
LICS
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2025 J jnl
Multiplicative Rewards in Markovian Models.
CoRR
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2025 — conf
Responsibility in Actor-Based Systems.
Rebeca for Actor Analysis in Action
Christel Baier, Sascha Klüppelholz, Johannes Lehmann
2025 J jnl
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.
CoRR
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2025 — conf
When to Sample from Feature Diagrams?
VaMoS
Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns
2024 B conf
A Spectrum of Approximate Probabilistic Bisimulations.
CONCUR
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
2024 J jnl
A Spectrum of Approximate Probabilistic Bisimulations.
CoRR
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
2024 A* conf
Backward Responsibility in Transition Systems Using General Power Indices.
AAAI
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
2024 J jnl
Backward Responsibility in Transition Systems Using General Power Indices.
CoRR
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
2024 J jnl
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes.
CoRR
Christel Baier, Calvin Chau, Sascha Klüppelholz
2024 — conf
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes.
QEST+FORMATS
Christel Baier, Calvin Chau, Sascha Klüppelholz
2024 J jnl
Entropic risk for turn-based stochastic games.
Inf. Comput.
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2024 J jnl
Feature causality.
J. Syst. Softw.
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
2024 J jnl
Formal Quality Measures for Predictors in Markov Decision Processes.
CoRR
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
2024 J jnl
Foundations of probability-raising causality in Markov decision processes.
Log. Methods Comput. Sci.
Christel Baier, Jakob Piribauer, Robin Ziemek
2024 — conf
Linear dynamical systems with continuous weight functions.
HSCC
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
2024 — conf
Model Checking Markov Chains as Distribution Transformers.
Principles of Verification (2)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 J jnl
Model Checking Markov Chains as Distribution Transformers.
CoRR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 J jnl
Positivity-hardness results on Markov decision processes.
TheoretiCS
Jakob Piribauer, Christel Baier
2024 J jnl
Responsibility in Actor-Based Systems.
CoRR
Christel Baier, Sascha Klüppelholz, Johannes Lehmann
2024 B conf
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures.
CONCUR
Christel Baier, Jakob Piribauer, Maximilian Starke
2024 J jnl
Risk-averse optimization of total rewards in Markovian models using deviation measures.
CoRR
Christel Baier, Jakob Piribauer, Maximilian Starke
2023 A* conf
A Unifying Formal Approach to Importance Values in Boolean Functions.
IJCAI
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
2023 J jnl
A Unifying Formal Approach to Importance Values in Boolean Functions.
CoRR
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
2023 J jnl
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng.
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2023 J jnl
Counterfactual Causality for Reachability and Safety based on Distance Functions.
CoRR
Julie Parreaux, Jakob Piribauer, Christel Baier
2023 — conf
Counterfactual Causality for Reachability and Safety based on Distance Functions.
GandALF
Julie Parreaux, Jakob Piribauer, Christel Baier
2023 B conf
Entropic Risk for Turn-Based Stochastic Games.
MFCS
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2023 J jnl
Entropic Risk for Turn-Based Stochastic Games.
CoRR
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2023 J jnl
Interaction detection in configurable systems - A formal approach featuring roles.
J. Syst. Softw.
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2023 J jnl
Markov chains and unambiguous automata.
J. Comput. Syst. Sci.
Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell
2023 J jnl
More for Less: Safe Policy Improvement With Stronger Performance Guarantees.
CoRR
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023 A* conf
More for Less: Safe Policy Improvement with Stronger Performance Guarantees.
IJCAI
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023 J jnl
On the Foundations of Cycles in Bayesian Networks.
CoRR
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
2023 B conf
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.
SEFM
Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt
2023 J jnl
Positivity-hardness results on Markov decision processes.
CoRR
Jakob Piribauer, Christel Baier
2023 — conf
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.
NFM
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
2023 J jnl
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.
CoRR
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
2023 — conf
Towards a Formal Account on Negative Latency.
AISoLA
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
2023 J jnl
Verification Column.
ACM SIGLOG News
Christel Baier
2023 J jnl
Verification Column.
ACM SIGLOG News
Christel Baier
2023 J jnl
Verification Column.
ACM SIGLOG News
Christel Baier
2022 J jnl
Admissibility in Probabilistic Argumentation.
J. Artif. Intell. Res.
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
2022 A* conf
Causality in Configurable Software Systems.
ICSE
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
2022 J jnl
Causality in Configurable Software Systems.
CoRR
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
2022 — conf
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study.
EPEW
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
2022 J jnl
Foundations of probability-raising causality in Markov decision processes.
CoRR
Christel Baier, Jakob Piribauer, Robin Ziemek
2022 J jnl
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng.
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2022 A* ed.
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022
LICS
Christel Baier, Dana Fisman
2022 J jnl
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control.
IEEE Trans. Software Eng.
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar
2022 B conf
On probability-raising causality in Markov decision processes.
FoSSaCS
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
2022 J jnl
On probability-raising causality in Markov decision processes.
CoRR
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
2022 — conf
On the Foundations of Cycles in Bayesian Networks.
Principles of Systems Design
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
2022 — conf
Operational Causality - Necessarily Sufficient and Sufficiently Necessary.
A Journey from Process Algebra via Timed Automata to Model Learning
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
2022 B conf
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2022 J jnl
Probabilistic causes in Markov chains.
Innov. Syst. Softw. Eng.
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
2022 A* conf
The Variance-Penalized Stochastic Shortest Path Problem.
ICALP
Jakob Piribauer, Ocan Sankur, Christel Baier
2022 J jnl
The variance-penalized stochastic shortest path problem.
CoRR
Jakob Piribauer, Ocan Sankur, Christel Baier
2021 B ed.
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Ljubljana, Slovenia (Virtual Conference), January 25-28, 2021
CSL
Christel Baier, Jean Goubault-Larrecq
2021 A* conf
A Game-Theoretic Account of Responsibility Allocation.
IJCAI
Christel Baier, Florian Funke, Rupak Majumdar
2021 J jnl
A Game-Theoretic Account of Responsibility Allocation.
CoRR
Christel Baier, Florian Funke, Rupak Majumdar
2021 A* conf
Admissibility in Probabilistic Argumentation.
KR
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
2021 — conf
Causality-Based Game Solving.
CAV (1)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
2021 J jnl
Causality-Based Game Solving.
CoRR
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
2021 B conf
Determinization and Limit-Determinization of Emerson-Lei Automata.
ATVA
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2021 J jnl
Determinization and Limit-determinization of Emerson-Lei automata.
CoRR
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2021 J jnl
From LTL to unambiguous Büchi automata via disambiguation of alternating automata.
Formal Methods Syst. Des.
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
2021 A* conf
From Verification to Causality-Based Explications (Invited Talk).
ICALP
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021 J jnl
From Verification to Causality-based Explications.
CoRR
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021 B conf
Probabilistic Causes in Markov Chains.
ATVA
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
2021 J jnl
Probabilistic causes in Markov chains.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
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 A* conf
Responsibility Attribution in Parameterized Markovian Models.
AAAI
Christel Baier, Florian Funke, Rupak Majumdar
2021 A* conf
Responsibility and verification: Importance value in temporal logics.
LICS
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
2021 J jnl
Responsibility and verification: Importance value in temporal logics.
CoRR
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
2021 B conf
The Orbit Problem for Parametric Linear Dynamical Systems.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 J jnl
The Orbit Problem for Parametric Linear Dynamical Systems.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 — conf
Witnessing Subsystems for Probabilistic Systems with Low Tree Width.
GandALF
Simon Jantsch, Jakob Piribauer, Christel Baier
2021 J jnl
Witnessing subsystems for probabilistic systems with low tree width.
CoRR
Simon Jantsch, Jakob Piribauer, Christel Baier
2020 — conf
Components in Probabilistic Systems: Suitable by Construction.
ISoLA (1)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
2020 J jnl
EATCS Fellows 2021 - Call for Nominations.
Bull. EATCS
Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano
2020 — conf
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.
TACAS (1)
Florian Funke, Simon Jantsch, Christel Baier
2020 — conf
From Verification to Explanation (Track Introduction).
ISoLA (4)
Christel Baier, Holger Hermanns
2020 — conf
From features to roles.
SPLC (A)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2020 — conf
Iterative Variable Reordering: Taming Huge System Families.
MARS
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
2020 — conf
Lab Conditions for Research on Explainable Automated Decisions.
TAILOR
Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck
2020 B conf
Minimal Witnesses for Probabilistic Timed Automata.
ATVA
Simon Jantsch, Florian Funke, Christel Baier
2020 J jnl
Minimal witnesses for probabilistic timed automata.
CoRR
Simon Jantsch, Florian Funke, Christel Baier
2020 A* conf
On Skolem-Hardness and Saturation Points in Markov Decision Processes.
ICALP
Jakob Piribauer, Christel Baier
2020 J jnl
On Skolem-hardness and saturation points in Markov decision processes.
CoRR
Jakob Piribauer, Christel Baier
2020 J jnl
On the probabilistic bisimulation spectrum with silent moves.
Acta Informatica
Christel Baier, Pedro R. D'Argenio, Holger Hermanns
2020 J jnl
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.
Inf. Comput.
Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein
2020 J jnl
Quantitative Characterization of Reconfigurable Transistor Logic Gates.
IEEE Access
Michael Raitza, Steffen Märcker, Jens Trommer, Andre Heinzig, Sascha Klüppelholz, Christel Baier, Akash Kumar
2020 — conf
Reachability in Dynamical Systems with Rounding.
FSTTCS
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2020 J jnl
Reachability in Dynamical Systems with Rounding.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2020 J jnl
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis.
CoRR
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
2020 J jnl
SWITSS: Computing Small Witnessing Subsystems.
CoRR
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
2020 B conf
Switss: Computing Small Witnessing Subsystems.
FMCAD
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
2019 A* ed.
46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, July 9-12, 2019
ICALP
Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi
2019 J jnl
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing.
Proc. IEEE
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
2019 J jnl
Breaking the Limits of Redundancy Systems Analysis.
CoRR
Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek
2019 J jnl
Configuration of inter-process communication with probabilistic model checking.
Int. J. Softw. Tools Technol. Transf.
Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
2019 J jnl
EATCS Fellows 2020 - Call for Nominations.
Bull. EATCS
Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano
2019 J jnl
Farkas certificates and minimal witnesses for probabilistic reachability constraints.
CoRR
Florian Funke, Simon Jantsch, Christel Baier
2019 B conf
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.
FM
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
2019 J jnl
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.
CoRR
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
2019 B conf
Generic Emptiness Check for Fun and Profit.
ATVA
Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek
2019 A* conf
Long-run Satisfaction of Path Properties.
LICS
Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur
2019 J jnl
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms.
ACM Trans. Model. Comput. Simul.
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2019 B conf
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights.
FoSSaCS
Jakob Piribauer, Christel Baier
2019 J jnl
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights.
CoRR
Jakob Piribauer, Christel Baier
2019 — conf
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.
EPEW
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar
2019 — ch.
The 10, 000 Facets of MDP Model Checking.
Computing and Software Science
Christel Baier, Holger Hermanns, Joost-Pieter Katoen
2018 J jnl
A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi Scale Comput. Syst.
Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich
2018 J jnl
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
Int. J. Softw. Tools Technol. Transf.
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2018 — conf
Bisimulations, logics, and trace distributions for stochastic systems with rewards.
HSCC
Daniel Gburek, Christel Baier
2018 J jnl
Decision making improves sperm chemotaxis in the presence of noise.
PLoS Comput. Biol.
Justus A. Kromer, Steffen Märcker, Steffen Lange, Christel Baier, Benjamin M. Friedrich
2018 — conf
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.
It's All About Coordination
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
2018 — conf
Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.
EPEW
Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski
2018 C ed.
Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
FORTE
Christel Baier, Luís Caires
2018 B ed.
Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
FoSSaCS
Christel Baier, Ugo Dal Lago
2018 J jnl
From verification to synthesis under cost-utility constraints.
ACM SIGLOG News
Christel Baier, Clemens Dubslaff
2018 — ch.
Model Checking Probabilistic Systems.
Handbook of Model Checking
Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska
2018 J jnl
ProFeat: feature-oriented engineering for family-based probabilistic model checking.
Formal Aspects Comput.
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
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
2017 B conf
Computing Conditional Probabilities: Implementation and Evaluation.
SEFM
Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz
2017 — conf
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs.
ModelEd, TestEd, TrustEd
Clemens Dubslaff, Christel Baier
2017 — conf
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
CAV (1)
Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich
2017 — conf
Maximizing the Conditional Expected Reward for Reaching the Goal.
TACAS (2)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
2017 J jnl
Maximizing the Conditional Expected Reward for Reaching the Goal.
CoRR
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
2017 — conf
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
QEST
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017 J jnl
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
CoRR
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017 — conf
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination.
GandALF
Lisa Hutschenreiter, Christel Baier, Joachim Klein
2017 B ed.
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
SOFSEM
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
2017 J jnl
Some advances in tools and algorithms for the construction and analysis of systems.
Int. J. Softw. Tools Technol. Transf.
Christel Baier, Cesare Tinelli
2017 J jnl
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).
Acta Informatica
Christel Baier, Cesare Tinelli
2017 B conf
Synthesis of Optimal Resilient Control Strategies.
ATVA
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017 J jnl
Synthesis of Optimal Resilient Control Strategies.
CoRR
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák
2017 A conf
Towards Automated Configuration of Systems with Non-Functional Constraints.
HotOS
Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
2017 — conf
Towards Automated Variant Selection for Heterogeneous Tiled Architectures.
Models, Algorithms, Logics and Tools
Christel Baier, Sascha Klüppelholz, Sascha Wunderlich
2016 A conf
Advances in Symbolic Probabilistic Model Checking with PRISM.
TACAS
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2016 A* conf
Composition of Stochastic Transition Systems Based on Spans and Couplings.
ICALP
Daniel Gburek, Christel Baier, Sascha Klüppelholz
2016 Misc conf
Cost-Utility Analysis in Probabilistic Models.
TASE
Christel Baier
2016 B conf
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.
FASE
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2016 B conf
Greener Bits: Formal Analysis of Demand Response.
ATVA
Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich
2016 — conf
Markov Chains and Unambiguous Büchi Automata.
CAV (1)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
2016 J jnl
Markov Chains and Unambiguous Büchi Automata.
CoRR
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
2016 — conf
Modeling Role-Based Systems with Exogenous Coordination.
Theory and Practice of Formal Methods
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
2016 — ch.
Probabilistic Model Checking.
Dependable Software Systems Engineering
Christel Baier
2015 J jnl
Compositional construction of most general controllers.
Acta Informatica
Joachim Klein, Christel Baier, Sascha Klüppelholz
2015 J jnl
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci.
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2015 J jnl
Probabilistic Model Checking for Feature-Oriented Systems.
LNCS Trans. Aspect Oriented Softw. Dev.
Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
2015 — conf
Quantitative Analysis of Communication Scenarios.
FORMATS
Clemens Dubslaff, Christel Baier
2015 — conf
Ratio and Weight Quantiles.
MFCS (1)
Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff
2015 — conf
Reasoning About Cost-Utility Constraints in Probabilistic Models.
RP
Christel Baier
2015 A ed.
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
TACAS
Christel Baier, Cesare Tinelli
2014 C conf
Are Good-for-Games Automata Good for Probabilistic Model Checking?
LATA
Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz
2014 A conf
Computing Conditional Probabilities in Markovian Models Efficiently.
TACAS
Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker
2014 B conf
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.
Petri Nets
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
2014 — conf
Energy-Utility Quantiles.
NASA Formal Methods
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
2014 B conf
Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
FASE
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
2014 — conf
Probabilistic Model Checking for Energy-Utility Analysis.
Horizons of the Mind
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
2014 — conf
Probabilistic model checking for energy analysis in software product lines.
MODULARITY
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
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
2014 J jnl
Synthesis of Reo Connectors for Strategies and Controllers.
Fundam. Informaticae
Christel Baier, Joachim Klein, Sascha Klüppelholz
2014 — conf
Trade-off analysis meets probabilistic model checking.
CSL-LICS
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2014 — conf
Weight monitoring with linear temporal logic: complexity and decidability.
CSL-LICS
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
2013 — conf
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
NASA Formal Methods
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2013 J jnl
Computing Quantiles in Markov Reward Models
CoRR
Michael Ummels, Christel Baier
2013 B conf
Computing Quantiles in Markov Reward Models.
FoSSaCS
Michael Ummels, Christel Baier
2013 A conf
Distributed wait state tracking for runtime MPI deadlock detection.
SC
Tobias Hilbrich, Bronis R. de Supinski, Wolfgang E. Nagel, Joachim Protze, Christel Baier, Matthias S. Müller
2013 J jnl
Model checking for performability.
Math. Struct. Comput. Sci.
Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2013 J jnl
Preface to the special issue on Probabilistic Model Checking.
Formal Methods Syst. Des.
Christel Baier, Marta Z. Kwiatkowska
2013 J jnl
Probabilistic Model Checking for Energy Analysis in Software Product Lines.
CoRR
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2013 — conf
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata.
CAI
Christel Baier
2012 — conf
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
SSV
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2012 J jnl
Model checking probabilistic systems against pushdown specifications.
Inf. Process. Lett.
Clemens Dubslaff, Christel Baier, Manuela Berg
2012 J jnl
Probabilistic ω-automata.
J. ACM
Christel Baier, Marcus Größer, Nathalie Bertrand
2012 — conf
Rare-event verification for stochastic hybrid systems.
HSCC
Paolo Zuliani, Christel Baier, Edmund M. Clarke
2012 — conf
Static Partial Order Reduction for Probabilistic Concurrent Systems.
QEST
Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund
2012 J jnl
Stochastic game logic.
Acta Informatica
Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
2012 C conf
Waiting for Locks: How Long Does It Usually Take?
FMICS
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2011 B conf
A Compositional Framework for Controller Synthesis.
CONCUR
Christel Baier, Joachim Klein, Sascha Klüppelholz
2011 C conf
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.
FMICS
Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier
2011 — conf
Modeling and Verification of Components and Connectors.
SFM
Christel Baier, Joachim Klein, Sascha Klüppelholz
2011 J jnl
Synthesis of Reo circuits from scenario-based interaction specifications.
Sci. Comput. Program.
Sun Meng, Farhad Arbab, Christel Baier
2010 — conf
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis.
Quantitative Models: Expressiveness and Analysis
Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
2010 — conf
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis.
Quantitative Models: Expressiveness and Analysis
Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
2010 J jnl
Alternating-time stream logic for multi-agent systems.
Sci. Comput. Program.
Sascha Klüppelholz, Christel Baier
2010 — conf
Design and Verification of Systems with Exogenous Coordination Using Vereofy.
ISoLA (2)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister
2010 B conf
On Model Checking Techniques for Randomized Distributed Systems.
IFM
Christel Baier
2010 J jnl
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.
Formal Methods Syst. Des.
Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier
2010 J jnl
Performability assessment by model checking of Markov reward models.
Formal Methods Syst. Des.
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2010 J jnl
Performance evaluation and model checking join forces.
Commun. ACM
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2010 — ed.
Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010
Quantitative Models: Expressiveness and Analysis
Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
2009 C conf
A Uniform Framework for Modeling and Verifying Components and Connectors.
COORDINATION
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
2009 — conf
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
TTSS
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi
2009 — conf
Preface.
QAPL
Christel Baier, Alessandra Di Pierro
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 — ed.
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009
QAPL
Christel Baier, Alessandra Di Pierro
2009 B conf
Quantitative Analysis under Fairness Constraints.
ATVA
Christel Baier, Marcus Größer, Frank Ciesinski
2009 — conf
Recurrence and Transience for Probabilistic Automata.
FSTTCS
Mathieu Tracol, Christel Baier, Marcus Größer
2009 J jnl
Symbolic model checking for channel-based component connectors.
Sci. Comput. Program.
Sascha Klüppelholz, Christel Baier
2009 — conf
The Credo Methodology - (Extended Version).
FMCO
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer
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 J jnl
A uniform framework for weighted decision diagrams and its implementation.
Int. J. Softw. Tools Technol. Transf.
Jörn Ossowski, Christel Baier
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 C conf
Alternating-Time Stream Logic for Multi-agent Systems.
COORDINATION
Sascha Klüppelholz, Christel Baier
2008 — conf
Formal Verification for Components and Connectors.
FMCO
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
2008 — conf
Generating Compact MTBDD-Representations from ProbmelaSpecifications.
SPIN
Frank Ciesinski, Christel Baier, Marcus Größer, David Parker
2008 B conf
On Decision Problems for Probabilistic Büchi Automata.
FoSSaCS
Christel Baier, Nathalie Bertrand, Marcus Größer
2008 — conf
Preface.
QAPL
Alessandro Aldini, Christel Baier
2008 — book
Principles of model checking.
Christel Baier, Joost-Pieter Katoen
2008 — ed.
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008
QAPL
Alessandro Aldini, Christel Baier
2008 — conf
Reachability in continuous-time Markov reward decision processes.
Logic and Automata
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2008 — conf
Reduction Techniques for Model Checking Markov Decision Processes.
QEST
Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein
2008 J jnl
Special issue: CONCUR 2006.
Inf. Comput.
Christel Baier, Holger Hermanns
2008 — conf
Synthesis of Reo Circuits from Scenario-based Specifications.
FOCLASA@ICALP
Farhad Arbab, Sun Meng, Christel Baier
2007 — conf
Checking Equivalence for Reo Networks.
FACS
Tobias Blechmann, Christel Baier
2007 J jnl
Model Checking Markov Chains with Actions and State Labels.
IEEE Trans. Software Eng.
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
2007 J jnl
Models and temporal logical specifications for timed component connectors.
Softw. Syst. Model.
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
2007 C conf
On-the-Fly Stuttering in the Construction of Deterministic
CIAA
Joachim Klein, Christel Baier
2007 — conf
Probabilistic and Topological Semantics for Timed Automata.
FSTTCS
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
2007 — ed.
Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007
SYANCO
Farhad Arbab, Christel Baier
2007 — conf
Stochastic Game Logic.
QEST
Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
2007 — conf
Syanco 2007: international workshop on synthesis and analysis of component connectors.
ESEC/SIGSOFT FSE
Farhad Arbab, Christel Baier
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 B ed.
CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings
CONCUR
Christel Baier, Holger Hermanns
2006 C conf
Compositional Semantics of an Actor-Based Language Using Constraint Automata.
COORDINATION
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
2006 J jnl
Experiments with deterministic
Theor. Comput. Sci.
Joachim Klein, Christel Baier
2006 — conf
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
QEST
Frank Ciesinski, Christel Baier
2006 J jnl
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program.
Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten
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 — conf
On Reduction Criteria for Probabilistic Reward Models.
FSTTCS
Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
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
Stochastic Reasoning About Channel-Based Component Connectors.
COORDINATION
Christel Baier, Verena Wolf
2006 — conf
Symbolic Model Checking for Channel-based Component Connectors.
FOCLASA
Sascha Klüppelholz, Christel Baier
2006 C conf
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.
FORTE
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
2006 — conf
Trace Semantics for Stochastic Systems with Nondeterminism.
QAPL
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
2005 — conf
Bisimulation and Simulation Relations for Markov Chains.
APC 25
Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
2005 J jnl
Comparative branching-time semantics for Markov chains.
Inf. Comput.
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
2005 J jnl
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.
Theor. Comput. Sci.
Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort
2005 C conf
Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.
CIAA
Joachim Klein, Christel Baier
2005 A conf
Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams.
FOGA
Wolfgang Lenders, Christel Baier
2005 J jnl
Model checking meets performance evaluation.
SIGMETRICS Perform. Evaluation Rev.
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2005 — conf
Partial Order Reduction for Markov Decision Processes: A Survey.
FMCO
Marcus Größer, Christel Baier
2005 — conf
Partial Order Reduction for Probabilistic Branching Time.
QAPL
Christel Baier, Pedro R. D'Argenio, Marcus Größer
2005 J jnl
ProbMela and verification of Markov decision processes.
SIGMETRICS Perform. Evaluation Rev.
Christel Baier, Frank Ciesinski, Marcus Größer
2005 J jnl
Probabilistic Models for Reo Connector Circuits.
J. Univers. Comput. Sci.
Christel Baier
2005 C conf
Quantitative analysis of distributed randomized protocols.
FMICS
Christel Baier, Frank Ciesinski, Marcus Größer
2005 A* conf
Recognizing omega-regular Languages with Probabilistic Automata.
LICS
Christel Baier, Marcus Größer
2005 J jnl
Simulating perfect channels with probabilistic lossy channels.
Inf. Comput.
Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
2005 — conf
Symbolic Reasoning with Weighted and Normalized Decision Diagrams.
Calculemus
Jörn Ossowski, Christel Baier
2005 C conf
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
COORDINATION
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani
2005 — conf
Trace Machines for Observing Continuous-Time Markov Chains.
QAPL
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
2005 J jnl
Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties
CoRR
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
2004 — conf
Controller Synthesis for Probabilistic Systems.
IFIP TCS
Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
2004 A conf
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes.
TACAS
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2004 A conf
Model Checking Action- and State-Labelled Markov Chains.
DSN
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
2004 B conf
Models and Temporal Logics for Timed Component Connectors.
SEFM
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
2004 C conf
PROBMELA: a modeling language for communicating probabilistic processes.
MEMOCODE
Christel Baier, Frank Ciesinski, Marcus Größer
2004 — conf
Partial Order Reduction for Probabilistic Systems.
QEST
Christel Baier, Marcus Größer, Frank Ciesinski
2004 J jnl
Probabilistic weak simulation is decidable in polynomial time.
Inf. Process. Lett.
Christel Baier, Holger Hermanns, Joost-Pieter Katoen
2004 — ed.
Validation of Stochastic Systems - A Guide to Current Research
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
2003 B conf
Comparative Branching-Time Semantics.
CONCUR
Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
2003 J jnl
Model-Checking Algorithms for Continuous-Time Markov Chains.
IEEE Trans. Software Eng.
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2003 — conf
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
FOCLASA
Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani
2002 Misc conf
Automated Performance and Dependability Evaluation Using Model Checking.
Performance
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2002 A conf
Model Checking Performability Properties.
DSN
Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
2002 B conf
Simulation for Continuous-Time Markov Chains.
CONCUR
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort
2002 — book
Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen.
Alexander Asteroth, Christel Baier
2001 J jnl
Metric semantics for true concurrent real time.
Theor. Comput. Sci.
Joost-Pieter Katoen, Christel Baier, Diego Latella
2001 A* conf
Model Checking with Formula-Dependent Abstract Models.
CAV
Alexander Asteroth, Christel Baier, Ulrich Aßmann
2000 J jnl
Deciding Bisimilarity and Similarity for Probabilistic Processes.
J. Comput. Syst. Sci.
Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum
2000 J jnl
Domain equations for probabilistic processes.
Math. Struct. Comput. Sci.
Christel Baier, Marta Z. Kwiatkowska
2000 A* conf
Model Checking Continuous-Time Markov Chains by Transient Analysis.
CAV
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000 B conf
Norm Functions for Probabilistic Bisimulations with Delays.
FoSSaCS
Christel Baier, Mariëlle Stoelinga
2000 J jnl
On Topological Hierarchies of Temporal Properties.
Fundam. Informaticae
Christel Baier, Marta Z. Kwiatkowska
2000 A* conf
On the Logical Characterisation of Performability Properties.
ICALP
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000 B conf
Reasoning about Probabilistic Lossy Channel Systems.
CONCUR
Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
1999 B conf
Approximate Symbolic Model Checking of Continuous-Time Markov Chains.
CONCUR
Christel Baier, Joost-Pieter Katoen, Holger Hermanns
1999 — conf
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.
ARTS
Christel Baier, Bettina Engelen
1999 — ed.
First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998
PROBMIV
Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
1998 — conf
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.
PROBMIV
Christel Baier, Marta Z. Kwiatkowska, Gethin Norman
1998 A* conf
Metric Semantics for True Concurrent Real Time.
ICALP
Christel Baier, Joost-Pieter Katoen, Diego Latella
1998 J jnl
Model Checking for a Probabilistic Branching Time Logic with Fairness.
Distributed Comput.
Christel Baier, Marta Z. Kwiatkowska
1998 — conf
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs.
PROBMIV
Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen
1998 J jnl
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.
Inf. Process. Lett.
Christel Baier, Marta Z. Kwiatkowska
1998 — conf
Preface.
PROBMIV
Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
1997 A* conf
Automatic Verification of Liveness Properties of Randomized Systems.
PODC
Christel Baier, Marta Z. Kwiatkowska
1997 — conf
Domain equations for probabilistic processes.
EXPRESS
Christel Baier, Marta Z. Kwiatkowska
1997 J jnl
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages.
Fundam. Informaticae
Christel Baier, Mila E. Majster-Cederbaum
1997 J jnl
Metric Semantics from Partial Order Semantics.
Acta Informatica
Christel Baier, Mila E. Majster-Cederbaum
1997 A* conf
Symbolic Model Checking for Probabilistic Processes.
ICALP
Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan
1997 J jnl
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach.
Formal Aspects Comput.
Christel Baier, Mila E. Majster-Cederbaum
1997 J jnl
Trees and Semantics.
Theor. Comput. Sci.
Christel Baier
1997 A* conf
Weak Bisimulation for Fully Probabilistic Processes.
CAV
Christel Baier, Holger Hermanns
1997 — conf
Weak Bisimulation for Fully Probabilistic Processes.
FBT
Christel Baier, Holger Hermanns
1996 — conf
A Categorical Characterization of Consistency Results.
AMAST
Christel Baier, Mila E. Majster-Cederbaum
1996 J jnl
Denotational Linear Time Semantics and Sequential Composition.
Inf. Process. Lett.
Christel Baier, Mila E. Majster-Cederbaum
1996 J jnl
Metric Completion versus Ideal Completion.
Theor. Comput. Sci.
Mila E. Majster-Cederbaum, Christel Baier
1996 — conf
On topological hierarchies of temporal properties.
Partial Order Methods in Verification
Christel Baier, Marta Z. Kwiatkowska
1996 A* conf
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation.
CAV
Christel Baier
1995 — conf
Metric completion versus ideal completion.
STRICT
Mila E. Majster-Cederbaum, Christel Baier
1994 J jnl
Denotational Semantics in the CPO and Metric Approach.
Theor. Comput. Sci.
Christel Baier, Mila E. Majster-Cederbaum
1994 J jnl
The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.
Acta Informatica
Christel Baier, Mila E. Majster-Cederbaum
1991 B conf
The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP.
FCT
Christel Baier, Mila E. Majster-Cederbaum