|
Publikationen der Gruppe von Prof. Dr. C. Baier
Bücher / Textbooks
- Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
The MIT Press, Cambridge, Massachusetts, 2008.
MIT Press
- Alexander Asteroth, Christel Baier
Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
Pearson Studium, Pearson Education Deutschland, 2002.
Pearson Studium
2013
- Michael Ummels, Christel Baier
Computing Quantiles in Markov Reward Models
Proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'13)
Lecture Notes in Computer Science 7794, pp 353-368, 2013, Link.
- Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
5th NASA Formal Methods Symposium (NFM'13)
Lecture Notes in Computer Science 7871, pp 307-321, 2013, Link.
- Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model Checking for Performability
Mathematical Structures in Computer Science
Accepted for publication.
2012
- Christel Baier, Marcus Grösser, Nathalie Bertrand
Probabilistic omega-automata
Journal of the ACM (JACM), Volume 59(1), 2012
ACM Link
- Sascha Klüppelholz
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
PhD thesis, Technische Universität Dresden, 2012.
Download: PDF file, BibTeX file
- Clemens Dubslaff, Christel Baier, Manuela Berg
Model checking probabilistic systems against pushdown specifications
Information Processing Letters, Volume 112, Issues 8-9, 30 April 2012, pp 320-328
ScienceDirect
- Paolo Zuliani, Christel Baier, Edmund M. Clarke
Rare-event verification for stochastic hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (HSCC),
pp 217-226, 2012.
ACM Link
- 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?
Proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'12),
Lecture Notes in Computer Science 7437, pp 47-62, 2012. SpringerLink, Extended version.
- Christel Baier, Thomas Brazdil, Marcus Größer, Antonin Kucera
Stochastic Game Logic
Acta Informatica, Volume 49(4), pp 203-224, 2012. SpringerLink
- 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
Proceedings of the 7th International Workshop on Systems Software Verification (SSV'12),
EPTCS 102, pp 156-166, 2012, Link.
- Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund
Static Partial Order Reduction for Probabilistic Concurrent Systems
Proceedings of the 9th International Conference on Quantitative Evaluation of Systems (QEST'12),
pp 104-113, IEEE Computer Society Press, 2012, Link.
- Taloue Chen, Vojtech Forejt, Marta Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
Playing Stochastic Games Precisely
Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12),
Lecture Notes in Computer Science 7454, pp 348-363, 2012, SpringerLink.
- Rohit Chadha and Michael Ummels
The Complexity of Quantitative Information Flow in Recursive Programs
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'12),
pp 534-545, Leibniz International Proceedings in Informatics 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, Link.
2011
- Christel Baier, Joachim Klein, Sascha Klüppelholz
A Compositional Framework for Controller Synthesis
Proc. of the 22nd International Conference on Concurrency Theory (CONCUR'11),
Lecture Notes in Computer Science 6901, pp 512-527, 2011. SpringerLink
- 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'11), 2011
Download: PDF file
- 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 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11),
Lecture Notes in Computer Science 6959, pp 228-243, 2011. SpringerLink
- Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling and Verification of Components and Connectors
Formal Methods for Eternal Networked Software Systems (SFM'11),
Lecture Notes in Computer Science 6659, pp 114-147, 2011. SpringerLink
- Sun Meng, Farhad Arbab, Christel Baier
Synthesis of Reo Circuits from Scenario-Based Specifications
Science of Computer Programming (SCP), Volume 76(8), pp 651--680, 2011.
Download: PDF file
- Frank Ciesinski
High-Level Modelling and Efficient Analysis of Randomized Protocols
PhD thesis, Technische Universität Dresden, 2011.
Download: PDF file
2010
- Christel Baier
On Model Checking Techniques for Randomized Distributed Systems
8th International Conference on Integrated Formal Methods (IFM), Lecture Notes in Computer Science 6396, pp 1-11, 2010
SpringerLink
- Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performance Evaluation and Model Checking Join Forces
Communications of the ACM, Volume 53(9), pp 76-85, 2010
ACM Link
- Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier
Partially-Shared Zero-Surpressed Multi-Terminal BDDs: Concept, Algorithms, and Applications
Formal Methods in System Design, Volume 36(3), pp 198-222, 2010
Springer Link
- 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 '10),
pp. 97-111, LNCS 6416, 2010.
Springer Link
- Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Xuedong Liang, Wang Yi
Credo Methodology - Extended Version
Proc. of the 8th International Symposium on Formal Methods for Component and Objects (FMCO '09),
pp. 41-69, LNCS 6286, 2010
Springer Link
- Sascha Klüppelholz, Christel Baier
Alternating-time stream logic for multi-agent systems
Journal: Science of Computer Programming, 2010
ScienceDirect
- Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Xuedong Liang, Wang Yi
Credo Methodology. Modeling and Analyzing a Peer-to-Peer System in Credo
Proceedings of the 3nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'09), ICTAC 2009 satellite workshop.
Direct link
- Sun Meng, Farhad Arbab, Christel Baier
Synthesis of Reo Circuits from Scenario-based Interaction Specifications
Journal: Science of Computer Programming.
Direct link
- 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, ISSN 0925-9856, Volume 36, Number 1.
Springer link
2009
- 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 Component and Objects (FMCO '08),
pp. 82-101, LNCS 5751, 2009.
Springer Link
- Mathieu Tracol, Christel Baier, Marcus Grösser
Recurrence and Transience for Probabilistic Automata
Proc. of the 29th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '09),
pp. 395-406, LIPIcs 4, 2009.
DROPS
- Christel Baier, Marcus Grösser, Frank Ciesinski
Quantitative analysis under fairness constraints
Proc. of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA '09),
pp. 135-150, LNCS 5799, 2009.
Springerlink
- Christel Baier, Nathalie Bertrand, Marcus Grösser
The Effect of Tossing Coins in Omega-Automata
Proc. of the 20th International Conference on Concurrency Theory (CONCUR '09),
pp. 15-29, LNCS 5710, 2009.
Springerlink
- Christel Baier, Nathalie Bertrand, Marcus Grösser
Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability
Proc. of the 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS '09),
pp. 3-16, EPTCS 3, 2009.
arXiv.org
- 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 '09),
pp. 43-54, LNCS 5556, 2009.
SpringerLink
- Christel Baier, Marcus Größer, Frank Ciesinski
Model checking linear time properties of probabilistic systems
chapter 13 of the Handbook of Weighted Automata , editors M. Droste, W. Kuich and H. Vogler,
EATCS Monographs in Theoretical Computer Science, Springer, 2009.
- 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 (Coordination '09),
pp. 247-267, LNCS 5521, 2009.
SpringerLink
- Sascha Klüppelholz, Christel Baier
Symbolic Model Checking for Channel-based Component Connectors
Science of Computer Programming, 2009.
ScienceDirect
- 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 '09),
pp. 19-33, LNCS 5404, 2009.
SpringerLink
2008
- 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 '08),
pp. 45-54, IEEE Computer Society Press, 2008.
IEEE Xplore Link
- Marcus Größer
Reduction Methods for Probabilistic Model Checking
PhD thesis, Technische Universität Dresden, 2008.
Download: PDF file
- 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 '08),
pp. 60-76, LNCS 5156, 2008.
SpringerLink
- 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 '08),
pp. 217-226, IEEE Computer Society Press, 2008.
IEEE Xplore Link
- Sascha Klüppelholz, Christel Baier
Alternating-Time Stream Logic for Multi-Agent Systems
Proc. of the 10th International Conference on Coordination Models and Languages (Coordination'08),
pp. 184-198, LNCS 5052, 2008.
SpringerLink
- Christel Baier, Nathalie Bertrand, Marcus Größer
On Decision Problems for Probabilistic Buechi Automata
Proc. of the 11th International Conference on Foundations of Software Science and Computation Structures (FOSSACS '08),
pp. 287-301, LNCS 4962, 2008.
SpringerLink
- 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'08),
pp. 21-41, ENTCS 229(2), 2009.
ScienceDirect
2007
- 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, April 2007.
Download: PDF file
- Joachim Klein, Christel Baier
On-the-fly Stuttering in the Construction of Deterministic omega-Automata
Proc. of the 12th International Conference on Implementation and Application of Automata (CIAA '07),
pp. 51-61, LNCS 4783, 2007.
SpringerLink
- Tobias Blechmann, Christel Baier
Checking Equivalence for Reo Networks
Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS '07),
pp. 209-226, ENTCS 215, 2008.
Download: PDF file
- Christel Baier, Tomas Brazdil, Marcus Groesser, Antonin Kucera
Stochastic Game Logic
Proc. of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST '07),
pp. 227-236, IEEE Computer Society Press, 2007.
IEEE Xplore Link
- Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Groesser
Probabilistic and Topological Semantics for Timed Automata
Proc. of the 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '07),
pp. 179-191, LNCS 4855, 2007.
SpringerLink
- Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Reachability in Continuous-Time Markov Reward Decision Processes
Logic and Automata , J. Flum, E. Grädel, T. Wilke (eds), Texts in Logic and Games, Volume 2,
pp. 53-72, Amsterdam University Press, 2007.
EEMCS EPrints Service
- Christel Baier, Nathalie Bertrand, Phillipe Schnoebelen
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
ACM Transactions on Computational Logic (TOCL), Volume 9 , Issue 1, Article No. 5, 2007.
ACM Link
2006
- Christel Baier, Marjan Sirjani, Farhad Arbab, Jan Rutten
Modeling component connectors in Reo by constraint automata
Science of Computer Programming, Vol. 61, pp. 75-113, 2006.
ScienceDirect
- Christel Baier, Verena Wolf
Stochastic Reasoning About Channel-Based Component Connectors
Proc. of the 8th International Conference on Coordination Models and Languages (Coordination '06),
pp. 1-15, LNCS 4038, 2006.
Download: PDF file.
- Marjan Sirjani, Mohammad Mahdi 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 (Coordination '06),
pp. 281-297, LNCS 4038, 2006.
Download: PDF file.
- Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
Symbolic verification of communication systems with probabilistic message losses: liveness and fairness
Proc. of the 26th Conference on Formal Techniques for Networked and Distributed Systems (FORTE '06),
pp. 212-227, LNCS 4229, 2006.
Download: PDF file.
- Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
On computing fixpoints in well-ordered regular model checking, with applications to lossy channel systems
Proc. of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR '06),
pp. 347 - 361, LNCS 4246, 2006.
Download: PDF file.
- Marcus Größer, Gethin 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'06),
pp. 309-320, LNCS 4337, 2006.
Download: PDF file.
- Verena Wolf, Mila Majster-Cederbaum, Christel Baier
Trace machines for Observing Continuous Time Markov Chains
Proc. of the 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL '05),
pp. 259-277, ENTCS 153(2), 2006.
Download:PDF file .BibTex
- Christel Baier, Pedro d'Argenio, Marcus Größer
Partial Order Reduction for Probabilistic Branching Time
Proc. of the 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL '05),
pp. 97-116, ENTCS 153(2), 2006.
Download: PDF file.
- Frank Ciesinski, Christel Baier
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
In Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems (QEST '06),
pp. 131 - 132, IEEE Computer Society Press, 2006.
Download:PDF file.
- 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 '05),
pp. 19-37, ENTCS 175(2), 2006.
Download: PDF file.
- 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 '05),
pp. 39-56, ENTCS 151(1), 2006.
Download: PDF file.
- Christel Baier, Nathalie Betrand, Philippe Schnoebelen
A note on the attractor-property of infinite-state Markov chains
Information Processing Letters, pp. 58-63, Vol. 97(2), 2006.
Download: PDF file.
2005
- Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
Comparative branching-time semantics for Markov chains
Information and Computation, Vol. 200(2), pp. 149-214, 2005.
ScienceDirect
- Joachim Klein, Christel Baier
Experiments with Deterministic omega-Automata for Formulas of Linear temporal Logic
Proc. of the 10th International Conference on Implementation and Application of Automata (CIAA '05),
pp. 199-212, LNCS 3845, 2005.
Download: PDF file.
- Christel Baier
Probabilistic Models for Reo connector circuits
Extended version.
Download: PDF file.
- Christel Baier
Probabilistic Models for Reo connector circuits
pp. 1718-1748, Journal of Universal Computer Science, Vol. 11, No. 10, 2005.
Download:PDF file.
- Christel Baier, Frank Ciesinski, Marcus Größer
Quantitative Analysis of Distributed Randomized Protocols, 2005
Proc. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '05),
pp. 2-7, ACM Press, 2005.
Download: PDF file.
- Christel Baier, Marcus Größer
Recognizing omega-regular Languages with Probabilistic Automata
Proc. of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS '05),
pp. 137-146, IEEE Computer Society Press, 2005.
Download: PDF file.
- Christel Baier, Frank Ciesinski, Marcus Größer
ProbMela and Verification of Markov Decision Processes
Special issue of ACM Performance Evaluation Review on Performance and Verification, Vol 32(4),
pp. 22-27, 2005.
Download: PDF file.
- Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model Checking meets Performance Evaluation
Special issue of ACM Performance Evaluation Review on Performance and Verification, Vol 32(4),
pp. 10-15, 2005.
Download: PDF file.
- Farad Arbab, Christel Baier, Frank de Boer, Jan 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 (Coordination '05),
pp 236-251, LNCS 3454, 2005.
Download: PDF file.
- 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 '05),
pp. 408-427, LNCS 4111, 2005.
Download: Springer Link
- W. Lenders, C. Baier
Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams
Foundations of genetic Algorithms (FOGA 2005), LNCS 3469, pp 1-20, 2005.
Download: PDF file.
2004
- F. Arbab, C. Baier, F. de Boer, J. Rutten. M. Sirjani
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
Unpublished manuscript, 2004.
Download: PDF file.
- C.Baier, L. Cloth, B. Haverkort, M. Kuntz, M. Siegle
Model Checking Action- and State-Labelled Markov Chains
Proc. of Int. Conf. on Dependable Systems and Networks (DSN), Performance and Dependability Symposium (PDS), pp. 701-710, 2004.
Download: PDF file.
- F. Arbab, C. Baier, F. de Boer, J. Rutten
Models and Temporal Logics for Timed Connector Circuits
Proceedings 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM), Peking, September 2004.
Download: PDF file.
- C.Baier and M. Größer, Frank Ciesinski
Partial Order Reductions for Probabilistic Systems
1st International Conference on the Quantitative Evaluation of Systems (QEST) 2004, pp 230-239, IEEE CS Press.
Download: PDF file.
- C.Baier, M. Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
Controller synthesis for probabilistic systems
18th IFIP World Computer Congress, Theoretical Computer Science, pp 439-506, 2004.
Download: PDF file.
- C. Baier, F. Ciesinski, M. Größer
PROBMELA: a modeling language for communicating probabilistic systems
In Proc. of the Second ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2004), IEEE CS Press, 2004.
Download: PDF file.
- C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 2988, pp 61-76, 2004.
Download: PDF file.
- C. Baier, H. Hermanns, J.-P. Katoen
Probabilistic weak simulation is decidable in polynomial time
Information Processing Letters, Vol. 89, Issue 3, pages 123 - 252, 2004.
Download: PDF file.
2003
- F.Arbab, C. Baier, J. Rutten, M. Sirjani
Modelling Component Connectors in Reo by Constraint Automata
In Proc. of the 2nd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA) 2003, vol 97, pp 25-46, ENTCS.
Download: PDF file.
- C. Baier, H. Hermanns, J.P. Katoen, V. Wolf
Comparative Branching Time Semantics for Markov Chains (extended abstract)
14th International Conference on Concurrency Theory (CONCUR) 2003, Sept. 2003, LNCS 2761, pp 492-507.
Download: PDF file.
- P. Abdulla, C. Baier, P. Iyer, B. Jonsson
Undecidability of reasoning about probabilistic lossy channel systems
Information and Computation.
- C. Baier, B. Haverkort, H. Hermanns, J.P. Katoen
Model Checking Algorithms for Continuous Time Markov Chains
IEEE TSE Vol.29, No.7, 2003.
Download: PDF file.
- Frank Ciesinski, Marcus Größer
On Probabilistic Computation Tree Logic
LNCS 2925, Validation of Stochastic Systems.
Download: PDF file.
2002
- C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen
Automated Performance and Dependability Evaluation using Model Checking
in Tutorial Proc. PERFORMANCE 2002, Springer LNCS 2459, 2002.
Download: PDF file.
- B. Haverkort, L. Cloth, H. Hermanns, J.-P. Katoen, C. Baier
Model Checking Performability Properties
In Proc. DSN 2002, IEEE CS Press, 2002.
Download: PDF file, BibTex
- Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn Haverkort
Simulation for Continuous-Time Markov Chains
Proc. 13th International Conference on Concurrency Theory (CONCUR) 2002, Springer LNCS 2421, 2002.
Download: PDF file, BibTex.
- Marcus Größer
Quantitative Analyse Probabilistischer Systeme
Download: PDF file.
2001
- J.-P. Katoen, C. Baier, D. Latella
Metric Semantics for True Concurrent Real-Time
Theoretical Computer Science, Vol. 254 (No. 1-2), pp 501-542, 2001.
Download: PDF file, BibTex.
- Alexander Asteroth, Christel Baier, Ulrich Aßmann
Model Checking with formula-dependent abstract models
Proc. of the 13th Conference on Computer Aided Verification CAV'01, Lecture Notes in Computer Science, Vol. 2102, pp 155-168, 2001.
Download: PDF file, BibTex.
2000
- P. Abdulla, C. Baier, P. Iyer, B. Jonsson
Reasoning about Probabilistic Channel Systems
Proc. CONCUR 2000, Lecture Notes in Computer Science, Vol. 1877, pp 320-330, 2000.
Download: BibTex.
- Alexander Asteroth
Effiziente Identifikation parametrisierter Kreislaufmodelle
Dissertation (PhD Thesis), Universität Bonn, 2000.
Download: PDF file, BibTex.
- Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
On logical characterisations of performability properties
Proc. ICALP 2000, Lecture Notes in Computer Science, Vol. 1853, pp 780-792, 2000.
Download: PDF file, BibTex.
- C. Baier, M.Z. Kwiatkowska
On Topological Hierarchies of Temporal Properties
Fundamentae Informaticae, Vol. 41, pp 259-294, 2000.
Download: BibTex.
A prelimary version appeared in DIMACS Workshop on Partial Order Methods in Verification (POMIV'96), Americal Mathematical Society, Series in Discrete Mathematics and Theoretical Computer Science, Vol. 29, D. Peled, V. Pratt, G. Holzmann (Ed.), pp 141-170, 1996.
Download: BibTex.
- Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model Cheching continuous-time Markov chains by transient analysis
Proc. CAV 2000, Lecture Notes in Computer Science, Vol. 1855, pp 358-372, 2000.
Download: PDF file, BibTex.
- Christel Baier, Marielle Stoelinga
Norm functions for probabilistic bisimulations with delays
Proc. FOSSACS 2000, pp 1-16, Lecture Notes in Computer Science, Vol. 1784, 2000.
Download: BibTex.
- C. Baier, B. Engelen, M. Majster-Cederbaum
Deciding Bisimilarity and Similarity for Probabilistic Processes
Journal of Computer and System Sciences 60, pp 187-231, 2000.
Download: PDF file, BibTex.
A prelimary version by the first author with the title
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation
appeared in Proc. 8th International Conference on Computer Aided Verification (CAV'96), Lecture Notes in Computer Science, Vol. 1102, pp 38-49, 1996.
Download: PDF file, BibTex.
- C. Baier, M.Z. Kwiatkowska
Domain Equations for Probabilistic Processes
Mathematical Structures in Computer Science, Vol. 10 (6), pp 665-717, 2000.
Download: PDF file, BibTex.
A prelimary version appeared in 4th Workshop on Expressiveness in Concurrency (EXPRESS'97), Santa Margherita, Electronic Notes in Theoretical Computer Science, Vol. 7, 1997.
Download: PDF file, BibTex.
- C. Baier, M.Z. Kwiatkowska
On Topological Hierarchies of Temporal Properties
Fundamentae Informaticae, Vol. 41, pp 259-294, 2000.
Download: BibTex.
A prelimary version appeared in DIMACS Workshop on Partial Order Methods in Verification (POMIV'96), Americal Mathematical Society, Series in Discrete Mathematics and Theoretical Computer Science, Vol. 29, D. Peled, V. Pratt, G. Holzmann (Ed.), pp 141-170, 1996.
Download: BibTex.
- C. Baier, M.Z. Kwiatkowska
Domain Equations for Probabilistic Processes
Mathematical Structures in Computer Science, Vol. 10 (6), pp 665-717, 2000.
Download: BibTex.
A prelimary version appeared in 4th Workshop on Expressiveness in Concurrency (EXPRESS'97), Santa Margherita, Electronic Notes in Theoretical Computer Science, Vol. 7, 1997.
Download: PDF file, BibTex.
- C. Baier, B. Engelen, M. Majster-Cederbaum
Deciding Bisimilarity and Similarity for Probabilistic Processes
Journal of Computer and System Sciences 60, pp 187-231, 2000.
Download: PDF file, BibTex.
A prelimary version by the first author with the title
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation
appeared in Proc. 8th International Conference on Computer Aided Verification (CAV'96), Lecture Notes in Computer Science, Vol. 1102, pp 38-49, 1996.
Download: PDF file, BibTex.
1999
- Alexander Asteroth, Jens Frings, Knut Möller
Parameter Identification Using Aspects - Application to the Human Cardiovascular System
In Proceedings of the 10th Italian Workshop on Neural Nets, WIRN Vietri-99, Springer Verlag, 1999.
- Alexander Asteroth, Tobias Kunze, Jens Frings, Knut Möller, Jürgen Drescher
Model Based Classification of Cardiovascular Response Patterns
In Journal of Gravitational Physiology, 1999.
- A. Asteroth, K. Möller, J. Frings, L. Beck, J. Drescher
Model Based Characterization of μG Induced Alterations of CVS-Regulation
In Journal of Gravitational Physiology, 1998.
- Alexander Asteroth, Knut Möller
Identification of Individualized Models of the Human Cardiovascular System
In Proceedings of the Workshop on Machine Learning in Medical Applications, ACAI'99.
- C. Baier, J.-P. Katoen, H. Hermanns
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
Proc. 10th International Conference on Concurrency Theory (CONCUR'99), Lecture Notes in Computer Science, Vol. 1664, pp 146-161, 1999.
Download: PDF file, BibTex.
- C. Baier, B. Engelen
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: an Algorithmic Approach
Proc. 5th International AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99), Lecture Notes in Computer Science, Vol. 1601, pp 34-52, 1999.
Download: PDF file, BibTex.
- C. Baier, E. Clarke, V. Hartonas-Garmhausen
On the Semantic Foundations of Probabilistic VERUS
Proc. Workshop on Probabilistic Methods in Verification (PROBMIV'98), Electronic Notes in Theoretical Computer Science, Vol. 21, 1999.
Download: PDF file, BibTex.
- C. Baier, M.Z. Kwiatkowska, G. Norman
Computing Probability Bounds for Linear Time Formulas over Concurrent Markov Chains
In Proc. Workshop on Probabilistic Methods in Verification (PROBMIV'98), Electronic Notes in Theoretical Computer Science, Vol. 21, 1999.
Download: BibTex.
1998
- Alexander Asteroth
A Calculus for Higher Order Derivatives in Multi Layer Perceptrons
Technical report, Institut für Informatik I, Universität Bonn, 1998.
- Alexander Asteroth
System Decomposition by Aspect Modelling
Technical report, Institut für Informatik I, Universität Bonn, 1998.
- C. Baier, E. Clarke
The Algebraic Mu-Calculus and MTBLIs
Proc. 5th Workshop on Logic, Language, Information and Computation, (WoLLIC'98), pp 27-38, 1998.
Download: PDF file, BibTex.
- C. Baier, M.Z. Kwiatkowska
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints
Information Processing Letters, Vol. 66, No. 2, pp 71-79, 1998.
Download: PDF file, BibTex.
- C. Baier, M.Z. Kwiatkowska
Model Checking for a Probabilistic Branching Time Logic with Fairness
Distributed Computing, Vol. 11, No. 3, pp 125-155, 1998.
Download: PDF file, BibTex.
- C. Baier
On the Algorithmic Verification of Probabilistic Systems
Habilitation Thesis, Universität Mannheim, 1998.
Download: PDF file, BibTex.
- J.-P. Katoen, C. Baier, D. Latella
Metric Semantics for True Concurrent Real-Time
Proc. ICALP'98, LNCS 1443, pp. 568-580, 1998.
Download: PDF file, BibTex.
1997
- Alexander Asteroth, Knut Möller, Helmut Schwilden
Adaptive Control in Anaesthesia
In Proceedings od the 1997 IEEE Workshop on Neural Networks for Signal Processing, pages 236-243, 1997.
- Alexander Asteroth, Knut Möller, Friedhelm Baisch, Luis Beck, Jürgen Drescher
Cardiovascular Regulation: a Modelling Approach
In Journal of Gravitational Physiology, 1997.
- C. Baier
Trees and Semantics
Theoretical Computer Science, Vol. 179, pp 217-250, 1997.
Download: BibTex.
- C. Baier, H. Hermanns
Weak Bisimulation for Fully Probabilistic Processes
Proc. CAV'97, LNCS 1254, pp 119-130, 1997.
Download: PDF file, BibTex.
- C. Baier, M. Majster-Cederbaum
Metric Semantics from Partial Order Semantics
Acta Informatica, Vol. 34, pp 701-735, 1997.
Download: BibTex.
- C. Baier, E. Clarke, V. Hartonas-Garmhausen, M. Kwiatkowska, M. Ryan
Symbolic Model Checking for Probabilistic Processes
Proc. 24th International Colloquium on Automata, Languages and Programming (ICALP'97), Lecture Notes in Computer Science, Vol. 1256, pp 430-440, 1997.
Download: PDF file, BibTex.
- C. Baier, M. Majster-Cederbaum
The Connection between Initial and Unique Solutions of Domain Equations in the CPO and Metric Approach
Formal Aspects of Computing, Vol. 9, pp 425-445, 1997.
Download: BibTex.
- C. Baier, M. Majster-Cederbaum
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Fundamenta Informaticae, Bd. 29 (3), pp 225-256, 1997.
A short version with the title
A Categorical Characterization of Consistency
appeared in Proc. 5th International Conference on Algebraic Methodology and Software Technology (AMAST'96), Lecture Notes in Computer Science, Vol. 1101, pp 473-486, 1996.
Download: BibTex.
1996
- C. Baier, M. Majster-Cederbaum
Denotational Linear Time Semantics and Sequential Composition
Information Processing Letters, Vol. 59, pp 135-143, 1996.
Download: BibTex.
- M. Majster-Cederbaum, C. Baier
Metric Completion versus Ideal Completion
Theoretical Computer Science, Bd. 170, 1996.
Download: BibTex.
A short version with the same title appeared in Proc. International Workshop on Structures in Concurrency Theory (STRICT'95), Springer-Verlag, Workshops in Computing, J. Desel (Ed.), pp 236-248, 1995.
1995 und früher / 1995 and earlier
- Alexander Asteroth
Über geeignete Repräsentationen der Q-Funktion beim Q-Lernen
Diplomarbeit (Masters Thesis), Universität Bonn, 1995.
- C. Baier, M. Majster-Cederbaum
Denotational Semantics in the CPO and Metric Approach
Theoretical Computer Science, Vol. 135, pp 171-220, 1994.
Download: BibTex.
- C. Baier
Transitionssystem- und Baum-Semantiken für CCS
Ph.D. Thesis, Universität Mannheim, 1994.
Download: BibTex.
- U. Schnepf, A. Asteroth, M.S. Fischer, K. Möller
Tracking and Grasping of Moving Objects: a Behaviour-Based Approach
In Proceedings of the 5th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-92), pages 195--204, Springer Verlag, Berlin, 1992.
- C. Baier, M. Majster-Cederbaum
The Connection between an Event Structure Semantics and an Operational Semantics for TCSP
Acta Informatica, Vol. 31, pp 81-104, 1994.
A short version with the title
The Consistency of a Noninterleaving and an Interleaving Model for full TCSP
appeared in Proc. 8th International Conference on Fundamentals of Computation Theory (FCT'91), Lecture Notes in Computer Science, Vol.529, pp 105-120, 1991.
|
|
E-Mail-Kontaktformular