Publikationen der Gruppe Verifikation und formale quantitative Analyse
Aus International Center for Computational Logic
Publikationen der Gruppe Verifikation und formale quantitative Analyse
Artikel in Fachzeitschriften
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes
Logical Methods in Computer Science, 20(1), 2024
Details
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Lazy model checking for recursive state machines
Software and Systems Modeling, 1-33, 2024
Details
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata
Innovations in Systems and Software Engineering, 2022
Details
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation
Journal of Artificial Intelligence Research, 74:957-1004, June 2022
Details Download
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
Probabilistic Causes in Markov Chains
Innovations in Systems and Software Engineering, 2022
Details
Christel Baier, Florian Funke, Rupak Majumdar
Responsibility Attribution in Parameterized Markovian Models
Proceedings of the AAAI Conference on Artificial Intelligence, 35(13):11734-11743, 2021
Details
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata
Formal Methods in System Design, 2021
Details
Christel Baier, Pedro R. D'Argenio, Holger Hermanns
On the probabilistic bisimulation spectrum with silent moves
Acta Informatica, 57:465---512, 2020
Details
Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
Information and Computation, 272:104504, 2020
Details
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
Iterative Variable Reordering: Taming Huge System Families
Electronic Proceedings in Theoretical Computer Science, 316:121--133, 2020
Details
Christel Baier, Clemens Dubslaff, L'uboš Korenčiak, Antonín kučera, Vojtěch Řehák
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
ACM Transactions on Modeling and Computer Simulation, 29(4), 2019
Details
Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
Configuration of Inter-Process Communication with Probabilistic Model Checking
International Journal on Software Tools for Technology Transfer (STTT), 21(6):651--666, 2019
Details
Christel Baier, Clemens Dubslaff
From Verification to Synthesis under Cost-Utility Constraints
ACM SIGLOG News, 5(4):26--46, 2018
Details
Jeronimo Castrillon, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Assmann, Franz Baader, Christel Baier, Gerhard 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 Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich
A Hardware/Software Stack for Heterogeneous Systems
IEEE Transactions on Multi-Scale Computing Systems, 4(3):243--259, 2018
Details
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
ProFeat: feature-oriented engineering for family-based probabilistic model checking
Formal Aspects of Computing, 30(1):45--75, 2018
Details
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
International Journal on Software Tools for Technology Transfer (STTT), 20(2):179--194, 2018
Details
Justus A. Kromer, Steffen Märcker, Steffen Lange, Christel Baier, Benjamin M. Friedrich
Decision making improves sperm chemotaxis in the presence of noise
PLOS Computational Biology, 14(4):1-15, 2018
Details
Christel Baier, Cesare Tinelli
Some advances in tools and algorithms for the construction and analysis of systems
International Journal on Software Tools for Technology Transfer, 19(6):649--652, 2017
Details
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Locks: Picking key methods for a scalable quantitative analysis
Journal of Computer and System Sciences, 81(1):258--287, 2015
Details
Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
Probabilistic Model Checking for Feature-oriented Systems
Transactions on Aspect-Oriented Software Development, 12:180--220, 2015
Details
Joachim Klein, Christel Baier, Sascha Klüppelholz
Compositional Construction of Most General Controllers
Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2, 52(4-5):443--482, 2015
Details
Christel Baier, Joachim Klein, Sascha Klüppelholz
Synthesis of Reo Connectors for Strategies and Controllers
Fundamenta Informaticae, 130(1):1--20, 2014
Details
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski
Stochastic Timed Automata
Logical Methods in Computer Science (LMCS), 10(4):1--73, 2014
Details
Christel Baier, Ernst-Moritz Hahn, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model Checking for Performability
Mathematical Structures in Computer Science, 23(4):751--795, 2013
Details
Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
Stochastic Game Logic
Acta Informatica, 49(4):203--224, 2012
Details
Christel Baier, Nathalie Bertrand, Marcus Größer
Probabilistic $ømega$-Automata
Journal of the ACM, 59(1), 2012
Details
Clemens Dubslaff, Christel Baier, Manuela Berg
Model Checking Probabilistic Systems Against Pushdown Specifications
Information Processing Letters, 112(8--9):320--328, 2012
Details
Sun Meng, Farhad Arbab, Christel Baier
Synthesis of Reo circuits from scenario-based interaction specifications
Science of Computer Programming, 76(8):651--680, 2011
Details
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performability assessment by model checking of Markov reward models
Formal Methods in System Design, 36(1):1--36, 2010
Details
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performance evaluation and model checking join forces
Communications of the ACM, 53(9):76--85, 2010
Details
Sascha Klüppelholz, Christel Baier
Alternating-time stream logic for multi-agent systems
Science of Computer Programming, 75(6):398--425, 2010
Details
Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications
Formal Methods in System Design, 36(3):198--222, 2010
Details
Sascha Klüppelholz, Christel Baier
Symbolic model checking for channel-based component connectors
Science of Computer Programming, 74(9):688--701, 2009
Details
Jörn Ossowski, Christel Baier
A uniform framework for weighted decision diagrams and its implementation
International Journal on Software Tools for Technology Transfer, 10(5):425--441, 2008
Details
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
Models and temporal logical specifications for timed component connectors
Software and System Modeling, 6(1):59--82, 2007
Details
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
Model Checking Markov Chains with Actions and State Labels
IEEE Transactions on Software Engineering, 33(4):209--224, 2007
Details
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
Verifying nondeterministic probabilistic channel systems against $ømega$-regular linear-time properties
ACM Transactions on Computational Logic, 9, 2007
Details
Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten
Modeling component connectors in Reo by constraint automata
Science of Computer Programming, 61(2):75--113, 2006
Details
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
A note on the attractor-property of infinite-state Markov chains
Information Processing Letters, 97(2):58--63, 2006
Details
Joachim Klein, Christel Baier
Experiments with deterministic $ømega$-automata for formulas of linear temporal logic
Theoretical Computer Science, 363(2):182--195, 2006
Details
Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
Simulating perfect channels with probabilistic lossy channels
Information and Computation, 197(1--2):22--40, 2005
Details
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
Comparative branching-time semantics for Markov chains
Information and Computation, 200(2):149--214, 2005
Details
Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
Theoretical Computer Science, 345(1):2--26, 2005
Details
Christel Baier, Frank Ciesinski, Marcus Größer
ProbMeLa and Verification of Markov Decision Processes
SIGMETRICS Performance Evaluation Review, 32(4):22--27, 2005
Details
Christel Baier, Frank Ciesinski, Marcus Größer
ProbMela and verification of Markov decision processes
SIGMETRICS Performance Evaluation Review, 32(4):22--27, 2005
Details
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model checking meets performance evaluation
SIGMETRICS Performance Evaluation Review, 32(4):10--15, 2005
Details
Christel Baier
Probabilistic Models for Reo Connector Circuits
Journal of Universal Computer Science, 11(10):1718--1748, 2005
Details
Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)
Electron. Notes Theor. Comput. Sci., 97:25--46, 2004
Details
Christel Baier, Holger Hermanns, Joost-Pieter Katoen
Probabilistic weak simulation is decidable in polynomial time
Information Processing Letters, 89(3):123--130, 2004
Details
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering, 29(6):524--541, 2003
Details
Joost-Pieter Katoen, Christel Baier, Diego Latella
Metric semantics for true concurrent real time
Theoretical Computer Science, 254(1-2):501--542, 2001
Details
Christel Baier, Marta Z. Kwiatkowska
Domain equations for probabilistic processes
Mathematical Structures in Computer Science, 10(6):665--717, 2000
Details
Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum
Deciding Bisimilarity and Similarity for Probabilistic Processes
Journal of Computer and System Science, 60(1):187--231, 2000
Details
Christel Baier, Marta Z. Kwiatkowska
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae, 41(3):259--294, 2000
Details
Christel Baier, Marta Z. Kwiatkowska, Gethin Norman
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems
Electron. Notes Theor. Comput. Sci., 22:29, 1999
Details
Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs
Electron. Notes Theor. Comput. Sci., 22:3--28, 1999
Details
Christel Baier, Marta Z. Kwiatkowska
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints
Information Processing Letters, 66(2):71--79, 1998
Details
Christel Baier, Marta Z. Kwiatkowska
Model Checking for a Probabilistic Branching Time Logic with Fairness
Distributed Computing, 11(3):125--155, 1998
Details
Christel Baier, Mila E. Majster-Cederbaum
Metric Semantics from Partial Order Semantics
Acta Informatica, 34(9):701--735, 1997
Details
Christel Baier, Mila E. Majster-Cederbaum
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Fundamenta Informaticae, 29(3):225--256, 1997
Details
Christel Baier, Mila E. Majster-Cederbaum
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach
Formal Aspects of Computing, 9(4):425--445, 1997
Details
Christel Baier, Mila E. Majster-Cederbaum
Denotational Linear Time Semantics and Sequential Composition
Information Processing Letters, 59(3):135--143, 1996
Details
Mila E. Majster-Cederbaum, Christel Baier
Metric Completion versus Ideal Completion
Theoretical Computer Science, 170(1-2):145--171, 1996
Details
Christel Baier, Mila E. Majster-Cederbaum
The Connection between an Event Structure Semantics and an Operational Semantics for TCSP
Acta Informatica, 31(1):81--104, 1994
Details
Christel Baier, Mila E. Majster-Cederbaum
Denotational Semantics in the CPO and Metric Approach
Theoretical Computer Science, 135(2):171--220, 1994
Details
Artikel in Tagungsbänden
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers
In Nils Jansen and Sebastian Junges and Benjamin Lucien Kaminski and Christoph Matheja and Thomas Noll and Tim Quatmann and Mariëlle Stoelinga and Matthias Volk, eds., Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II, volume 15261 of Lecture Notes in Computer Science, 293--313, 2024. Springer
Details
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with continuous weight functions
In Erika Ábrahám and Manuel Mazo Jr., eds., Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, 22:1--22:11, 2024. ACM
Details
Christel Baier, Calvin Chau, Sascha Klüppelholz
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
In Jane Hillston and Sadegh Soudjani and Masaki Waga, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996 of Lecture Notes in Computer Science, 1--18, 2024. Springer
Details
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices
Proceedings of the AAAI Conference on Artificial Intelligence, 2024. AAAI Press
Details
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations
In Rupak Majumdar and Alexandra Silva, eds., 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada, volume 311 of LIPIcs, 37:1--37:19, August 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
In Rozier, Kristin Yvonne and Chaudhuri, Swarat, eds., NASA Formal Methods, 86--103, 2023. Springer Nature Switzerland
Details
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games
In Jérôme Leroux and Sylvain Lombardy and David Peleg, eds., 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France, volume 272 of LIPIcs, 15:1--15:16, 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Calvin Chau, Jan Křetínský, Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
In André, Étienne and Sun, Jun, eds., Automated Technology for Verification and Analysis, 401--421, 2023. Springer Nature Switzerland
Details
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
Towards a Formal Account on Negative Latency
In Steffen, Bernhard, eds., Bridging the Gap Between AI and Reality, 188--214, 2023. Springer Nature Switzerland
Details
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study
In Gilly, Katja and Thomas, Nigel, eds., Computer Performance Engineering, 19--34, 2023. Springer International Publishing
Details
Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking
In Ferreira, Carla and Willemse, Tim A. C., eds., Software Engineering and Formal Methods, 361--375, 2023. Springer Nature Switzerland
Details
Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions
In Antonis Achilleos and Dario Della Monica, eds., Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023, volume 390 of EPTCS, 132--149, 2023
Details
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement with Stronger Performance Guarantees
In Edith Elkind, eds., Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, 4406--4415, 2023. International Joint Conferences on Artificial Intelligence Organization
Details
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
On probability-raising causality in Markov decision processes
In Bouyer, Patricia and Schröder, Lutz, eds., Foundations of Software Science and Computation Structures, 40--60, 2022. Springer International Publishing
Details
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
On the Foundations of Cycles in Bayesian Networks
In Raskin, Jean-François and Chatterjee, Krishnendu and Doyen, Laurent and Majumdar, Rupak, eds., Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, 343--363, 2022. Springer Nature Switzerland
Details
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary
In Nils Jansen and Mariëlle Stoelinga and Petra van den Bos, eds., A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, volume 13560 of Lecture Notes in Computer Science, 27--45, 2022. Springer
Details
Nikolai Käfer
CPrAA -- A Checker for Probabilistic Abstract Argumentation
In Toni, Francesca and Polberg, Sylwia and Booth, Richard and Caminada, Martin and Kido, Hiroyuki, eds., Frontiers in Artificial Intelligence and Applications, 2022. IOS Press
Details
Jakob Piribauer, Ocan Sankur, Christel Baier
The variance-penalized stochastic shortest path problem
Proc. of the 49rd International Colloquium on Automata, Languages and Programming (ICALP), Leibniz International Proceedings in Informatics (LIPIcs), 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic Causes in Markov Chains
In Hou, Zhe and Ganesh, Vijay, eds., Automated Technology for Verification and Analysis, Lecture Notes in Computer Science, 205--221, 2021. Springer International Publishing
Details
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 87-98, November 2021
Details Download
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems
In Haddad, Serge and Varacca, Daniele, eds., 32nd International Conference on Concurrency Theory, CONCUR, volume 203 of LIPIcs, 28:1--28:17, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications
In Bansal, Nikhil and Merelli, Emanuela and Worrell, James, eds., 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), volume 198 of Leibniz International Proceedings in Informatics (LIPIcs), 1:1--1:20, 2021. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
Details
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving
In Silva, Alexandra and Leino, K. Rustan M., eds., Computer Aided Verification, 894--917, 2021. Springer International Publishing
Details
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Be lazy and don’t care: Faster CTL model checking for recursive state machines
In Radu Calinescu and Corina S. Păsăreanu, eds., Software Engineering and Formal Methods, volume 13085 of Lecture Notes in Computer Science, 332–350, 2021. Springer
Details
Simon Jantsch, Jakob Piribauer, Christel Baier
Witnessing Subsystems for Probabilistic Systems with Low Tree Width
In Pierre Ganty and Davide Bresolin, eds., Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), volume 346 of EPTCS, 35--51, 2021
Details
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Determinization and Limit-Determinization of Emerson-Lei Automata
In Hou, Zhe and Ganesh, Vijay, eds., Automated Technology for Verification and Analysis (ATVA), Lecture Notes in Computer Science, 15--31, 2021. Springer International Publishing
Details
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
Details
Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking
In Haddad, Serge and Varacca, Daniele, eds., 32nd International Conference on Concurrency Theory (CONCUR 2021), volume 203 of Leibniz International Proceedings in Informatics (LIPIcs), 7:1--7:18, 2021. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
Details
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Components in Probabilistic Systems: Suitable by Construction
Proc. of 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), Part I, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, volume 12476 of Lecture Notes in Computer Science, 240--261, 2020. Springer
Details
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding
In Nitin Saxena and Sunil Simon, eds., Proc. of 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), volume 182 of Leibniz International Proceedings in Informatics (LIPIcs), 36:1--36:17, 2020. Schloss Dagstuhl--Leibniz-Zentrum für Informatik
Details
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
From Features to Roles
Proc. of 24th International Systems and Software Product Line Conference (SPLC), 19:1--19:11, 2020. ACM
Details
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
Reduction Methods on Error-Propagation Graphs for Quantitative Systems Reliability Analysis
Proc. of 30th European Safety and Reliability Conference (ESREL) and 15th Probabilistic Safety Assessment and Management Conference (PSAM), 2020
Details
Florian Funke, Simon Jantsch, Christel Baier
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints
In Armin Biere and David Parker, eds., Proc. of 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 12078 of Lecture Notes in Computer Science, 324--345, 2020. Springer
Details
Simon Jantsch, Florian Funke, Christel Baier
Minimal witnesses for probabilistic timed automata
Automated Technology for Verification and Analysis (ATVA), volume 12302 of Lecture Notes in Computer Science, 501--517, 2020. Springer
Details
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
SWITSS: Computing Small Witnessing Subsystems
Proc. of 20th Conference on Formal Methods in Computer-Aided Design (FMCAD 2020), 236-244, 2020
Details
Jakob Piribauer, Christel Baier
On Skolem-Hardness and Saturation Points in Markov Decision Processes
In Artur Czumaj and Anuj Dawar and Emanuela Merelli, eds., Proc. of 47th International Colloquium on Automata, Languages, and Programming, (ICALP), volume 168 of Leibniz International Proceedings in Informatics (LIPIcs), 138:1--138:17, 2020. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček
Generic Emptiness Check for Fun and Profit
Proc. of 17th International Symposium on Automated Technology for Verification and Analysis, volume 11781 of Lecture Notes in Computer Science, 445-461, 2019. Springer
Details
Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur
Long-run Satisfaction of Path Properties
Proc. of 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019. IEEE
Details
Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek
Breaking the Limits of Redundancy Systems Analysis
Proc. of 29th European Safety and Reliability Conference (ESREL), 2317--2325, 2019
Details
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata
Proc. of the 23rd International Symposium on Formal Methods (FM), Lecture Notes in Computer Science, 262--279, 2019. Springer
Details
Jakob Piribauer, Christel Baier
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
Proc. of 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'19), volume 11425 of Lecture Notes in Computer Science, 436--452, 2019. Springer
Details
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems
Proc. of 16th European Workshop on Computer Performance Engineering (EPEW), volume 12039 of Lecture Notes in Computer Science, 133--147, 2019. Springer
Details
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
Proc. of 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 86--94, 2018. ACM
Details
Daniel Gburek, Christel Baier
Bisimulations, logics, and trace distributions for stochastic systems with rewards
Proc. of 21st International Conference on Hybrid Systems: Computation and Control (HSCC), 31--40, 2018. ACM
Details
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonín Kučera, Vojtěch Řehák
Synthesis of Optimal Resilient Control Strategies
Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA), volume 10482 of Lecture Notes in Computer Science, 417--434, 2017. Springer
Details
Christel Baier, Sascha Klüppelholz, Sascha Wunderlich
Towards Automated Variant Selection for Heterogeneous Tiled Architectures
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, volume 10460 of Lecture Notes in Computer Science, 382--399, 2017. Springer
Details
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonín Kučera, Vojtěch Řehák
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Proc. of the 14th International Conference on Quantitative Evaluation of Systems (QEST), volume 10503 of Lecture Notes in Computer Science, 190--206, 2017. Springer
Details
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Maximizing the Conditional Expected Reward for Reaching the Goal
Proc. of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part II, volume 10206 of Lecture Notes in Computer Science, 269--285, 2017. Springer
Details
Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
Proc. of the 29th International Conference on Computer Aided Verification (CAV), Part I, volume 10426 of Lecture Notes in Computer Science, 160--180, 2017. Springer
Details
Clemens Dubslaff, Christel Baier
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, volume 10500 of Lecture Notes in Computer Science, 64--84, 2017. Springer
Details
Lisa Hutschenreiter, Christel Baier, Joachim Klein
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination
Proc. of the 8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF), volume 256 of Electronic Proceedings in Theoretical Computer Science, 16--30, 2017. Open Publishing Association
Details
Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
Towards Automated Configuration of Systems with Non-Functional Constraints
Proc. of the 16th Workshop on Hot Topics in Operating Systems (HotOS), 111--117, 2017. ACM
Details
Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz
Computing Conditional Probabilities: Implementation and Evaluation
Proc. of the 15th International Conference on Software Engineering and Formal Methods (SEFM), volume 10469 of Lecture Notes in Computer Science, 349--366, 2017. Springer
Details
Christel Baier
Cost-Utility Analysis in Probabilistic Models
Proc. of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 1, 2016. IEEE
Details
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Markov Chains and Unambiguous Büchi Automata
Proc. of the 28th International Conference on Computer Aided Verification (CAV) - Part I, volume 9779 of Lecture Notes in Computer Science, 23--42, 2016. Springer
Details
Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich
Greener Bits: Formal Analysis of Demand Response
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), volume 9938 of Lecture Notes in Computer Science, 323--339, 2016. Springer
Details
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat
Proc. of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE), volume 9633 of Lecture Notes in Computer Science, 287--304, 2016. Springer
Details
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling Role-Based Systems with Exogenous Coordination
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volume 9660 of Lecture Notes in Computer Science, 122--139, 2016. Springer
Details
Daniel Gburek, Christel Baier, Sascha Klüppelholz
Composition of Stochastic Transition Systems Based on Spans and Couplings
Proc. of the 43rd International Colloquium on Automata, Languages and Programming (ICALP), volume 55 of Leibniz International Proceedings in Informatics (LIPIcs), 102:1--102:15, 2016. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Marcus Völp, Sascha Klüppelholz, Jeronimo Castrillon, Hermann Härtig, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Wolfgang Lehner, Linda Leuschner, Matthias Lieber, Siqi Ling, Steffen Märcker, Johannes Mey, Wolfgang Nagel, Benedikt Nöthen, Rafael Penaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt
The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware
Proc. of the 1st Workshop on Post-Moore's Era Supercomputing (PMES), 2016
Details
Christel Baier
Reasoning About Cost-Utility Constraints in Probabilistic Models
9th International Workshop on Reachability Problems (RP), volume 9328 of Lecture Notes in Computer Science, 1--6, 2015. Springer
Details
Clemens Dubslaff, Christel Baier
Quantitative Analysis of Communication Scenarios
Proc. of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), volume 9268 of Lecture Notes in Computer Science, 76--92, 2015. Springer
Details
Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff
Ratio and Weight Quantiles
Proc. of the 40th Symposium on Mathematical Foundations of Computer Science (MFCS): Part I, volume 9234 of Lecture Notes in Computer Science, 344--356, 2015. Springer
Details
Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker
Computing Conditional Probabilities in Markovian Models Efficiently
Proc. of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 8413 of Lecture Notes in Computer Science, 515--530, 2014. Springer
Details
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Weight Monitoring with Linear Temporal Logic: Complexity and Decidability
Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS), 11:1--11:10, 2014. ACM
Details
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
Probabilistic Model Checking and Non-standard Multi-objective Reasoning
Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE), volume 8411 of Lecture Notes in Computer Science, 1--16, 2014. Springer
Details
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Energy-Utility Quantiles
Proc. of the 6th NASA Formal Methods Symposium (NFM), volume 8430 of Lecture Notes in Computer Science, 285--299, 2014. Springer
Details
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
Proc. of the 35th Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS), volume 8489 of Lecture Notes in Computer Science, 20--39, 2014. Springer
Details
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
Trade-off Analysis Meets Probabilistic Model Checking
Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS), 1:1--1:10, 2014. ACM
Details
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Probabilistic Model Checking for Energy Analysis in Software Product Lines
Proc. of the 13th International Conference on Modularity (MODULARITY), 169--180, 2014. ACM
Details
Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz
Are Good-for-Games Automata Good for Probabilistic Model Checking?
Proc. of the 8th International Conference on Language and Automata Theory and Applications (LATA), volume 8370 of Lecture Notes in Computer Science, 453--465, 2014. Springer
Details
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
Proc. of the 5th NASA Formal Methods Symposium (NFM), volume 7871 of Lecture Notes in Computer Science, 307--321, 2013. Springer
Details
Christel Baier
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
Proc. of the 5th International Conference on Algebraic Informatics (CAI), volume 8080 of Lecture Notes in Computer Science, 4--5, 2013. Springer
Details
Tobias Hilbrich, Bronis R. de Supinski, Wolfgang E. Nagel, Joachim Protze, Christel Baier, Matthias S. Müller
Distributed wait state tracking for runtime MPI deadlock detection
Proc. of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC), 16:1--12, 2013. ACM
Details
Michael Ummels, Christel Baier
Computing Quantiles in Markov Reward Models
Proc. of the 16th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), volume 7794 of Lecture Notes in Computer Science, 353--368, 2013. Springer
Details
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proc. of the 7th Conference on Systems Software Verification (SSV'12), volume 102 of Electronic Proceedings in Theoretical Computer Science, 156--166, 2012
Details
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Waiting for Locks: How Long Does It Usually Take?
Proc. of the 17th International Workshop on Formal Methods for Industrial-Critical Systems (FMICS'12), volume 7437 of Lecture Notes in Computer Science, 47--62, 2012. Springer
Details
Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund
Static Partial Order Reduction for Probabilistic Concurrent Systems
Proc. of the 9th International Conference on Quantitative Evaluation of Systems (QEST), 104--113, 2012. IEEE Computer Society Press
Details
Paolo Zuliani, Christel Baier, Edmund M. Clarke
Rare-Event Verification for Stochastic Hybrid Systems
Proc. of the 15th International Conference on Hybrid Systems: Computation and Control (HSCC'12), 217--226, 2012. ACM Press
Details
Christel Baier, Joachim Klein, Sascha Klüppelholz
A Compositional Framework for Controller Synthesis
Proc. of the 22nd International Conference on Concurrency Theory (CONCUR'11), volume 6901 of Lecture Notes in Computer Science, 512--527, 2011. Springer
Details
Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling and Verification of Components and Connectors
Proc. of the 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM), volume 6659 of Lecture Notes in Computer Science, 114--147, 2011. Springer
Details
Christel Baier, Joachim Klein, Sascha Klüppelholz
Synthesis of Reo Connectors for Strategies and Controllers
Proc. of the International Workshop on Logic, Agents, and Mobility (LAM), 2011
Details
Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier
Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy
Proc. of the 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), volume 6959 of Lecture Notes in Computer Science, 228--243, 2011. Springer
Details
Christel Baier
On model checking techniques for randomized distributed systems
Proc. of the 8th International Conference on Integrated Formal Methods (IFM), volume 6396 of Lecture Notes in Computer Science, 1--11, 2010. Springer
Details
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister
Design and Verification of Systems with Exogenous Coordination Using Vereofy
Proc. of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), volume 6416 of Lecture Notes in Computer Science, 97--111, 2010. Springer
Details
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
Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo
Proc. of the 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS), volume 266 of Electronic Notes in Theoretical Computer Science, 33--48, 2010. Elsevier
Details
Farhad Arbab, Sun Meng, Christel Baier
Synthesis of Reo circuits from scenario-based specifications
Proc. of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA), volume 229(2) of Electronic Notes in Theoretical Computer Science, 21--41, 2009. Elsevier
Details
Christel Baier, Nathalie Bertrand, Marcus Größer
Probabilistic automata over infinite words: expressiveness, efficiency, and decidability
Proc. of the 11th International Workshop on Descriptional Complexity of Formal Systems, volume 3 of Electronic Proceedings in Theoretical Computer Science, 3--16, 2009
Details
Christel Baier, Nathalie Bertrand, Marcus Größer
The effect of tossing coins in omega-automata
Proc. of the 20th International Conference on Concurrency Theory (CONCUR), volume 5710 of Lecture Notes in Computer Science, 15--29, 2009. Springer
Details
Christel Baier, Marcus Größer, Frank Ciesinski
Quantitative analysis under fairness constraints
Proc. of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA), volume 5799 of Lecture Notes in Computer Science, 135--150, 2009. Springer
Details
Christel Baier, Nathalie Bertrand, Marcus Größer
Probabilistic acceptors for languages over infinite words
Proc. of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), volume 5404 of Lecture Notes in Computer Science, 19--33, 2009. Springer
Details
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
A uniform framework for modeling and verifying components and connectors
Proc. of the 11th International Conference on Coordination Models and Languages (COORD), volume 5521 of Lecture Notes in Computer Science, 247--267, 2009. Springer
Details
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye
When are timed automata determinizable?
Proc. of the 36th International Colloquium on Automata, Languages and Programming (ICALP), volume 5556 of Lecture Notes in Computer Science, 43--54, 2009. Springer
Details
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
The Credo Methodology (Extended Version)
Proc. of the 8th International Symposium on Formal Methods for Components and Objects (FMCO), volume 6286 of Lecture Notes in Computer Science, 41--69, 2009. Springer
Details
Mathieu Tracol, Christel Baier, Marcus Größer
Recurrence and transience for probabilistic automata
Proc. of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 4 of Leibniz International Proceedings in Informatics, 395--406, 2009. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata
Proc. of the 23rd IEEE Symposium on Logic in Computer Science (LICS), 217--226, 2008. IEEE Computer Society Press
Details
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
Formal Verification for Components and Connectors
Proc. of the 7th International Symposium on Formal Methods for Components and Objects (FMCO), volume 5751 of Lecture Notes in Computer Science, 82--101, 2008. Springer
Details
Christel Baier, Nathalie Bertrand, Marcus Größer
On Decision Problems for Probabilistic Büchi Automata
Proc. of the 11th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), volume 4962 of Lecture Notes in Computer Science, 287--301, 2008. Springer
Details
Tobias Blechmann, Christel Baier
Checking Equivalence for Reo Networks
Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS), volume 215 of Electronic Notes in Theoretical Computer Science, 209--226, 2008. Elsevier
Details
Frank Ciesinski, Christel Baier, Marcus Größer, David Parker
Generating compact MTBDD-representations from Probmela specifications
Proc. of the 15th International SPIN Workshop on Model Checking of Software (SPIN), volume 5156 of Lecture Notes in Computer Science, 60--76, 2008. Springer
Details
Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein
Reduction Techniques for Model Checking Markov Decision Processes
Proc. of the 5th International Conference on Quantitative Evaluation of Systems (QEST), 45--54, 2008. IEEE Computer Society Press
Details
Sascha Klüppelholz, Christel Baier
Alternating-Time Stream Logic for Multi-agent Systems
Proc. of the 10th International Conference on Coordination Models and Languages (COORD), volume 5052 of Lecture Notes in Computer Science, 184--198, 2008. Springer
Details
Farhad Arbab, Christel Baier
SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors
In Ivica Crnkovic and Antonia Bertolino, eds., 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, Companion Papers, 607-608, 2007. ACM
Details
Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
Stochastic Game Logic
Proc. of the 4th International Conference on Quantitative Evaluation of Systems (QEST), 227--236, 2007. IEEE Computer Society Press
Details
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
Probabilistic and Topological Semantics for Timed Automata
Proc. of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 4855 of Lecture Notes in Computer Science, 179--191, 2007. Springer
Details
Joachim Klein, Christel Baier
On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata
Proc. of the 12th International Conference on Implementation and Application of Automata (CIAA), volume 4783 of Lecture Notes in Computer Science, 51--61, 2007. Springer
Details
Sascha Klüppelholz, Christel Baier
Symbolic model checking for channel-based component connectors
Proc. of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA), volume 175(2) of Electronic Notes in Theoretical Computer Science, 19--37, 2007
Details
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
Proc. of the 13th International Conference on Logic for Programming and Artificial Intelligence (LPAR), volume 4246 of Lecture Notes in Computer Science, 347--361, 2006. Springer
Details
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
Proc. of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), volume 4229 of Lecture Notes in Computer Science, 212--227, 2006. Springer
Details
Christel Baier, Verena Wolf
Stochastic Reasoning About Channel-Based Component Connectors
Proc. of the 8th International Conference on Coordination Models and Languages (COORD), volume 4038 of Lecture Notes in Computer Science, 1--15, 2006. Springer
Details
Frank Ciesinski, Christel Baier
LiQuor: A tool for Qualitative and Quantitative Linear Time Analysis of Reactive Systems
Proceedings of the 3rd Quantitative Evaluation of Systems (QEST), 131--132, 2006. IEEE Computer Society Press
Details
Marcus Größer, Christel Baier
Partial Order Reduction for Markov Decision Processes: A Survey
4th International Symposium on Formal Methods for Components and Objects (FMCO), volume 4111 of Lecture Notes in Computer Science, 408-427, 2006. Springer
Details
Marcus Größer, G. Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska, David Parker
On reduction criteria for probabilistic reward models
Proc. of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 4337 of Lecture Notes in Computer Science, 309--320, 2006. Springer
Details
Jörn Ossowski, Christel Baier
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Proc. of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS), volume 151 of Electronic Notes in Theoretical Computer Science, 39--56, 2006. Elsevier
Details
Marjan Sirjani, M. Jaghoori, Christel Baier, Farhad Arbab
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Proc. of the 8th International Conference on Coordination Models and Languages (COORD), volume 4038 of Lecture Notes in Computer Science, 281--297, 2006. Springer
Details
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
Proc. of the 7th International Conference on Coordination Models and Languages (COORD), volume 3454 of Lecture Notes in Computer Science, 236--251, 2005. Springer
Details
Christel Baier, Frank Ciesinski, Marcus Größer
Quantitative Analysis of Distributed Randomized Protocols
Proc. of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2--7, 2005. ACM Press
Details
Christel Baier, Marcus Größer
Recognizing $ømega$-regular Languages with Probabilistic Automata
Proc. of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS), 137--146, 2005. IEEE Computer Society Press
Details
Christel Baier, Pedro R. D'Argenio, Marcus Größer
Partial Order Reduction for Probabilistic Branching Time
Proc. of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL), volume 153(2) of Electronic Notes in Theoretical Computer Science, 97--116, 2005. Elsevier
Details
Marcus Größer, Christel Baier
Partial Order Reduction for Markov Decision Processes: A Survey
Proc. of the 4th International Symposium on Formal Methods for Component and Objects (FMCO), volume 4111 of Lecture Notes in Computer Science, 408--427, 2005. Springer
Details
Joachim Klein, Christel Baier
Experiments with Deterministic $ømega$-Automata for Formulas of Linear temporal Logic
Proc. of the 10th International Conference on Implementation and Application of Automata (CIAA), volume 3845 of Lecture Notes in Computer Science, 199--212, 2005. Springer
Details
Wolfgang Lenders, Christel Baier
Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams
Proc. of the 8th International Workshop on Foundations of Genetic Algorithms (FOGA), volume 3469 of Lecture Notes in Computer Science, 1--20, 2005. Springer
Details
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
Trace Machines for Observing Continuous-Time Markov Chains
Proc. of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL), volume 153(2) of Electronic Notes in Theoretical Computer Science, 259--277, 2005. Elsevier
Details
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
Models and Temporal Logics for Timed Component Connectors
2nd International Conference on Software Engineering and Formal Methods (SEFM), 198--207, 2004. IEEE Computer Society
Details
Christel Baier, Marcus Größer, Frank Ciesinski
Partial Order Reduction for Probabilistic Systems
1st International Conference on Quantitative Evaluation of Systems (QEST), 230--239, 2004. IEEE Computer Society
Details
Christel Baier, Frank Ciesinski, Marcus Größer
PROBMELA: a modeling language for communicating probabilistic processes
2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE), 57--66, 2004. IEEE Computer Society
Details
Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
Controller Synthesis for Probabilistic Systems
Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), volume 155 of IFIP, 493--506, 2004. Kluwer/Springer
Details
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
Model Checking Action- and State-Labelled Markov Chains
International Conference on Dependable Systems and Networks (DSN), 701--710, 2004. IEEE Computer Society
Details
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes
10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2988 of Lecture Notes in Computer Science, 61--76, 2004. Springer
Details
Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
Comparative Branching-Time Semantics
In Roberto M. Amadio and Denis Lugiez, eds., 14th International Conference on Concurrency Theory (CONCUR), volume 2761 of Lecture Notes in Computer Science, 482--497, 2003. Springer
Details
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures, volume 2459 of Lecture Notes in Computer Science, 261--289, 2002. Springer
Details
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort
Simulation for Continuous-Time Markov Chains
13th International Conference on Concurrency Theory (CONCUR), volume 2421 of Lecture Notes in Computer Science, 338--354, 2002. Springer
Details
Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
Model Checking Performability Properties
International Conference on Dependable Systems and Networks (DSN), 103--112, 2002. IEEE Computer Society
Details
Alexander Asteroth, Christel Baier, Ulrich Aßmann
Model Checking with Formula-Dependent Abstract Models
13th International Conference on Computer Aided Verification (CAV), volume 2102 of Lecture Notes in Computer Science, 155--168, 2001. Springer
Details
Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
Reasoning about Probabilistic Lossy Channel Systems
11th International Conference on Concurrency Theory (CONCUR), volume 1877 of Lecture Notes in Computer Science, 320--333, 2000. Springer
Details
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
On the Logical Characterisation of Performability Properties
27th International Colloquium on Automata, Languages and Programming (ICALP), volume 1853 of Lecture Notes in Computer Science, 780--792, 2000. Springer
Details
Christel Baier, Mariëlle Stoelinga
Norm Functions for Probabilistic Bisimulations with Delays
3rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 1784 of Lecture Notes in Computer Science, 1--16, 2000. Springer
Details
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model Checking Continuous-Time Markov Chains by Transient Analysis
12th International Conference on Computer Aided Verification (CAV), volume 1855 of Lecture Notes in Computer Science, 358--372, 2000. Springer
Details
Christel Baier, Bettina Engelen
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop (ARTS), volume 1601 of Lecture Notes in Computer Science, 34--52, 1999. Springer
Details
Christel Baier, Joost-Pieter Katoen, Holger Hermanns
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
10th International Conference on Concurrency Theory (CONCUR), volume 1664 of Lecture Notes in Computer Science, 146--161, 1999. Springer
Details
Christel Baier, Joost-Pieter Katoen, Diego Latella
Metric Semantics for True Concurrent Real Time
25th International Colloquium on Automata, Languages and Programming (ICALP), volume 1443 of Lecture Notes in Computer Science, 568--579, 1998. Springer
Details
Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan
Symbolic Model Checking for Probabilistic Processes
24th International Colloquium on Automata, Languages and Programming (ICALP), volume 1256 of Lecture Notes in Computer Science, 430--440, 1997. Springer
Details
Christel Baier, Holger Hermanns
Weak Bisimulation for Fully Probabilistic Processes
Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, volume 315 of GMD-Studien, 59--68, 1997. GMD-Forschungszentrum Informationstechnik GmbH
Details
Christel Baier, Holger Hermanns
Weak Bisimulation for Fully Probabilistic Processes
9th International Conference on Computer Aided Verification (CAV), volume 1254 of Lecture Notes in Computer Science, 119--130, 1997. Springer
Details
Christel Baier, Marta Z. Kwiatkowska
Domain equations for probabilistic processes
International Workshop on Expressiveness in Concurrency (EXPRESS), volume 7 of Electronic Notes in Theoretical Computer Science, 34--54, 1997. Elsevier
Details
Christel Baier, Marta Z. Kwiatkowska
Automatic Verification of Liveness Properties of Randomized Systems
In James E. Burns and Hagit Attiya, eds., 16th Annual ACM Symposium on Principles of Distributed Computing (PODC), 295, 1997. ACM
Details
Christel Baier, Marta Z. Kwiatkowska
On topological hierarchies of temporal properties
In Doron A. Peled and Vaughan R. Pratt and Gerard J. Holzmann, eds., Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 141--170, 1996. DIMACS/AMS
Details
Christel Baier
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation
8th International Conference on Computer Aided Verification (CAV), volume 1102 of Lecture Notes in Computer Science, 50--61, 1996. Springer
Details
Christel Baier, Mila E. Majster-Cederbaum
A Categorical Characterization of Consistency Results
5th International Conference on Algebraic Methodology and Software Technology (AMAST), volume 1101 of Lecture Notes in Computer Science, 473--486, 1996. Springer
Details
Mila E. Majster-Cederbaum, Christel Baier
Metric completion versus ideal completion
International Workshop on Structures in Concurrency Theory (STRICT), Workshops in Computing, 236--248, 1995. Springer
Details
Christel Baier, Mila E. Majster-Cederbaum
The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP
8th International Symposium on Fundamentals of Computation Theory (FCT), volume 529 of Lecture Notes in Computer Science, 105--120, 1991. Springer
Details
Bücher
Buchkapitel
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination
In It's All About Coordination. Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, volume 10865 of Lecture Notes in Computer Science, 38--56. Springer, 2018
Details
Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska
Model Checking Probabilistic Systems
In Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem, eds., Handbook of Model Checking, 963--999. Springer, 2018
Details
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Probabilistic Model Checking for Energy-Utility Analysis
In Horizons of the Mind. A Tribute to Prakash Panangaden, volume 8464 of Lecture Notes in Computer Science, 96--123. Springer, 2014
Details
Christel Baier, Marcus Größer, Frank Ciesinski
Model checking linear-time properties of probabilistic systems
In Manfred Droste and Werner Kuich and Heiko Vogler, eds., Handbook of weighted automata, Monographs in Theoretical Computer Science, 519--570. Springer, 2009
Details
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Reachability in Continuous-Time Markov Reward Decision Processes
In Logic and Automata: History and Perspectives, volume 2 of Texts in Logic and Games, 53--72. Amsterdam University Press, 2008
Details
