Christel Baier, Verena Wolf, Stochastic
Reasoning About Channel-Based Component Connectors, Proc. 8th
International Conference on Coordination Models and Languages
(COORDINATION), Lecture Notes in Computer Science 4038, pages 1--15,
2006. PDF
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier and
Farhad Arbab, Compositional Semantics
of an Actor-Based Language Using Constraint Automata, Proc. 8th
International Conference on Coordination Models and Languages
(COORDINATION), Lecture Notes in Computer Science 4038, pages 281--297,
2006. PDF
Sascha Klüppelholz, Christel Baier, Symbolic Model Checking for Channel-based
Component Connectors, accepted for publication, FOCLASA'06. PDF
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen, Symbolic verification of communication
systems with probabilistic message losses: liveness and fairness,
to appear in Proc. FORTE 2006. PDF
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen, On computing fixpoints in well-ordered
regular model checking, with applications to lossy channel systems,
to appear in Proc. LPAR'06. PDF
Marcus Größer, Gethin Norman, Christel Baier, Frank
Ciesinski, Marta Kwiatkowska, David Parker, On reduction criteria for probabilistic
reward models, In Proc. 25th Conference on Foundations of
Software Technology and Theoretical Computer Science (FSTTCS'06). To
appear.2006. PS
Frank Ciesinski, Christel Baier, LiQuor: A tool for Qualitative and
Quantitative Linear Time analysis of Reactive Systems, accepted
for publication, QEST'06. PDF
Christel Baier, Nathalie Bertrand, Phillipe Schnoebelen, Verifying nondeterministic probabilistic
channel systems against ω-regular linear-time properties, to
appear in ACM Transactions on Comp. Logic. PDF
Jörn Ossowski, Christel Baier, Symbolic
Reasoning with Weighted and
Normalized Decision Diagrams, to appear in Proceedings of the
Calculemus 2005 workshop of FM05 (Formal Methods), ENTCS 151(3):39-56,
2006. PDF
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. PS
Joachim Klein, Christel Baier, Experiments
with Deterministic omega-Automata for Formulas of Linear temporal Logic,
Proceedings CIAA'05, LNCS 3845, pp 199-212, PDF
Christel Baier, Probabilistic
Models for Reo connector circuits, Journal of Universal Computer
Science, Vol. 11, No. 10,
pp. 1718-1748. PS
Christel Baier, Frank Ciesinski, Marcus Groesser, Quantitative Analysis of Distributed
Randomized Protocols, 2005, Proceedings FMICS'05. PDF
Christel Baier, Marcus Groesser, Recognizing omega-regular Languages with
Probabilistic Automata, 2005, Proceedings LICS'05
(Logic In Computer Science), CS Press, pp 137-146. PDF
V. Wolf, M. Majster-Cederbaum, C. Baier, Trace machines for Observing Continuous
Time Markov Chains, Proc. 3rd Workshop on Quantitative
Aspects of Programming Languages (QAPL), ENTCS, Edinburgh, April
2005, ENTCS 153(2):259-277, 2006. PS
C. Baier, P. d'Argenio, M. Groesser, Partial Order Reduction for Probabilistic
Branching Time, Proc. 3rd Workshop on Quantitative
Aspects of Programming Languages (QAPL), ENTCS, Edinburgh, April
2005, ENTCS 153(2):97-116, 2006. PS
C. Baier. F. Ciesinski, M. Groesser, ProbMela and Model Checking Markov
Decision Processes, special issue of ACM
Performance Evaluation Review on Performance and Verification, Vol
32(4), pp 22-27, 2005. PDF
C. Baier. B. Haverkort, H. Hermanns, J.-P. Katoen, Model Checking meets Performance Evaluation,
special issue of ACM Performance Evaluation Review on
Performance and Verification, Vol 32(4), pp 10-15, 2005. PDF
F. Arbab, C. Baier, F. de Boer, J. Rutten. M. Sirjani, Synthesis of Reo Circuits for
Implementation of Component-Connector Automata Specifications,
2004, LNCS 3454, Proceedings COORDINATION'05, pp 236-251, 2005. PDF
2000-2004
F. Arbab, C. Baier, F. de Boer, J. Rutten. M. Sirjani, Synthesis of Reo Circuits for
Implementation of Component-Connector Automata Specifications,
2004, unpublished manuscript. PDF
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. PS
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, PS
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.
C.Baier and M.
Größer and 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.
C.Baier and M.
Größer and Martin
Leucker and Benedikt Bollig and Frank Ciesinski: Controller synthesis for probabilistic
systems, 18th IFIP World Computer
Congress, Theoretical Computer Science, pp 439-506, 2004. PDF
C. Baier and F. Ciesinski
and 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. PDF
C. Baier and B.
Haverkort and H. Hermanns and
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. PS
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. PS
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. PS
Journal version submitted for publication. PDF
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. PS
P. Abdulla, C. Baier, P. Iyer, B. Jonsson: Undecidability of
reasoning about probabilistic lossy channel systems , to appear in
Information and Computation. PS
C. Baier, B. Haverkort, H. Hermanns, J.P. Katoen: Model
Checking Algorithms for Continuous Time Markov Chains, IEEE TSE
Vol.29, No.7, 2003 PDF
F. Ciesinski and M. Größer: On Probabilistic
Computation Tree Logic , LNCS 2925, Validation of Stochastic
Systems. PS
A. Asteroth and C. Baier: Theoretische Informatik - eine
Einführung in Berechenbarkeit, Komplexität und formale
Sprachen mit 101 Beispielen, ISBN 3-8273-7033-7, Pearson Studium,
Pearson Education Deutschland, 2002 WEB-Seite
C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen:
Automated Performance and Dependability Evaluation using Model Checking,
in Tutorial Proc. PERFORMANCE 2002, Springer LNCS 2459, 2002 BibTeXPDF
B. Haverkort, L. Cloth, H. Hermanns, J.-P. Katoen, C. Baier: Model
Checking Performability Properties, In Proc. DSN 2002, IEEE CS
Press, 2002 BibTeXPDF
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 BibTeXPostscript
Marcus Größer: Quantitative Analyse
Probabilistischer SystemePDF
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. PostscriptBibTeX
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 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 BibTeXPDF-file
Alexander Asteroth: Effiziente Identifikation
parametrisierter Kreislaufmodelle, Dissertation (PhD Thesis),
Universität Bonn, 2000 BibTeXPDF-file
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 PostscriptBibTeX
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 PostscriptBibTeX
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. BibTeXPostscript
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. PostscriptBibTeX
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.Postscript BibTeX
C. Baier, M.Z. Kwiatkowska: Domain Equations for
Probabilistic Processes, Mathematical Structures in Computer
Science, Vol. 10 (6), pp 665-717, 2000. BibTeX, PDF-file
A prelimary version appeared in 4th Workshop on Expressiveness in
Concurrency (EXPRESS'97), Santa Margherita, Electronic Notes in
Theoretical Computer Science, Vol. 7, 1997. PostscriptBibTeX
C. Baier, M.Z. Kwiatkowska: On Topological Hierarchies of
Temporal Properties Fundamentae Informaticae, Vol. 41, pp 259-294,
2000. 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. BibTeX
Alexander Asteroth,
Tobias Kunze, Jens Frings, Knut Möller and Jürgen Drescher: Model
Based Classification of Cardiovascular Response Patterns, in
Journal of Gravitational Physiology, 1999 BibTeX
A. Asteroth, K. Möller, J. Frings, L. Beck and J. Drescher: Model
Based Characterization of µG Induced Alterations of
CVS-Regulation, in Journal of Gravitational Physiology, 1998 BibTeX
Alexander Asteroth and 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, BibTeX
Alexander Asteroth: A Calculus for Higher Order Derivatives
in Multi Layer Perceptrons, technical report, Institut für
Informatik I, Universität Bonn, 1998 BibTeX
Alexander Asteroth: System Decomposition by Aspect Modelling,
technical report, Institut für Informatik I, Universität
Bonn, 1998 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. PostscriptBibTeX
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.Postscript 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. PostscriptBibTeX
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. PostscriptBibTeX
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. PostscriptBibTeX
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. PostscriptBibTeX
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. PostscriptBibTeX
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. PostscriptBibTeX
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. PostscriptBibTeX
C. Baier: On the Algorithmic Verification of Probabilistic
Systems, Habilitation Thesis, Universität Mannheim, 1998. PostscriptBibTeX
J.-P. Katoen, C. Baier, D. Latella: Metric Semantics for
True Concurrent Real-Time, Proc. ICALP'98, LNCS 1443, pp. 568-580,
1998. PostscriptBibTeX
Alexander Asteroth, Knut
Möller, Friedhelm Baisch, Luis Beck and Jürgen Drescher: Cardiovascular
Regulation: a Modelling Approach, in Journal of Gravitational
Physiology, 1997 BibTeX
C. Baier: Trees and Semantics, Theoretical Computer
Science, Vol. 179, pp 217-250, 1997. BibTeX
C. Baier, H. Hermanns: Weak Bisimulation for Fully
Probabilistic Processes Proc. CAV'97, LNCS 1254, pp 119-130, 1997. BibTeXPostscript
C. Baier, M. Majster-Cederbaum: Metric Semantics from Partial
Order Semantics, Acta Informatica, Vol. 34, pp 701-735, 1997. BibTeX
C. Baier, M.Z. Kwiatkowska: Domain Equations for
Probabilistic Processes, Mathematical Structures in Computer
Science, Vol. 10 (6), pp 665-717, 2000. 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. PostscriptBibTeX
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. PostscriptBibTeX
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. BibTeX
C. Baier, M. Majster-Cederbaum: Denotational Linear Time
Semantics and Sequential Composition, Information Processing
Letters, Vol. 59, pp 135-143, 1996. 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. BibTeX
C. Baier, M.Z. Kwiatkowska: On Topological Hierarchies of
Temporal Properties Fundamentae Informaticae, Vol. 41, pp 259-294,
2000. 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. BibTeX
M. Majster-Cederbaum, C.
Baier: Metric Completion versus Ideal Completion, Theoretical
Computer Science, Bd. 170, 1996. 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. BibTeX
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.
BibTeX
C. Baier: Transitionssystem- und Baum-Semantiken für
$CCS$, (in German), Ph.D. Thesis, Universität Mannheim, 1994. BibTeX
C. Baier, M. Majster-Cederbaum: Denotational Semantics in the
CPO and Metric Approach, Theoretical Computer Science, Vol. 135, pp
171-220, 1994. BibTeX
U. Schnepf, A. Asteroth, M. S. Fischer and 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 BibTeX