% csauthors.net - beta - BibTeX bibliography of Christel Baier
@inproceedings{conf/fct/BaierM91,
title = {The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP.},
year = {1991},
booktitle = {FCT},
author = {{Christel Baier} and {Mila E. Majster-Cederbaum}},
publisher = {Springer},
booktitle = {Fundamentals of Computation Theory, 8th International Symposium, FCT '91, Gosen, Germany, September 9-13, 1991, Proceedings}
}
@article{journals/acta/BaierM94,
title = {The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.},
year = {1994},
journal = {Acta Informatica},
author = {{Christel Baier} and {Mila E. Majster-Cederbaum}}
}
@article{journals/tcs/BaierM94,
title = {Denotational Semantics in the CPO and Metric Approach.},
year = {1994},
journal = {Theor. Comput. Sci.},
author = {{Christel Baier} and {Mila E. Majster-Cederbaum}}
}
@inproceedings{conf/amast/BaierM96,
title = {A Categorical Characterization of Consistency Results.},
year = {1996},
booktitle = {AMAST},
author = {{Christel Baier} and {Mila E. Majster-Cederbaum}},
publisher = {Springer},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings}
}
@inproceedings{conf/cav/Baier96,
title = {Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation.},
year = {1996},
booktitle = {CAV},
author = {{Christel Baier}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings}
}
@article{journals/ipl/BaierM96,
title = {Denotational Linear Time Semantics and Sequential Composition.},
year = {1996},
journal = {Inf. Process. Lett.},
author = {{Christel Baier} and {Mila E. Majster-Cederbaum}}
}
@article{journals/tcs/Majster-CederbaumB96,
title = {Metric Completion versus Ideal Completion.},
year = {1996},
journal = {Theor. Comput. Sci.},
author = {{Mila E. Majster-Cederbaum} and {Christel Baier}}
}
@inproceedings{conf/cav/BaierH97,
title = {Weak Bisimulation for Fully Probabilistic Processes.},
year = {1997},
booktitle = {CAV},
author = {{Christel Baier} and {Holger Hermanns}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings}
}
@inproceedings{conf/icalp/BaierCHKR97,
title = {Symbolic Model Checking for Probabilistic Processes.},
year = {1997},
booktitle = {ICALP},
author = {{Christel Baier} and {Edmund M. Clarke} and {Vasiliki Hartonas-Garmhausen} and {Marta Z. Kwiatkowska} and {Mark Ryan 001}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings}
}
@inproceedings{conf/podc/BaierK97,
title = {Automatic Verification of Liveness Properties of Randomized Systems.},
year = {1997},
booktitle = {PODC},
author = {{Christel Baier} and {Marta Z. Kwiatkowska}},
publisher = {ACM},
booktitle = {Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, California, USA, August 21-24, 1997}
}
@article{journals/acta/BaierM97,
title = {Metric Semantics from Partial Order Semantics.},
year = {1997},
journal = {Acta Informatica},
author = {{Christel Baier} and {Mila E. Majster-Cederbaum}}
}
@inproceedings{journals/entcs/BaierK97,
title = {Domain equations for probabilistic processes.},
year = {1997},
booktitle = {EXPRESS},
author = {{Christel Baier} and {Marta Z. Kwiatkowska}},
publisher = {Elsevier},
booktitle = {International Workshop on Expressiveness in Concurrency, EXPRESS 1997, Santa Margherita Ligure, Italy, September 8-12, 1997}
}
@article{journals/fac/BaierM97,
title = {The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach.},
year = {1997},
journal = {Formal Aspects Comput.},
author = {{Christel Baier} and {Mila E. Majster-Cederbaum}}
}
@article{journals/fuin/BaierM97,
title = {How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages.},
year = {1997},
journal = {Fundam. Informaticae},
author = {{Christel Baier} and {Mila E. Majster-Cederbaum}}
}
@article{journals/tcs/Baier97,
title = {Trees and Semantics.},
year = {1997},
journal = {Theor. Comput. Sci.},
author = {{Christel Baier}}
}
@article{journals/dc/BaierK97,
title = {Model Checking for a Probabilistic Branching Time Logic with Fairness.},
year = {1998},
journal = {Distributed Comput.},
author = {{Christel Baier} and {Marta Z. Kwiatkowska}}
}
@inproceedings{journals/entcs/BaierCH99,
title = {On the Semantic Foundations of Probabilistic Synchronous Reactive Programs.},
year = {1998},
booktitle = {PROBMIV},
author = {{Christel Baier} and {Edmund M. Clarke} and {Vasiliki Hartonas-Garmhausen}},
publisher = {Elsevier},
booktitle = {First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998}
}
@inproceedings{journals/entcs/BaierHKR99,
title = {Preface.},
year = {1998},
booktitle = {PROBMIV},
author = {{Christel Baier} and {Michael Huth 001} and {Marta Z. Kwiatkowska} and {Mark Ryan 001}},
publisher = {Elsevier},
booktitle = {First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998}
}
@inproceedings{journals/entcs/BaierKN99,
title = {Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.},
year = {1998},
booktitle = {PROBMIV},
author = {{Christel Baier} and {Marta Z. Kwiatkowska} and {Gethin Norman}},
publisher = {Elsevier},
booktitle = {First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998}
}
@article{journals/ipl/BaierK98,
title = {On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.},
year = {1998},
journal = {Inf. Process. Lett.},
author = {{Christel Baier} and {Marta Z. Kwiatkowska}}
}
@inproceedings{conf/arts/BaierE99,
title = {Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.},
year = {1999},
booktitle = {ARTS},
author = {{Christel Baier} and {Bettina Engelen}},
publisher = {Springer},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings}
}
@inproceedings{conf/concur/BaierKH99,
title = {Approximate Symbolic Model Checking of Continuous-Time Markov Chains.},
year = {1999},
booktitle = {CONCUR},
author = {{Christel Baier} and {Joost-Pieter Katoen} and {Holger Hermanns}},
publisher = {Springer},
booktitle = {CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings}
}
@inproceedings{conf/cav/BaierHHK00,
title = {Model Checking Continuous-Time Markov Chains by Transient Analysis.},
year = {2000},
booktitle = {CAV},
author = {{Christel Baier} and {Boudewijn R. Haverkort} and {Holger Hermanns} and {Joost-Pieter Katoen}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings}
}
@inproceedings{conf/concur/AbdullaBIJ00,
title = {Reasoning about Probabilistic Lossy Channel Systems.},
year = {2000},
booktitle = {CONCUR},
author = {{Parosh Aziz Abdulla} and {Christel Baier} and {S. Purushothaman Iyer} and {Bengt Jonsson 001}},
publisher = {Springer},
booktitle = {CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings}
}
@inproceedings{conf/fossacs/BaierS00,
title = {Norm Functions for Probabilistic Bisimulations with Delays.},
year = {2000},
booktitle = {FoSSaCS},
author = {{Christel Baier} and {Mariëlle Stoelinga}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}
}
@inproceedings{conf/icalp/BaierHHK00,
title = {On the Logical Characterisation of Performability Properties.},
year = {2000},
booktitle = {ICALP},
author = {{Christel Baier} and {Boudewijn R. Haverkort} and {Holger Hermanns} and {Joost-Pieter Katoen}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings}
}
@article{journals/fuin/BaierK00,
title = {On Topological Hierarchies of Temporal Properties.},
year = {2000},
journal = {Fundam. Informaticae},
author = {{Christel Baier} and {Marta Z. Kwiatkowska}}
}
@article{journals/jcss/BaierEM00,
title = {Deciding Bisimilarity and Similarity for Probabilistic Processes.},
year = {2000},
journal = {J. Comput. Syst. Sci.},
author = {{Christel Baier} and {Bettina Engelen} and {Mila E. Majster-Cederbaum}}
}
@inproceedings{conf/cav/AsterothBA01,
title = {Model Checking with Formula-Dependent Abstract Models.},
year = {2001},
booktitle = {CAV},
author = {{Alexander Asteroth} and {Christel Baier} and {Ulrich Aßmann}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings}
}
@article{journals/tcs/KatoenBL01,
title = {Metric semantics for true concurrent real time.},
year = {2001},
journal = {Theor. Comput. Sci.},
author = {{Joost-Pieter Katoen} and {Christel Baier} and {Diego Latella}}
}
@book{books/daglib/0007100,
title = {Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen.},
year = {2002},
isbn = {978-3-8273-7033-4},
publisher = {Pearson Studium},
author = {{Alexander Asteroth} and {Christel Baier}}
}
@inproceedings{conf/concur/BaierKHH02,
title = {Simulation for Continuous-Time Markov Chains.},
year = {2002},
booktitle = {CONCUR},
author = {{Christel Baier} and {Joost-Pieter Katoen} and {Holger Hermanns} and {Boudewijn R. Haverkort}},
publisher = {Springer},
booktitle = {CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings}
}
@inproceedings{conf/dsn/HaverkortCHK02,
title = {Model Checking Performability Properties.},
year = {2002},
booktitle = {DSN},
author = {{Boudewijn R. Haverkort} and {Lucia Cloth} and {Holger Hermanns} and {Joost-Pieter Katoen} and {Christel Baier}},
publisher = {IEEE Computer Society},
booktitle = {2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings}
}
@inproceedings{conf/performance/BaierHHK02,
title = {Automated Performance and Dependability Evaluation Using Model Checking.},
year = {2002},
booktitle = {Performance},
author = {{Christel Baier} and {Boudewijn R. Haverkort} and {Holger Hermanns} and {Joost-Pieter Katoen}},
publisher = {Springer},
booktitle = {Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures}
}
@inproceedings{conf/concur/BaierHKW03,
title = {Comparative Branching-Time Semantics.},
year = {2003},
booktitle = {CONCUR},
author = {{Christel Baier} and {Holger Hermanns} and {Joost-Pieter Katoen} and {Verena Wolf}},
publisher = {Springer},
booktitle = {CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings}
}
@inproceedings{journals/entcs/ArbabBRS04,
title = {Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).},
year = {2003},
booktitle = {FOCLASA},
author = {{Farhad Arbab} and {Christel Baier} and {Jan J. M. M. Rutten} and {Marjan Sirjani}},
publisher = {Elsevier},
booktitle = {Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003}
}
@article{journals/tse/BaierHHK03,
title = {Model-Checking Algorithms for Continuous-Time Markov Chains.},
year = {2003},
journal = {IEEE Trans. Software Eng.},
author = {{Christel Baier} and {Boudewijn R. Haverkort} and {Holger Hermanns} and {Joost-Pieter Katoen}}
}
@inproceedings{conf/dsn/BaierCHKS04,
title = {Model Checking Action- and State-Labelled Markov Chains.},
year = {2004},
booktitle = {DSN},
author = {{Christel Baier} and {Lucia Cloth} and {Boudewijn R. Haverkort} and {Matthias Kuntz} and {Markus Siegle}},
publisher = {IEEE Computer Society},
booktitle = {2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings}
}
@inproceedings{conf/ifipTCS/BolligC04,
title = {Controller Synthesis for Probabilistic Systems.},
year = {2004},
booktitle = {IFIP TCS},
author = {{Christel Baier} and {Marcus Größer} and {Martin Leucker} and {Benedikt Bollig} and {Frank Ciesinski}},
publisher = {Kluwer/Springer},
booktitle = {Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}
}
@inproceedings{conf/memocode/BaierCG04,
title = {PROBMELA: a modeling language for communicating probabilistic processes.},
year = {2004},
booktitle = {MEMOCODE},
author = {{Christel Baier} and {Frank Ciesinski} and {Marcus Größer}},
publisher = {IEEE Computer Society},
booktitle = {2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings}
}
@inproceedings{conf/qest/BaierGC04,
title = {Partial Order Reduction for Probabilistic Systems.},
year = {2004},
booktitle = {QEST},
author = {{Christel Baier} and {Marcus Größer} and {Frank Ciesinski}},
publisher = {IEEE Computer Society},
booktitle = {1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands}
}
@inproceedings{conf/sefm/ArbabBBR04,
title = {Models and Temporal Logics for Timed Component Connectors.},
year = {2004},
booktitle = {SEFM},
author = {{Farhad Arbab} and {Christel Baier} and {Frank S. de Boer} and {Jan J. M. M. Rutten}},
publisher = {IEEE Computer Society},
booktitle = {2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China}
}
@article{journals/ipl/BaierHK04,
title = {Probabilistic weak simulation is decidable in polynomial time.},
year = {2004},
journal = {Inf. Process. Lett.},
author = {{Christel Baier} and {Holger Hermanns} and {Joost-Pieter Katoen}}
}
@inproceedings{conf/coordination/ArbabBBRS05,
title = {Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.},
year = {2005},
booktitle = {COORDINATION},
author = {{Farhad Arbab} and {Christel Baier} and {Frank S. de Boer} and {Jan J. M. M. Rutten} and {Marjan Sirjani}},
publisher = {Springer},
booktitle = {Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings}
}
@inproceedings{conf/fmco/GroesserB05,
title = {Partial Order Reduction for Markov Decision Processes: A Survey.},
year = {2005},
booktitle = {FMCO},
author = {{Marcus Größer} and {Christel Baier}},
publisher = {Springer},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures}
}
@inproceedings{conf/fmics/BaierCG05,
title = {Quantitative analysis of distributed randomized protocols.},
year = {2005},
booktitle = {FMICS},
author = {{Christel Baier} and {Frank Ciesinski} and {Marcus Größer}},
publisher = {ACM},
booktitle = {Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005}
}
@inproceedings{conf/foga/LendersB05,
title = {Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams.},
year = {2005},
booktitle = {FOGA},
author = {{Wolfgang Lenders} and {Christel Baier}},
publisher = {Springer},
booktitle = {Foundations of Genetic Algorithms, 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers}
}
@inproceedings{conf/lics/BaierG05,
title = {Recognizing omega-regular Languages with Probabilistic Automata.},
year = {2005},
booktitle = {LICS},
author = {{Christel Baier} and {Marcus Größer}},
publisher = {IEEE Computer Society},
booktitle = {20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings}
}
@inproceedings{conf/wia/KleinB05,
title = {Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.},
year = {2005},
booktitle = {CIAA},
author = {{Joachim Klein 001} and {Christel Baier}},
publisher = {Springer},
booktitle = {Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers}
}
@article{journals/corr/abs-cs-0511023,
title = {Verifying nondeterministic probabilistic channel systems against \$\\omega\$-regular linear-time properties},
year = {2005},
journal = {CoRR},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Philippe Schnoebelen}}
}
@inproceedings{journals/entcs/BaierDG06,
title = {Partial Order Reduction for Probabilistic Branching Time.},
year = {2005},
booktitle = {QAPL},
author = {{Christel Baier} and {Pedro R. D'Argenio} and {Marcus Größer}},
publisher = {Elsevier},
booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005}
}
@inproceedings{journals/entcs/BaierHKW06,
title = {Bisimulation and Simulation Relations for Markov Chains.},
year = {2005},
booktitle = {APC 25},
author = {{Christel Baier} and {Holger Hermanns} and {Joost-Pieter Katoen} and {Verena Wolf}},
publisher = {Elsevier},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", APC 25, Bertinoro, Italy, August 1-5, 2005}
}
@inproceedings{journals/entcs/OssowskiB06,
title = {Symbolic Reasoning with Weighted and Normalized Decision Diagrams.},
year = {2005},
booktitle = {Calculemus},
author = {{Jörn Ossowski} and {Christel Baier}},
publisher = {Elsevier},
booktitle = {Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005}
}
@inproceedings{journals/entcs/WolfBM06,
title = {Trace Machines for Observing Continuous-Time Markov Chains.},
year = {2005},
booktitle = {QAPL},
author = {{Verena Wolf} and {Christel Baier} and {Mila E. Majster-Cederbaum}},
publisher = {Elsevier},
booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005}
}
@article{journals/iandc/AbdullaBIJ05,
title = {Simulating perfect channels with probabilistic lossy channels.},
year = {2005},
journal = {Inf. Comput.},
author = {{Parosh Aziz Abdulla} and {Christel Baier} and {S. Purushothaman Iyer} and {Bengt Jonsson 001}}
}
@article{journals/iandc/BaierKHW05,
title = {Comparative branching-time semantics for Markov chains.},
year = {2005},
journal = {Inf. Comput.},
author = {{Christel Baier} and {Joost-Pieter Katoen} and {Holger Hermanns} and {Verena Wolf}}
}
@article{journals/jucs/Baier05,
title = {Probabilistic Models for Reo Connector Circuits.},
year = {2005},
journal = {J. Univers. Comput. Sci.},
author = {{Christel Baier}}
}
@article{journals/sigmetrics/BaierCG05,
title = {ProbMela and verification of Markov decision processes.},
year = {2005},
journal = {SIGMETRICS Perform. Evaluation Rev.},
author = {{Christel Baier} and {Frank Ciesinski} and {Marcus Größer}}
}
@article{journals/sigmetrics/BaierHHK05,
title = {Model checking meets performance evaluation.},
year = {2005},
journal = {SIGMETRICS Perform. Evaluation Rev.},
author = {{Christel Baier} and {Boudewijn R. Haverkort} and {Holger Hermanns} and {Joost-Pieter Katoen}}
}
@article{journals/tcs/BaierHKH05,
title = {Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.},
year = {2005},
journal = {Theor. Comput. Sci.},
author = {{Christel Baier} and {Holger Hermanns} and {Joost-Pieter Katoen} and {Boudewijn R. Haverkort}}
}
@inproceedings{conf/coordination/BaierW06,
title = {Stochastic Reasoning About Channel-Based Component Connectors.},
year = {2006},
booktitle = {COORDINATION},
author = {{Christel Baier} and {Verena Wolf}},
publisher = {Springer},
booktitle = {Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings}
}
@inproceedings{conf/coordination/SirjaniJBA06,
title = {Compositional Semantics of an Actor-Based Language Using Constraint Automata.},
year = {2006},
booktitle = {COORDINATION},
author = {{Marjan Sirjani} and {Mohammad Mahdi Jaghoori} and {Christel Baier} and {Farhad Arbab}},
publisher = {Springer},
booktitle = {Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings}
}
@inproceedings{conf/forte/BaierBS06,
title = {Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.},
year = {2006},
booktitle = {FORTE},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Philippe Schnoebelen}},
publisher = {Springer},
booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006.}
}
@inproceedings{conf/fsttcs/GrosserNBCKP06,
title = {On Reduction Criteria for Probabilistic Reward Models.},
year = {2006},
booktitle = {FSTTCS},
author = {{Marcus Größer} and {Gethin Norman} and {Christel Baier} and {Frank Ciesinski} and {Marta Z. Kwiatkowska} and {David Parker 001}},
publisher = {Springer},
booktitle = {FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings}
}
@inproceedings{conf/lpar/BaierBS06,
title = {On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems.},
year = {2006},
booktitle = {LPAR},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Philippe Schnoebelen}},
publisher = {Springer},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings}
}
@inproceedings{conf/qest/CiesinskiB06,
title = {LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.},
year = {2006},
booktitle = {QEST},
author = {{Frank Ciesinski} and {Christel Baier}},
publisher = {IEEE Computer Society},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA}
}
@inproceedings{journals/entcs/KluppelholzB07,
title = {Symbolic Model Checking for Channel-based Component Connectors.},
year = {2006},
booktitle = {FOCLASA},
author = {{Sascha Klüppelholz} and {Christel Baier}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006}
}
@inproceedings{journals/entcs/WolfBM06a,
title = {Trace Semantics for Stochastic Systems with Nondeterminism.},
year = {2006},
booktitle = {QAPL},
author = {{Verena Wolf} and {Christel Baier} and {Mila E. Majster-Cederbaum}},
publisher = {Elsevier},
booktitle = {Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Vienna, Austria, April 1-2, 2006}
}
@article{journals/ipl/BaierBS06,
title = {A note on the attractor-property of infinite-state Markov chains.},
year = {2006},
journal = {Inf. Process. Lett.},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Philippe Schnoebelen}}
}
@article{journals/scp/BaierSAR06,
title = {Modeling component connectors in Reo by constraint automata.},
year = {2006},
journal = {Sci. Comput. Program.},
author = {{Christel Baier} and {Marjan Sirjani} and {Farhad Arbab} and {Jan J. M. M. Rutten}}
}
@article{journals/tcs/KleinB06,
title = {Experiments with deterministic omega-automata for formulas of linear temporal logic.},
year = {2006},
journal = {Theor. Comput. Sci.},
author = {{Joachim Klein 001} and {Christel Baier}}
}
@inproceedings{conf/fsttcs/BaierBBBG07,
title = {Probabilistic and Topological Semantics for Timed Automata.},
year = {2007},
booktitle = {FSTTCS},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Patricia Bouyer} and {Thomas Brihaye} and {Marcus Größer}},
publisher = {Springer},
booktitle = {FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings}
}
@inproceedings{conf/sigsoft/ArbabB07,
title = {Syanco 2007: international workshop on synthesis and analysis of component connectors.},
year = {2007},
booktitle = {ESEC/SIGSOFT FSE},
author = {{Farhad Arbab} and {Christel Baier}},
publisher = {ACM},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007}
}
@inproceedings{conf/wia/KleinB07,
title = {On-the-Fly Stuttering in the Construction of Deterministic omega -Automata.},
year = {2007},
booktitle = {CIAA},
author = {{Joachim Klein 001} and {Christel Baier}},
publisher = {Springer},
booktitle = {Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers}
}
@inproceedings{journals/entcs/BlechmannB08,
title = {Checking Equivalence for Reo Networks.},
year = {2007},
booktitle = {FACS},
author = {{Tobias Blechmann 001} and {Christel Baier}},
publisher = {Elsevier},
booktitle = {Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007}
}
@article{journals/sosym/ArbabBBR07,
title = {Models and temporal logical specifications for timed component connectors.},
year = {2007},
journal = {Softw. Syst. Model.},
author = {{Farhad Arbab} and {Christel Baier} and {Frank S. de Boer} and {Jan J. M. M. Rutten}}
}
@article{journals/tocl/BaierBS07,
title = {Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.},
year = {2007},
journal = {ACM Trans. Comput. Log.},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Philippe Schnoebelen}}
}
@article{journals/tse/BaierCHKS07,
title = {Model Checking Markov Chains with Actions and State Labels.},
year = {2007},
journal = {IEEE Trans. Software Eng.},
author = {{Christel Baier} and {Lucia Cloth} and {Boudewijn R. Haverkort} and {Matthias Kuntz} and {Markus Siegle}}
}
@book{books/daglib/0020348,
title = {Principles of model checking.},
year = {2008},
isbn = {978-0-262-02649-9},
publisher = {MIT Press},
author = {{Christel Baier} and {Joost-Pieter Katoen}}
}
@inproceedings{conf/birthday/BaierHHK08,
title = {Reachability in continuous-time Markov reward decision processes.},
year = {2008},
booktitle = {Logic and Automata},
author = {{Christel Baier} and {Boudewijn R. Haverkort} and {Holger Hermanns} and {Joost-Pieter Katoen}},
publisher = {Amsterdam University Press},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].}
}
@inproceedings{conf/fmco/BaierBKK08,
title = {Formal Verification for Components and Connectors.},
year = {2008},
booktitle = {FMCO},
author = {{Christel Baier} and {Tobias Blechmann 001} and {Joachim Klein 001} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures}
}
@inproceedings{conf/fossacs/BaierBG08,
title = {On Decision Problems for Probabilistic Büchi Automata.},
year = {2008},
booktitle = {FoSSaCS},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Marcus Größer}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings}
}
@inproceedings{conf/lics/BaierBBBG08,
title = {Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.},
year = {2008},
booktitle = {LICS},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Patricia Bouyer} and {Thomas Brihaye} and {Marcus Größer}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA}
}
@inproceedings{conf/qest/CiesinskiBGK08,
title = {Reduction Techniques for Model Checking Markov Decision Processes.},
year = {2008},
booktitle = {QEST},
author = {{Frank Ciesinski} and {Christel Baier} and {Marcus Größer} and {Joachim Klein 001}},
publisher = {IEEE Computer Society},
booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France}
}
@inproceedings{conf/spin/CiesinskiBGP08,
title = {Generating Compact MTBDD-Representations from ProbmelaSpecifications.},
year = {2008},
booktitle = {SPIN},
author = {{Frank Ciesinski} and {Christel Baier} and {Marcus Größer} and {David Parker 001}},
publisher = {Springer},
booktitle = {Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings}
}
@inproceedings{journals/entcs/AldiniB08,
title = {Preface.},
year = {2008},
booktitle = {QAPL},
author = {{Alessandro Aldini} and {Christel Baier}},
publisher = {Elsevier},
booktitle = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008}
}
@inproceedings{journals/entcs/ArbabSB09,
title = {Synthesis of Reo Circuits from Scenario-based Specifications.},
year = {2008},
booktitle = {FOCLASA@ICALP},
author = {{Farhad Arbab} and {Sun Meng} and {Christel Baier}},
publisher = {Elsevier},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008}
}
@article{journals/iandc/BaierH08,
title = {Special issue: CONCUR 2006.},
year = {2008},
journal = {Inf. Comput.},
author = {{Christel Baier} and {Holger Hermanns}}
}
@article{journals/sttt/OssowskiB08,
title = {A uniform framework for weighted decision diagrams and its implementation.},
year = {2008},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Jörn Ossowski} and {Christel Baier}}
}
@inproceedings{conf/atva/BaierGC09,
title = {Quantitative Analysis under Fairness Constraints.},
year = {2009},
booktitle = {ATVA},
author = {{Christel Baier} and {Marcus Größer} and {Frank Ciesinski}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings}
}
@inproceedings{conf/concur/BaierBG09,
title = {The Effect of Tossing Coins in Omega-Automata.},
year = {2009},
booktitle = {CONCUR},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Marcus Größer}},
publisher = {Springer},
booktitle = {CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings}
}
@inproceedings{conf/coordination/BaierBKK09,
title = {A Uniform Framework for Modeling and Verifying Components and Connectors.},
year = {2009},
booktitle = {COORDINATION},
author = {{Christel Baier} and {Tobias Blechmann 001} and {Joachim Klein 001} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings}
}
@inproceedings{conf/fmco/GrabeJKKSBBABG09,
title = {The Credo Methodology - (Extended Version).},
year = {2009},
booktitle = {FMCO},
author = {{Immo Grabe} and {Mohammad Mahdi Jaghoori} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Andries Stam} and {Christel Baier} and {Tobias Blechmann 001} and {Bernhard K. Aichernig} and {Frank S. de Boer} and {Andreas Griesmayer}},
publisher = {Springer},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers}
}
@inproceedings{conf/fsttcs/TracolBG09,
title = {Recurrence and Transience for Probabilistic Automata.},
year = {2009},
booktitle = {FSTTCS},
author = {{Mathieu Tracol} and {Christel Baier} and {Marcus Größer}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India}
}
@inproceedings{conf/icalp/BaierBBB09,
title = {When Are Timed Automata Determinizable?},
year = {2009},
booktitle = {ICALP (2)},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Patricia Bouyer} and {Thomas Brihaye}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II}
}
@inproceedings{conf/sofsem/BaierBG09,
title = {Probabilistic Acceptors for Languages over Infinite Words.},
year = {2009},
booktitle = {SOFSEM},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Marcus Größer}},
publisher = {Springer},
booktitle = {SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings}
}
@inproceedings{journals/corr/abs-0907-4760,
title = {Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability},
year = {2009},
booktitle = {DCFS},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Marcus Größer}},
booktitle = {Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009.}
}
@inproceedings{journals/entcs/BaierP09,
title = {Preface.},
year = {2009},
booktitle = {QAPL},
author = {{Christel Baier} and {Alessandra Di Pierro}},
publisher = {Elsevier},
booktitle = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009}
}
@inproceedings{journals/entcs/GrabeJABBBGJKKKLSSSTXY10,
title = {Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.},
year = {2009},
booktitle = {TTSS},
author = {{Immo Grabe} and {Mohammad Mahdi Jaghoori} and {Bernhard K. Aichernig} and {Christel Baier} and {Tobias Blechmann 001} and {Frank S. de Boer} and {Andreas Griesmayer} and {Einar Broch Johnsen} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Marcel Kyas} and {Wolfgang Leister} and {Rudolf Schlatte} and {Andries Stam} and {Martin Steffen} and {Simon Tschirner} and {Liang Xuedong} and {Wang Yi 001}},
publisher = {Elsevier},
booktitle = {Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009}
}
@inproceedings{conf/dagstuhl/BaierDGL10,
title = {10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis.},
year = {2010},
booktitle = {Quantitative Models: Expressiveness and Analysis},
author = {{Christel Baier} and {Manfred Droste} and {Paul Gastin} and {Kim Guldstrand Larsen}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
booktitle = {Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010}
}
@inproceedings{conf/dagstuhl/BaierDGL10a,
title = {10031 Executive Summary - Quantitative Models: Expressiveness and Analysis.},
year = {2010},
booktitle = {Quantitative Models: Expressiveness and Analysis},
author = {{Christel Baier} and {Manfred Droste} and {Paul Gastin} and {Kim Guldstrand Larsen}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
booktitle = {Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010}
}
@inproceedings{conf/ifm/Baier10,
title = {On Model Checking Techniques for Randomized Distributed Systems.},
year = {2010},
booktitle = {IFM},
author = {{Christel Baier}},
publisher = {Springer},
booktitle = {Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings}
}
@inproceedings{conf/isola/BaierBKKL10,
title = {Design and Verification of Systems with Exogenous Coordination Using Vereofy.},
year = {2010},
booktitle = {ISoLA (2)},
author = {{Christel Baier} and {Tobias Blechmann 001} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Wolfgang Leister}},
publisher = {Springer},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II}
}
@article{journals/cacm/BaierHHK10,
title = {Performance evaluation and model checking join forces.},
year = {2010},
journal = {Commun. ACM},
author = {{Christel Baier} and {Boudewijn R. Haverkort} and {Holger Hermanns} and {Joost-Pieter Katoen}}
}
@article{journals/fmsd/BaierCHHK10,
title = {Performability assessment by model checking of Markov reward models.},
year = {2010},
journal = {Formal Methods Syst. Des.},
author = {{Christel Baier} and {Lucia Cloth} and {Boudewijn R. Haverkort} and {Holger Hermanns} and {Joost-Pieter Katoen}}
}
@article{journals/fmsd/LampkaSOB10,
title = {Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.},
year = {2010},
journal = {Formal Methods Syst. Des.},
author = {{Kai Lampka} and {Markus Siegle} and {Jörn Ossowski} and {Christel Baier}}
}
@article{journals/scp/KluppelholzB10,
title = {Alternating-time stream logic for multi-agent systems.},
year = {2010},
journal = {Sci. Comput. Program.},
author = {{Sascha Klüppelholz} and {Christel Baier}}
}
@inproceedings{conf/concur/BaierKK11,
title = {A Compositional Framework for Controller Synthesis.},
year = {2011},
booktitle = {CONCUR},
author = {{Christel Baier} and {Joachim Klein 001} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings}
}
@inproceedings{conf/fmics/KleinKSB11,
title = {Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.},
year = {2011},
booktitle = {FMICS},
author = {{Joachim Klein 001} and {Sascha Klüppelholz} and {Andries Stam} and {Christel Baier}},
publisher = {Springer},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings}
}
@inproceedings{conf/sfm/BaierKK11,
title = {Modeling and Verification of Components and Connectors.},
year = {2011},
booktitle = {SFM},
author = {{Christel Baier} and {Joachim Klein 001} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures}
}
@article{journals/scp/MengAB11,
title = {Synthesis of Reo circuits from scenario-based interaction specifications.},
year = {2011},
journal = {Sci. Comput. Program.},
author = {{Sun Meng} and {Farhad Arbab} and {Christel Baier}}
}
@inproceedings{conf/fmics/BaierDEHKKMTV12,
title = {Waiting for Locks: How Long Does It Usually Take?},
year = {2012},
booktitle = {FMICS},
author = {{Christel Baier} and {Marcus Daum} and {Benjamin Engel} and {Hermann Härtig} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Steffen Märcker} and {Hendrik Tews} and {Marcus Völp}},
publisher = {Springer},
booktitle = {Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings}
}
@inproceedings{conf/hybrid/ZulianiBC12,
title = {Rare-event verification for stochastic hybrid systems.},
year = {2012},
booktitle = {HSCC},
author = {{Paolo Zuliani} and {Christel Baier} and {Edmund M. Clarke}},
publisher = {ACM},
booktitle = {Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}
}
@inproceedings{conf/qest/DiazBEF12,
title = {Static Partial Order Reduction for Probabilistic Concurrent Systems.},
year = {2012},
booktitle = {QEST},
author = {{Álvaro Fernández Díaz} and {Christel Baier} and {Clara Benac Earle} and {Lars-Åke Fredlund}},
publisher = {IEEE Computer Society},
booktitle = {Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012}
}
@article{journals/acta/BaierBGK12,
title = {Stochastic game logic.},
year = {2012},
journal = {Acta Informatica},
author = {{Christel Baier} and {Tomás Brázdil} and {Marcus Größer} and {Antonín Kucera 001}}
}
@inproceedings{journals/corr/abs-1211-6196,
title = {Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code},
year = {2012},
booktitle = {SSV},
author = {{Christel Baier} and {Marcus Daum} and {Benjamin Engel} and {Hermann Härtig} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Steffen Märcker} and {Hendrik Tews} and {Marcus Völp}},
booktitle = {Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012.}
}
@article{journals/ipl/DubslaffBB12,
title = {Model checking probabilistic systems against pushdown specifications.},
year = {2012},
journal = {Inf. Process. Lett.},
author = {{Clemens Dubslaff} and {Christel Baier} and {Manuela Berg}}
}
@article{journals/jacm/BaierGB12,
title = {Probabilistic ω-automata.},
year = {2012},
journal = {J. ACM},
author = {{Christel Baier} and {Marcus Größer} and {Nathalie Bertrand 001}}
}
@inproceedings{conf/cai/Baier13,
title = {Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata.},
year = {2013},
booktitle = {CAI},
author = {{Christel Baier}},
publisher = {Springer},
booktitle = {Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings}
}
@inproceedings{conf/fossacs/UmmelsB13,
title = {Computing Quantiles in Markov Reward Models.},
year = {2013},
booktitle = {FoSSaCS},
author = {{Michael Ummels} and {Christel Baier}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings}
}
@inproceedings{conf/nfm/BaierEKMTV13,
title = {A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.},
year = {2013},
booktitle = {NASA Formal Methods},
author = {{Christel Baier} and {Benjamin Engel} and {Sascha Klüppelholz} and {Steffen Märcker} and {Hendrik Tews} and {Marcus Völp}},
publisher = {Springer},
booktitle = {NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings}
}
@inproceedings{conf/sc/HilbrichSNPBM13,
title = {Distributed wait state tracking for runtime MPI deadlock detection.},
year = {2013},
booktitle = {SC},
author = {{Tobias Hilbrich} and {Bronis R. de Supinski} and {Wolfgang E. Nagel} and {Joachim Protze} and {Christel Baier} and {Matthias S. Müller}},
publisher = {ACM},
booktitle = {International Conference for High Performance Computing, Networking, Storage and Analysis, SC'13, Denver, CO, USA - November 17 - 21, 2013}
}
@article{journals/fmsd/BaierK13,
title = {Preface to the special issue on Probabilistic Model Checking.},
year = {2013},
journal = {Formal Methods Syst. Des.},
author = {{Christel Baier} and {Marta Z. Kwiatkowska}}
}
@article{journals/mscs/BaierHHHK13,
title = {Model checking for performability.},
year = {2013},
journal = {Math. Struct. Comput. Sci.},
author = {{Christel Baier} and {Ernst Moritz Hahn} and {Boudewijn R. Haverkort} and {Holger Hermanns} and {Joost-Pieter Katoen}}
}
@inproceedings{conf/aosd/DubslaffKB14,
title = {Probabilistic model checking for energy analysis in software product lines.},
year = {2014},
booktitle = {MODULARITY},
author = {{Clemens Dubslaff} and {Sascha Klüppelholz} and {Christel Baier}},
publisher = {ACM},
booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014}
}
@inproceedings{conf/apn/BaierDKL14,
title = {Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.},
year = {2014},
booktitle = {Petri Nets},
author = {{Christel Baier} and {Clemens Dubslaff} and {Sascha Klüppelholz} and {Linda Leuschner}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings}
}
@inproceedings{conf/birthday/BaierDKKW14,
title = {Probabilistic Model Checking for Energy-Utility Analysis.},
year = {2014},
booktitle = {Horizons of the Mind},
author = {{Christel Baier} and {Clemens Dubslaff} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Sascha Wunderlich}},
publisher = {Springer},
booktitle = {Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday}
}
@inproceedings{conf/csl/BaierDK14,
title = {Trade-off analysis meets probabilistic model checking.},
year = {2014},
booktitle = {CSL-LICS},
author = {{Christel Baier} and {Clemens Dubslaff} and {Sascha Klüppelholz}},
publisher = {ACM},
booktitle = {Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014}
}
@inproceedings{conf/csl/BaierKKW14,
title = {Weight monitoring with linear temporal logic: complexity and decidability.},
year = {2014},
booktitle = {CSL-LICS},
author = {{Christel Baier} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Sascha Wunderlich}},
publisher = {ACM},
booktitle = {Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014}
}
@inproceedings{conf/fase/BaierDKDKMW14,
title = {Probabilistic Model Checking and Non-standard Multi-objective Reasoning.},
year = {2014},
booktitle = {FASE},
author = {{Christel Baier} and {Clemens Dubslaff} and {Sascha Klüppelholz} and {Marcus Daum} and {Joachim Klein 001} and {Steffen Märcker} and {Sascha Wunderlich}},
publisher = {Springer},
booktitle = {Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings}
}
@inproceedings{conf/lata/KleinMBK14,
title = {Are Good-for-Games Automata Good for Probabilistic Model Checking?},
year = {2014},
booktitle = {LATA},
author = {{Joachim Klein 001} and {David Müller 001} and {Christel Baier} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings}
}
@inproceedings{conf/nfm/BaierDDKK14,
title = {Energy-Utility Quantiles.},
year = {2014},
booktitle = {NASA Formal Methods},
author = {{Christel Baier} and {Marcus Daum} and {Clemens Dubslaff} and {Joachim Klein 001} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings}
}
@inproceedings{conf/tacas/BaierKKM14,
title = {Computing Conditional Probabilities in Markovian Models Efficiently.},
year = {2014},
booktitle = {TACAS},
author = {{Christel Baier} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Steffen Märcker}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings}
}
@article{journals/corr/BertrandBBMBGJ14,
title = {Stochastic Timed Automata.},
year = {2014},
journal = {Log. Methods Comput. Sci.},
author = {{Nathalie Bertrand 001} and {Patricia Bouyer} and {Thomas Brihaye} and {Quentin Menet} and {Christel Baier} and {Marcus Größer} and {Marcin Jurdzinski}}
}
@article{journals/fuin/BaierKK14,
title = {Synthesis of Reo Connectors for Strategies and Controllers.},
year = {2014},
journal = {Fundam. Informaticae},
author = {{Christel Baier} and {Joachim Klein 001} and {Sascha Klüppelholz}}
}
@inproceedings{conf/formats/DubslaffB15,
title = {Quantitative Analysis of Communication Scenarios.},
year = {2015},
booktitle = {FORMATS},
author = {{Clemens Dubslaff} and {Christel Baier}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings}
}
@inproceedings{conf/mfcs/KrahmannSBD15,
title = {Ratio and Weight Quantiles.},
year = {2015},
booktitle = {MFCS (1)},
author = {{Daniel Krähmann} and {Jana Schubert} and {Christel Baier} and {Clemens Dubslaff}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I}
}
@inproceedings{conf/rp/Baier15,
title = {Reasoning About Cost-Utility Constraints in Probabilistic Models.},
year = {2015},
booktitle = {RP},
author = {{Christel Baier}},
publisher = {Springer},
booktitle = {Reachability Problems - 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}
}
@article{journals/acta/0001BK15,
title = {Compositional construction of most general controllers.},
year = {2015},
journal = {Acta Informatica},
author = {{Joachim Klein 001} and {Christel Baier} and {Sascha Klüppelholz}}
}
@article{journals/jcss/BaierDEHKKMTV15,
title = {Locks: Picking key methods for a scalable quantitative analysis.},
year = {2015},
journal = {J. Comput. Syst. Sci.},
author = {{Christel Baier} and {Marcus Daum} and {Benjamin Engel} and {Hermann Härtig} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Steffen Märcker} and {Hendrik Tews} and {Marcus Völp}}
}
@article{journals/taosd/DubslaffBK14,
title = {Probabilistic Model Checking for Feature-Oriented Systems.},
year = {2015},
journal = {LNCS Trans. Aspect Oriented Softw. Dev.},
author = {{Clemens Dubslaff} and {Christel Baier} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {Transactions on Aspect-Oriented Software Development XII}
}
@inproceedings{conf/atva/BaierKMNW16,
title = {Greener Bits: Formal Analysis of Demand Response.},
year = {2016},
booktitle = {ATVA},
author = {{Christel Baier} and {Sascha Klüppelholz} and {Hermann de Meer} and {Florian Niedermeier} and {Sascha Wunderlich}},
booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings}
}
@inproceedings{conf/birthday/ChrszonDB0K16,
title = {Modeling Role-Based Systems with Exogenous Coordination.},
year = {2016},
booktitle = {Theory and Practice of Formal Methods},
author = {{Philipp Chrszon} and {Clemens Dubslaff} and {Christel Baier} and {Joachim Klein 001} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday}
}
@inproceedings{conf/cav/BaierK0K0W16,
title = {Markov Chains and Unambiguous Büchi Automata.},
year = {2016},
booktitle = {CAV (1)},
author = {{Christel Baier} and {Stefan Kiefer} and {Joachim Klein 001} and {Sascha Klüppelholz} and {David Müller 001} and {James Worrell 001}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I}
}
@inproceedings{conf/fase/ChrszonDKB16,
title = {Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.},
year = {2016},
booktitle = {FASE},
author = {{Philipp Chrszon} and {Clemens Dubslaff} and {Sascha Klüppelholz} and {Christel Baier}},
publisher = {Springer},
booktitle = {Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}
}
@inproceedings{conf/icalp/GburekBK16,
title = {Composition of Stochastic Transition Systems Based on Spans and Couplings.},
year = {2016},
booktitle = {ICALP},
author = {{Daniel Gburek} and {Christel Baier} and {Sascha Klüppelholz}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy}
}
@inproceedings{conf/tacas/0001BCDDKM016,
title = {Advances in Symbolic Probabilistic Model Checking with PRISM.},
year = {2016},
booktitle = {TACAS},
author = {{Joachim Klein 001} and {Christel Baier} and {Philipp Chrszon} and {Marcus Daum} and {Clemens Dubslaff} and {Sascha Klüppelholz} and {Steffen Märcker} and {David Müller 001}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}
}
@inproceedings{conf/tase/Baier16,
title = {Cost-Utility Analysis in Probabilistic Models.},
year = {2016},
booktitle = {TASE},
author = {{Christel Baier}},
publisher = {IEEE Computer Society},
booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016}
}
@incollection{series/natosec/Baier16,
title = {Probabilistic Model Checking.},
year = {2016},
booktitle = {Dependable Software Systems Engineering},
author = {{Christel Baier}},
publisher = {IOS Press},
booktitle = {Dependable Software Systems Engineering}
}
@inproceedings{conf/atva/BaierDKKR17,
title = {Synthesis of Optimal Resilient Control Strategies.},
year = {2017},
booktitle = {ATVA},
author = {{Christel Baier} and {Clemens Dubslaff} and {Lubos Korenciak} and {Antonín Kucera 001} and {Vojtech Rehák}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings}
}
@inproceedings{conf/birthday/BaierKW17,
title = {Towards Automated Variant Selection for Heterogeneous Tiled Architectures.},
year = {2017},
booktitle = {Models, Algorithms, Logics and Tools},
author = {{Christel Baier} and {Sascha Klüppelholz} and {Sascha Wunderlich}},
publisher = {Springer},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday}
}
@inproceedings{conf/birthday/DubslaffB17,
title = {Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs.},
year = {2017},
booktitle = {ModelEd, TestEd, TrustEd},
author = {{Clemens Dubslaff} and {Christel Baier}},
publisher = {Springer},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday}
}
@inproceedings{conf/cav/Baier0L0W17,
title = {Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.},
year = {2017},
booktitle = {CAV (1)},
author = {{Christel Baier} and {Joachim Klein 001} and {Linda Leuschner} and {David Parker 001} and {Sascha Wunderlich}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I}
}
@inproceedings{conf/hotos/LeuschnerKSBHK17,
title = {Towards Automated Configuration of Systems with Non-Functional Constraints.},
year = {2017},
booktitle = {HotOS},
author = {{Linda Leuschner} and {Martin Küttler} and {Tobias Stumpf} and {Christel Baier} and {Hermann Härtig} and {Sascha Klüppelholz}},
publisher = {ACM},
booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017}
}
@inproceedings{conf/sefm/MarckerB0K17,
title = {Computing Conditional Probabilities: Implementation and Evaluation.},
year = {2017},
booktitle = {SEFM},
author = {{Steffen Märcker} and {Christel Baier} and {Joachim Klein 001} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings}
}
@inproceedings{conf/tacas/Baier0KW17,
title = {Maximizing the Conditional Expected Reward for Reaching the Goal.},
year = {2017},
booktitle = {TACAS (2)},
author = {{Christel Baier} and {Joachim Klein 001} and {Sascha Klüppelholz} and {Sascha Wunderlich}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II}
}
@article{journals/acta/BaierT17,
title = {Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).},
year = {2017},
journal = {Acta Informatica},
author = {{Christel Baier} and {Cesare Tinelli}}
}
@article{journals/corr/BaierDKR17,
title = {Synthesis of Optimal Resilient Control Strategies.},
year = {2017},
journal = {CoRR},
author = {{Christel Baier} and {Clemens Dubslaff} and {Lubos Korenciak} and {Vojtech Rehák}}
}
@inproceedings{journals/corr/abs-1709-02093,
title = {Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination.},
year = {2017},
booktitle = {GandALF},
author = {{Lisa Hutschenreiter} and {Christel Baier} and {Joachim Klein 001}},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017.}
}
@article{journals/sttt/BaierT17,
title = {Some advances in tools and algorithms for the construction and analysis of systems.},
year = {2017},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Christel Baier} and {Cesare Tinelli}}
}
@inproceedings{conf/birthday/BaierCD0K18,
title = {Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.},
year = {2018},
booktitle = {It's All About Coordination},
author = {{Christel Baier} and {Philipp Chrszon} and {Clemens Dubslaff} and {Joachim Klein 001} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab}
}
@inproceedings{conf/epew/HerrmannBFKN18,
title = {Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.},
year = {2018},
booktitle = {EPEW},
author = {{Linda Herrmann} and {Christel Baier} and {Christof Fetzer} and {Sascha Klüppelholz} and {Markus Napierkowski}},
publisher = {Springer},
booktitle = {Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings}
}
@inproceedings{conf/hybrid/GburekB18,
title = {Bisimulations, logics, and trace distributions for stochastic systems with rewards.},
year = {2018},
booktitle = {HSCC},
author = {{Daniel Gburek} and {Christel Baier}},
publisher = {ACM},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018}
}
@inproceedings{conf/lics/Baier0DGS18,
title = {Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes.},
year = {2018},
booktitle = {LICS},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Clemens Dubslaff} and {Daniel Gburek} and {Ocan Sankur}},
publisher = {ACM},
booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018}
}
@article{journals/fac/ChrszonDKB18,
title = {ProFeat: feature-oriented engineering for family-based probabilistic model checking.},
year = {2018},
journal = {Formal Aspects Comput.},
author = {{Philipp Chrszon} and {Clemens Dubslaff} and {Sascha Klüppelholz} and {Christel Baier}}
}
@article{journals/ploscb/KromerMLBF18,
title = {Decision making improves sperm chemotaxis in the presence of noise.},
year = {2018},
journal = {PLoS Comput. Biol.},
author = {{Justus A. Kromer} and {Steffen Märcker} and {Steffen Lange} and {Christel Baier} and {Benjamin M. Friedrich}}
}
@article{journals/siglog/BaierD18,
title = {From verification to synthesis under cost-utility constraints.},
year = {2018},
journal = {ACM SIGLOG News},
author = {{Christel Baier} and {Clemens Dubslaff}}
}
@article{journals/sttt/KleinBCDDKMM18,
title = {Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.},
year = {2018},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Joachim Klein 001} and {Christel Baier} and {Philipp Chrszon} and {Marcus Daum} and {Clemens Dubslaff} and {Sascha Klüppelholz} and {Steffen Märcker} and {David Müller 001}}
}
@article{journals/tmscs/CastrillonLKVAA18,
title = {A Hardware/Software Stack for Heterogeneous Systems.},
year = {2018},
journal = {IEEE Trans. Multi Scale Comput. Syst.},
author = {{Jerónimo Castrillón} and {Matthias Lieber} and {Sascha Klüppelholz} and {Marcus Völp} and {Nils Asmussen} and {Uwe Aßmann} and {Franz Baader} and {Christel Baier} and {Gerhard P. Fettweis} and {Jochen Fröhlich} and {Andrés Goens} and {Sebastian Haas} and {Dirk Habich} and {Hermann Härtig} and {Mattis Hasler} and {Immo Huismann} and {Tomas Karnagel} and {Sven Karol} and {Akash Kumar 001} and {Wolfgang Lehner} and {Linda Leuschner} and {Siqi Ling} and {Steffen Märcker} and {Christian Menard} and {Johannes Mey} and {Wolfgang E. Nagel} and {Benedikt Nöthen} and {Rafael Peñaloza} and {Michael Raitza} and {Jörg Stiller} and {Annett Ungethüm} and {Axel Voigt} and {Sascha Wunderlich}}
}
@incollection{reference/mc/BaierAFK18,
title = {Model Checking Probabilistic Systems.},
year = {2018},
booktitle = {Handbook of Model Checking},
author = {{Christel Baier} and {Luca de Alfaro} and {Vojtech Forejt} and {Marta Kwiatkowska}},
publisher = {Springer},
booktitle = {Handbook of Model Checking.}
}
@inproceedings{conf/atva/BaierBD00S19,
title = {Generic Emptiness Check for Fun and Profit.},
year = {2019},
booktitle = {ATVA},
author = {{Christel Baier} and {Frantisek Blahoudek} and {Alexandre Duret-Lutz} and {Joachim Klein 001} and {David Müller 001} and {Jan Strejcek}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings}
}
@inproceedings{conf/epew/SardarDKBK19,
title = {Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.},
year = {2019},
booktitle = {EPEW},
author = {{Muhammad Usama Sardar} and {Clemens Dubslaff} and {Sascha Klüppelholz} and {Christel Baier} and {Akash Kumar 001}},
publisher = {Springer},
booktitle = {Computer Performance Engineering - 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers}
}
@inproceedings{conf/fossacs/PiribauerB19,
title = {Partial and Conditional Expectations in Markov Decision Processes with Integer Weights.},
year = {2019},
booktitle = {FoSSaCS},
author = {{Jakob Piribauer} and {Christel Baier}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings}
}
@inproceedings{conf/lics/Baier0PS19,
title = {Long-run Satisfaction of Path Properties.},
year = {2019},
booktitle = {LICS},
author = {{Christel Baier} and {Nathalie Bertrand 001} and {Jakob Piribauer} and {Ocan Sankur}},
publisher = {IEEE},
booktitle = {34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019}
}
@article{journals/corr/abs-1912-05364,
title = {Breaking the Limits of Redundancy Systems Analysis.},
year = {2019},
journal = {CoRR},
author = {{Clemens Dubslaff} and {Kai Ding 001} and {Andrey Morozov 001} and {Christel Baier} and {Klaus Janschek}}
}
@article{journals/eatcs/BaierBDDI19,
title = {EATCS Fellows 2020 - Call for Nominations.},
year = {2019},
journal = {Bull. EATCS},
author = {{Christel Baier} and {Mikolaj Bojanczyk} and {Mariangiola Dezani} and {Josep Díaz} and {Giuseppe F. Italiano}}
}
@article{journals/pieee/FettweisDCKBBEF19,
title = {Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing.},
year = {2019},
journal = {Proc. IEEE},
author = {{Gerhard P. Fettweis} and {Meik Dorpinghaus} and {Jerónimo Castrillón} and {Akash Kumar 001} and {Christel Baier} and {Karlheinz Bock} and {Frank Ellinger} and {Andreas Fery} and {Frank H. P. Fitzek} and {Hermann Härtig} and {Kambiz Jamshidi} and {Thomas Kissinger} and {Wolfgang Lehner} and {Michael Mertig} and {Wolfgang E. Nagel} and {Giang T. Nguyen 002} and {Dirk Plettemeier} and {Michael Schröter} and {Thorsten Strufe}}
}
@article{journals/sttt/HerrmannKSBHK19,
title = {Configuration of inter-process communication with probabilistic model checking.},
year = {2019},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Linda Herrmann} and {Martin Küttler} and {Tobias Stumpf} and {Christel Baier} and {Hermann Härtig} and {Sascha Klüppelholz}}
}
@article{journals/tomacs/BaierDKKR19,
title = {Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms.},
year = {2019},
journal = {ACM Trans. Model. Comput. Simul.},
author = {{Christel Baier} and {Clemens Dubslaff} and {Lubos Korenciak} and {Antonín Kucera 001} and {Vojtech Rehák}}
}
@incollection{series/lncs/BaierHK19,
title = {The 10, 000 Facets of MDP Model Checking.},
year = {2019},
booktitle = {Computing and Software Science},
author = {{Christel Baier} and {Holger Hermanns} and {Joost-Pieter Katoen}},
publisher = {Springer},
booktitle = {Computing and Software Science - State of the Art and Perspectives}
}
@inproceedings{conf/atva/Jantsch0B20,
title = {Minimal Witnesses for Probabilistic Timed Automata.},
year = {2020},
booktitle = {ATVA},
author = {{Simon Jantsch} and {Florian Funke 002} and {Christel Baier}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings}
}
@inproceedings{conf/fmcad/JantschHFB20,
title = {Switss: Computing Small Witnessing Subsystems.},
year = {2020},
booktitle = {FMCAD},
author = {{Simon Jantsch} and {Hans Harder} and {Florian Funke 002} and {Christel Baier}},
publisher = {IEEE},
booktitle = {2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020}
}
@inproceedings{conf/fsttcs/Baier0JKLOPPW20,
title = {Reachability in Dynamical Systems with Rounding.},
year = {2020},
booktitle = {FSTTCS},
author = {{Christel Baier} and {Florian Funke 002} and {Simon Jantsch} and {Toghrul Karimov} and {Engel Lefaucheux} and {Joël Ouaknine} and {Amaury Pouly} and {David Purser} and {Markus A. Whiteland}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference).}
}
@inproceedings{conf/icalp/PiribauerB20,
title = {On Skolem-Hardness and Saturation Points in Markov Decision Processes.},
year = {2020},
booktitle = {ICALP},
author = {{Jakob Piribauer} and {Christel Baier}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference).}
}
@inproceedings{conf/isola/BaierDHKKK20,
title = {Components in Probabilistic Systems: Suitable by Construction.},
year = {2020},
booktitle = {ISoLA (1)},
author = {{Christel Baier} and {Clemens Dubslaff} and {Holger Hermanns} and {Michaela Klauck} and {Sascha Klüppelholz} and {Maximilian A. Köhl}},
publisher = {Springer},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I}
}
@inproceedings{conf/isola/BaierH20,
title = {From Verification to Explanation (Track Introduction).},
year = {2020},
booktitle = {ISoLA (4)},
author = {{Christel Baier} and {Holger Hermanns}},
publisher = {Springer},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV}
}
@inproceedings{conf/splc/ChrszonBDK20,
title = {From features to roles.},
year = {2020},
booktitle = {SPLC (A)},
author = {{Philipp Chrszon} and {Christel Baier} and {Clemens Dubslaff} and {Sascha Klüppelholz}},
publisher = {ACM},
booktitle = {SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume A}
}
@inproceedings{conf/tacas/FunkeJB20,
title = {Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.},
year = {2020},
booktitle = {TACAS (1)},
author = {{Florian Funke 002} and {Simon Jantsch} and {Christel Baier}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I}
}
@inproceedings{conf/tailor/BaierCGGGH0K20,
title = {Lab Conditions for Research on Explainable Automated Decisions.},
year = {2020},
booktitle = {TAILOR},
author = {{Christel Baier} and {Maria Christakis} and {Timo P. Gros} and {David Groß} and {Stefan Gumhold} and {Holger Hermanns} and {Jörg Hoffmann 001} and {Michaela Klauck}},
publisher = {Springer},
booktitle = {Trustworthy AI - Integrating Learning, Optimization and Reasoning - First International Workshop, TAILOR 2020, Virtual Event, September 4-5, 2020, Revised Selected Papers}
}
@article{journals/access/RaitzaMTHKBK20,
title = {Quantitative Characterization of Reconfigurable Transistor Logic Gates.},
year = {2020},
journal = {IEEE Access},
author = {{Michael Raitza} and {Steffen Märcker} and {Jens Trommer} and {Andre Heinzig} and {Sascha Klüppelholz} and {Christel Baier} and {Akash Kumar 001}}
}
@article{journals/acta/BaierDH20,
title = {On the probabilistic bisimulation spectrum with silent moves.},
year = {2020},
journal = {Acta Informatica},
author = {{Christel Baier} and {Pedro R. D'Argenio} and {Holger Hermanns}}
}
@article{journals/corr/abs-2004-06637,
title = {Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis.},
year = {2020},
journal = {CoRR},
author = {{Clemens Dubslaff} and {Andrey Morozov 001} and {Christel Baier} and {Klaus Janschek}}
}
@inproceedings{journals/corr/abs-2004-13287,
title = {Iterative Variable Reordering: Taming Huge System Families.},
year = {2020},
booktitle = {MARS@ETAPS},
author = {{Clemens Dubslaff} and {Andrey Morozov 001} and {Christel Baier} and {Klaus Janschek}},
booktitle = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020.}
}
@article{journals/eatcs/BaierBDDI20,
title = {EATCS Fellows 2021 - Call for Nominations.},
year = {2020},
journal = {Bull. EATCS},
author = {{Christel Baier} and {Mikolaj Bojanczyk} and {Mariangiola Dezani} and {Josep Díaz} and {Giuseppe F. Italiano}}
}
@article{journals/iandc/BaierHHJKK20,
title = {Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.},
year = {2020},
journal = {Inf. Comput.},
author = {{Christel Baier} and {Christian Hensel} and {Lisa Hutschenreiter} and {Sebastian Junges} and {Joost-Pieter Katoen} and {Joachim Klein 001}}
}
@inproceedings{conf/aaai/Baier0M21,
title = {Responsibility Attribution in Parameterized Markovian Models.},
year = {2021},
booktitle = {AAAI},
author = {{Christel Baier} and {Florian Funke 002} and {Rupak Majumdar}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/atva/JohnJBK21,
title = {Determinization and Limit-Determinization of Emerson-Lei Automata.},
year = {2021},
booktitle = {ATVA},
author = {{Tobias John} and {Simon Jantsch} and {Christel Baier} and {Sascha Klüppelholz}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings}
}
@inproceedings{conf/cav/BaierCFFJS21,
title = {Causality-Based Game Solving.},
year = {2021},
booktitle = {CAV (1)},
author = {{Christel Baier} and {Norine Coenen} and {Bernd Finkbeiner} and {Florian Funke 002} and {Simon Jantsch} and {Julian Siber}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I}
}
@inproceedings{conf/concur/Baier0JKLLOPW021,
title = {The Orbit Problem for Parametric Linear Dynamical Systems.},
year = {2021},
booktitle = {CONCUR},
author = {{Christel Baier} and {Florian Funke 002} and {Simon Jantsch} and {Toghrul Karimov} and {Engel Lefaucheux} and {Florian Luca} and {Joël Ouaknine} and {David Purser} and {Markus A. Whiteland} and {James Worrell 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference.}
}
@inproceedings{conf/concur/PiribauerB0S21,
title = {Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking.},
year = {2021},
booktitle = {CONCUR},
author = {{Jakob Piribauer} and {Christel Baier} and {Nathalie Bertrand 001} and {Ocan Sankur}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference.}
}
@inproceedings{conf/icalp/BaierD0JMPZ21,
title = {From Verification to Causality-Based Explications (Invited Talk).},
year = {2021},
booktitle = {ICALP},
author = {{Christel Baier} and {Clemens Dubslaff} and {Florian Funke 002} and {Simon Jantsch} and {Rupak Majumdar} and {Jakob Piribauer} and {Robin Ziemek}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference).}
}
@inproceedings{conf/ijcai/Baier0M21,
title = {A Game-Theoretic Account of Responsibility Allocation.},
year = {2021},
booktitle = {IJCAI},
author = {{Christel Baier} and {Florian Funke 002} and {Rupak Majumdar}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021.}
}
@inproceedings{conf/lics/MascleBFJK21,
title = {Responsibility and verification: Importance value in temporal logics.},
year = {2021},
booktitle = {LICS},
author = {{Corto Mascle} and {Christel Baier} and {Florian Funke 002} and {Simon Jantsch} and {Stefan Kiefer}},
publisher = {IEEE},
booktitle = {36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021}
}
@article{journals/corr/abs-2104-10634,
title = {The Orbit Problem for Parametric Linear Dynamical Systems.},
year = {2021},
journal = {CoRR},
author = {{Christel Baier} and {Florian Funke 002} and {Simon Jantsch} and {Engel Lefaucheux} and {Florian Luca} and {Joël Ouaknine} and {David Purser} and {Markus A. Whiteland} and {James Worrell 001}}
}
@article{journals/corr/abs-2105-09533,
title = {From Verification to Causality-based Explications.},
year = {2021},
journal = {CoRR},
author = {{Christel Baier} and {Clemens Dubslaff} and {Florian Funke 002} and {Simon Jantsch} and {Rupak Majumdar} and {Jakob Piribauer} and {Robin Ziemek}}
}
@inproceedings{journals/corr/abs-2109-08326,
title = {Witnessing Subsystems for Probabilistic Systems with Low Tree Width.},
year = {2021},
booktitle = {GandALF},
author = {{Simon Jantsch} and {Jakob Piribauer} and {Christel Baier}},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021.}
}
@article{journals/fmsd/JantschMBK21,
title = {From LTL to unambiguous Büchi automata via disambiguation of alternating automata.},
year = {2021},
journal = {Formal Methods Syst. Des.},
author = {{Simon Jantsch} and {David Müller 001} and {Christel Baier} and {Joachim Klein 001}}
}
@inproceedings{conf/birthday/BaierDFJPZ22,
title = {Operational Causality - Necessarily Sufficient and Sufficiently Necessary.},
year = {2022},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning},
author = {{Christel Baier} and {Clemens Dubslaff} and {Florian Funke 002} and {Simon Jantsch} and {Jakob Piribauer} and {Robin Ziemek}},
publisher = {Springer},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday}
}
@inproceedings{conf/birthday/BaierDHK22,
title = {On the Foundations of Cycles in Bayesian Networks.},
year = {2022},
booktitle = {Principles of Systems Design},
author = {{Christel Baier} and {Clemens Dubslaff} and {Holger Hermanns} and {Nikolai Käfer}},
publisher = {Springer},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday}
}
@inproceedings{conf/concur/Baier0JKLOPW022,
title = {Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.},
year = {2022},
booktitle = {CONCUR},
author = {{Christel Baier} and {Florian Funke 002} and {Simon Jantsch} and {Toghrul Karimov} and {Engel Lefaucheux} and {Joël Ouaknine} and {David Purser} and {Markus A. Whiteland} and {James Worrell 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland.}
}
@inproceedings{conf/epew/KornCKBW22,
title = {Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study.},
year = {2022},
booktitle = {EPEW},
author = {{Max Korn} and {Philipp Chrszon} and {Sascha Klüppelholz} and {Christel Baier} and {Sascha Wunderlich}},
publisher = {Springer},
booktitle = {Computer Performance Engineering - 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings}
}
@inproceedings{conf/fossacs/BaierFPZ22,
title = {On probability-raising causality in Markov decision processes.},
year = {2022},
booktitle = {FoSSaCS},
author = {{Christel Baier} and {Florian Funke 002} and {Jakob Piribauer} and {Robin Ziemek}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings}
}
@inproceedings{conf/icalp/PiribauerSB22,
title = {The Variance-Penalized Stochastic Shortest Path Problem.},
year = {2022},
booktitle = {ICALP},
author = {{Jakob Piribauer} and {Ocan Sankur} and {Christel Baier}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France.}
}
@inproceedings{conf/icse/DubslaffWBA22,
title = {Causality in Configurable Software Systems.},
year = {2022},
booktitle = {ICSE},
author = {{Clemens Dubslaff} and {Kallistos Weis} and {Christel Baier} and {Sven Apel}},
publisher = {ACM},
booktitle = {44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022}
}
@article{journals/isse/JohnJBK22,
title = {From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.},
year = {2022},
journal = {Innov. Syst. Softw. Eng.},
author = {{Tobias John} and {Simon Jantsch} and {Christel Baier} and {Sascha Klüppelholz}}
}
@article{journals/isse/ZiemekPFJB22,
title = {Probabilistic causes in Markov chains.},
year = {2022},
journal = {Innov. Syst. Softw. Eng.},
author = {{Robin Ziemek} and {Jakob Piribauer} and {Florian Funke 002} and {Simon Jantsch} and {Christel Baier}}
}
@article{journals/jair/KaferBDDGH22,
title = {Admissibility in Probabilistic Argumentation.},
year = {2022},
journal = {J. Artif. Intell. Res.},
author = {{Nikolai Käfer} and {Christel Baier} and {Martin Diller} and {Clemens Dubslaff} and {Sarah Alice Gaggl} and {Holger Hermanns}}
}
@article{journals/tse/BagheriSKBM22,
title = {Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control.},
year = {2022},
journal = {IEEE Trans. Software Eng.},
author = {{Maryam Bagheri 001} and {Marjan Sirjani} and {Ehsan Khamespanah} and {Christel Baier} and {Ali Movaghar 001}}
}
@inproceedings{conf/ijcai/HarderJBD23,
title = {A Unifying Formal Approach to Importance Values in Boolean Functions.},
year = {2023},
booktitle = {IJCAI},
author = {{Hans Harder} and {Simon Jantsch} and {Christel Baier} and {Clemens Dubslaff}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China}
}
@inproceedings{conf/ijcai/WienhoftSSDB023,
title = {More for Less: Safe Policy Improvement with Stronger Performance Guarantees.},
year = {2023},
booktitle = {IJCAI},
author = {{Patrick Wienhöft} and {Marnix Suilen} and {Thiago D. Simão} and {Clemens Dubslaff} and {Christel Baier} and {Nils Jansen 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China}
}
@inproceedings{conf/mfcs/BaierCMP23,
title = {Entropic Risk for Turn-Based Stochastic Games.},
year = {2023},
booktitle = {MFCS},
author = {{Christel Baier} and {Krishnendu Chatterjee} and {Tobias Meggendorfer} and {Jakob Piribauer}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France}
}
@inproceedings{conf/nfm/BaierDWK23,
title = {Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.},
year = {2023},
booktitle = {NFM},
author = {{Christel Baier} and {Clemens Dubslaff} and {Patrick Wienhöft} and {Stefan J. Kiebel}},
publisher = {Springer},
booktitle = {NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings}
}
@inproceedings{conf/sefm/KornMKLBD23,
title = {PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.},
year = {2023},
booktitle = {SEFM},
author = {{Max Korn} and {Julián Méndez 001} and {Sascha Klüppelholz} and {Ricardo Langner} and {Christel Baier} and {Raimund Dachselt}},
publisher = {Springer},
booktitle = {Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings}
}
@inproceedings{conf/vecos/DubslaffSWBFKL23,
title = {Towards a Formal Account on Negative Latency.},
year = {2023},
booktitle = {AISoLA},
author = {{Clemens Dubslaff} and {Jonas Schulz} and {Patrick Wienhöft} and {Christel Baier} and {Frank H. P. Fitzek} and {Stefan J. Kiebel} and {Johannes Lehmann 003}},
publisher = {Springer},
booktitle = {Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings}
}
@article{journals/corr/abs-2302-13675,
title = {Positivity-hardness results on Markov decision processes.},
year = {2023},
journal = {CoRR},
author = {{Jakob Piribauer} and {Christel Baier}}
}
@inproceedings{journals/corr/abs-2310-01001,
title = {Counterfactual Causality for Reachability and Safety based on Distance Functions.},
year = {2023},
booktitle = {GandALF},
author = {{Julie Parreaux} and {Jakob Piribauer} and {Christel Baier}},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023.}
}
@article{journals/jcss/BaierK00023,
title = {Markov chains and unambiguous automata.},
year = {2023},
journal = {J. Comput. Syst. Sci.},
author = {{Christel Baier} and {Stefan Kiefer} and {Joachim Klein 001} and {David Müller 001} and {James Worrell 001}}
}
@article{journals/jss/ChrszonBDK23,
title = {Interaction detection in configurable systems - A formal approach featuring roles.},
year = {2023},
journal = {J. Syst. Softw.},
author = {{Philipp Chrszon} and {Christel Baier} and {Clemens Dubslaff} and {Sascha Klüppelholz}}
}
@article{journals/isse/JohnJBK23,
title = {Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.},
year = {2023},
month = {June},
journal = {Innov. Syst. Softw. Eng.},
author = {{Tobias John} and {Simon Jantsch} and {Christel Baier} and {Sascha Klüppelholz}}
}
@article{journals/siglog/Baier23a,
title = {Verification Column.},
year = {2023},
month = {July},
journal = {ACM SIGLOG News},
author = {{Christel Baier}}
}
@inproceedings{conf/aaai/BaierBK0P24,
title = {Backward Responsibility in Transition Systems Using General Power Indices.},
year = {2024},
booktitle = {AAAI},
author = {{Christel Baier} and {Roxane van den Bossche} and {Sascha Klüppelholz} and {Johannes Lehmann 003} and {Jakob Piribauer}},
publisher = {AAAI Press},
booktitle = {Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada}
}
@article{journals/lmcs/BaierPZ24,
title = {Foundations of probability-raising causality in Markov decision processes.},
year = {2024},
journal = {Log. Methods Comput. Sci.},
author = {{Christel Baier} and {Jakob Piribauer} and {Robin Ziemek}}
}
@article{journals/jss/DubslaffWBA24,
title = {Feature causality.},
year = {2024},
month = {March},
journal = {J. Syst. Softw.},
author = {{Clemens Dubslaff} and {Kallistos Weis} and {Christel Baier} and {Sven Apel}}
}