TUD Logo

TUD Home » ... » Theoretical Computer Science » Chair of Algebraic and Logical Foundations of Computer Science » Publications

Chair of Algebraic and Logical Foundations of Computer Science

Publications of Prof. Dr. C. Baier's Group

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

2017

  • Christel Baier, Joachim Klein, Linda Leuschner, Dave Parker, Sascha Wunderlich
    Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
    Proceedings of the 29th International Conference on Computer Aided Verification (CAV'17)
    2017, accepted for publication.
  • Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
    Maximizing the Conditional Expected Reward for Reaching the Goal
    Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17), Part II
    Lecture Notes in Computer Science 10206, pp 269-285, 2017, Link, additional materials.
  • Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (editors)
    SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science,
    Limerick, Ireland, January 16-20, 2017, Proceedings,

    Lecture Notes in Computer Science 10139, 2017, Link.

2016

  • 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
    Proceedings of the 1st Workshop on Post-Moore's Era Supercomputing (PMES'16),
    to appear
  • Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich
    Greener Bits: Formal Analysis of Demand Response
    Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16),
    Lecture Notes in Computer Science 9938, pp 323-339, 2016, Link, additional materials.
  • Christel Baier
    Cost-Utility Analysis in Probabilistic Models
    Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE'16),
    IEEE, pp 1, 2016, Link.
  • Daniel Gburek, Christel Baier, Sascha Klüppelholz
    Composition of Stochastic Transition Systems Based on Spans and Couplings
    Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP'16),
    Leibniz International Proceedings in Informatics (LIPIcs), volume 55, pp 102:1-102:15, 2016, Link, additional materials.
  • Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
    Markov Chains and Unambiguous Büchi Automata
    Proceedings of the 28th International Conference on Computer Aided Verification (CAV'16),
    Lecture Notes in Computer Science 9779, pp 23-42, 2016, Link, additional materials.
  • Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
    Advances in Symbolic Probabilistic Model Checking with PRISM
    Proceedings of the 22th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16),
    Lecture Notes in Computer Science 9636, pp 349-366, 2016, Link, additional materials.
  • Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
    Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat
    Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE'16),
    Lecture Notes in Computer Science 9633, pp 287-304, 2016, Link, additional materials.
  • 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,
    Lecture Notes in Computer Science 9660, pp 122-139, 2016, Link.

2015

  • Christel Baier
    Reasoning About Cost-Utility Constraints in Probabilistic ModelsQuantitative Analysis of Communication Scenarios
    Proceedings of the 9th International Workshop on Reachability Problems (RP'15)
    Lecture Notes in Computer Science 9328, pp 1-6, 2015, Link.
  • Clemens Dubslaff, Christel Baier
    Quantitative Analysis of Communication Scenarios
    Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'15)
    Lecture Notes in Computer Science 9268, pp 76-92, 2015, Link.
  • Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff
    Ratio and Weight Quantiles
    Proceedings of the 40th Symposium on Mathematical Foundations of Computer Science, Part I (MFCS'15)
    Lecture Notes in Computer Science 9234, pp 344-356, 2015, Link, Extended version.
  • Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Křetínský, David Müller, David Parker, Jan Strejček
    The Hanoi Omega-Automata Format
    Proceedings of the 27th Conference on Computer Aided Verification, Part I (CAV'15),
    Lecture Notes in Computer Science 9206, pp 479-486, 2015, Link, Tools.
  • Joachim Klein, Christel Baier, Sascha Klüppelholz
    Compositional Construction of Most General Controllers
    Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2, Volume 52(4-5), 2015, pp 443-482, Link.
  • Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
    Probabilistic Model Checking for Feature-oriented Systems
    Transactions on Aspect-Oriented Software Development, Volume 12, 2015, pp 180-220, Link.
  • 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, Volume 81(1), 2015, pp 258-287, Link.
  • Christel Baier, Cesare Tinelli (editors)
    Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
    Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), 2015, London, UK, April 11-18, 2015

    Lecture Notes in Computer Science 9035, 2015, Link.

2014

  • Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer and Marcin Jurdzinski
    Stochastic Timed Automata
    Logical Methods in Computer Science (LMCS) Volume 10(4:6), pp 1-73, 2014, Link.
  • Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
    Weight Monitoring with Linear Temporal Logic: Complexity and Decidability
    Proceedings of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS'14)
    pp 11:1-11:10, ACM, 2014, Link, Extended version.
  • Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
    Trade-off Analysis Meets Probabilistic Model Checking
    Proceedings of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS'14)
    pp 1:1-1:10, ACM, 2014, Link.
  • Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
    Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
    Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS'14)
    Lecture Notes in Computer Science 8489, pp 20-39, 2014, Link.
  • Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
    Probabilistic Model Checking for Energy-Utility Analysis
    Horizons of the Mind. A Tribute to Prakash Panangaden
    Lecture Notes in Computer Science 8464, pp 96-123, 2014, Link.
  • Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
    Energy-Utility Quantiles
    Proceedings of the 6th NASA Formal Methods Symposium (NFM'14)
    Lecture Notes in Computer Science 8430, pp 285-299, 2014, Link, Extended Version.
  • Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
    Probabilistic Model Checking for Energy Analysis in Software Product Lines
    Proceedings of the 13th International Conference on Modularity (MODULARITY'14)
    ACM, pp 169-180, 2014, Link, Technical Report.
  • 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
    Proceedings of the 17th International Conference of Fundamental Approaches to Software Engineering (FASE'14)
    Lecture Notes in Computer Science 8411, pp 1-16, 2014, Link.
  • Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker
    Computing Conditional Probabilities in Markovian Models Efficiently
    Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)
    Lecture Notes in Computer Science 8413, pp 515-530, 2014, Link, Extended version.
  • Christel Baier, Joachim Klein, Sascha Klüppelholz
    Synthesis of Reo Connectors for Strategies and Controllers
    Fundamenta Informaticae, Volume 130, Issue 1, pp 1-20, 2014, Link.
  • Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz
    Are Good-for-Games Automata Good for Probabilistic Model Checking?
    Proceedings of the 8th International Conference on Language and Automata Theory and Applications (LATA'14)
    Lecture Notes in Computer Science 8370, pp 453-465, 2014, Link, Extended version.

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
    Proceedings of the 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, Volume 23, Issue 4, pp 751-795, August 2013, Link.
  • Christel Baier
    Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
    Proceedings of the 5th International Conference on Algebraic Informatics (CAI'13)
    Lecture Notes in Computer Science 8080, pp 4-5, 2013, Link.
  • 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
    Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC'13), pp 16:1-12, ACM, 2013, Link.
  • Joachim Klein
    Compositional Synthesis and Most General Controllers
    PhD thesis, Technische Universität Dresden, 2013, Link.

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'12),
    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.

Last modified: 24th Apr 2017, 3.16 PM
Author: Dipl.-Math. Sascha Wunderlich

Contact
Prof. Dr.
Christel Baier

Phone: +49 (0) 351 463-38548
Fax: +49 (0) 351 463-38348
e-mail contact form