Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 37.

Article

Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila (2006) Trace machines for observing continuous-time Markov chains. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 153 2 259-277 [Article]

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena (2005) Comparative Branching Time Semantics for Markov Chains. Information and Computation Amsterdam 200 2 149-214 [Article]

Baier, Christel ; Engelen, Bettina ; Majster-Cederbaum, Mila (2000) Deciding bisimilarity and bimilarity for probabilistic processes. Journal of Computer and System Sciences San Diego, Calif. 60 1 187-231 [Article]

Baier, Christel ; Kwiatkowska, Marta (2000) Domain Equations for Probabilistic Processes. Mathematical Structures in Computer Science Cambridge 10 6 665-717 [Article]

Baier, Christel ; Kwiatkowska, Marta (2000) On Topological Hierarchies of Temporal Properties. Fundamenta informaticae Amsterdam 41 3 259-294 [Article]

Baier, Christel ; Kwiatkowska, Marta (1998) On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Information Processing Letters Amsterdam [u.a.] 66 2 71-79 [Article]

Baier, Christel ; Kwiatkowska, Marta (1998) Model checking for a probabilistic branching time logic with fairness. Distributed Computing Berlin [u.a.] 11 3 125-155 [Article]

Majster-Cederbaum, Mila ; Baier, Christel (1997) How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages. Fundamenta informaticae Amsterdam 29 3 225-256 [Article]

Majster-Cederbaum, Mila ; Baier, Christel (1997) Metric Semantics from Partial Order Semantics. Acta Informatica Berlin [u.a.] 34 9 701-735 [Article]

Majster-Cederbaum, Mila ; Baier, Christel (1997) The Connection between Initial and Unique Solutions of Domain Equations in the CPO and Metric Approach. Formal Aspects of Computing Berlin [u.a.] 9 4 425-445 [Article]

Baier, Christel (1997) Trees and Semantics. Theoretical Computer Science Amsterdam [u.a.] 179 1/2 217-250 [Article]

Majster-Cederbaum, Mila ; Baier, Christel (1996) Denotational Linear Time Semantics and Sequential Composition. Information Processing Letters Amsterdam [u.a.] 59 3 135-143 [Article]

Majster-Cederbaum, Mila ; Baier, Christel (1996) Metric Completion versus Ideal Completion. Theoretical Computer Science Dordrecht [u.a.] 170 1/2 145-171 [Article]

Baier, Christel ; Majster-Cederbaum, Mila (1994) The Connection Between an Event Structure Semantics and an Operational Semantics for TCSP. Acta Informatica Berlin [u.a.] 31 1 81-104 [Article]

Majster-Cederbaum, Mila ; Baier, Christel (1994) Denotational semantics in the cpo and metric approach. Theoretical Computer Science : the Journal of the EATCS Amsterdam 135 2 171-248 [Article]

Book chapter

Baier, Christel ; Katoen, Joost-Pieter ; Latella, Diego (1998) Metric Semantics for True Concurrent Real-Time. Larsen, Kim Guldstrand Automata, languages and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13 - 17, 1998; proceedings Lecture Notes in Computer Science Berlin [u.a.] 1443 568-580 [Book chapter]

Baier, Christel (1996) Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. Alur, Rajeev Computer aided verification : 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings Berlin [u.a.] 38-49 [Book chapter]

Conference or workshop publication

Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila Trace Semantics for Stochastic Systems with Nondeterminism. Di Pierro, Alessandra Electronic Notes in Theoretical Computer Science : ENTCS 164,3 187-204 In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vienna, Austria 1–2 April 2006 (2006) Amsterdam [u.a.] [Conference or workshop publication]

Wolf, Verena ; Baier, Christel Stochastic Reasoning About Channel-Based Component Connectors. Ciancarini, Paolo Lecture Notes in Computer Science 4038 1-15 In: Coordination models and languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14 - 16, 2006; proceedings (2006) Berlin [u.a.] [Conference or workshop publication]

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena Comparative Branching Time Semantics for Markov Chains. Amadio, Roberto M. Lecture Notes in Computer Science 2761 492-507 In: CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3 - 5, 2003; proceedings (2003) Berlin [u.a.] [Conference or workshop publication]

Baier, Christel ; Kwiatkowska, Marta ; Norman, Gethin Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains. Baier, Christel Electronic Notes in Theoretical Computer Science : ENTCS 22 In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification : proceedings (1999) Amsterdam [u.a.] [Conference or workshop publication]

Baier, Christel ; Engelen, Bettina Establishing qualitative properties for probabilistic lossy channel systems: an Algorithmic Approach. Katoen, Pieter Lecture Notes in Computer Science 1601 34-52 In: Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany; proceedings (1999) Berlin [u.a.] [Conference or workshop publication]

Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili On the Semantic Foundations of Probabilistic VERUS. Proceedings / Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, IN, USA , Juni 7-32 In: Proceedings / 1st Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, Ind., USA (1998) Trier [Conference or workshop publication]

Baier, Christel ; Clarke, Edmund M. The Algebraic Mu-Calculus and MTBDDs. Proceedings / 5th Workshop on Logic, Language, Information and Computation. WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998 27-38 In: Proceedings / 5th Workshop on Logic, Language, Information and Computation, WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998 (1998) Sao Paulo [Conference or workshop publication]

Baier, Christel ; Kwiatkowska, Marta Automatic Verification of Liveness Properties of Randomized Systems. ACM Press 295 In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing (1997) New York, NY (Santa Barbara, Calif.) [Conference or workshop publication]

Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili ; Kwiatkowska, Marta ; Ryan, Mark Symbolic Model Checking for Probabilistic Processes. Degano, Pierpaolo Lecture Notes in Computer Science 1256 430-440 In: Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7 - 11, 1997; proceedings (1997) Berlin [u.a.] [Conference or workshop publication]

Baier, Christel ; Hermanns, Holger Weak Bisimulation for Fully Probabilistic Processes. Grumberg, Orna Lecture Notes in Computer Science 1254 119-130 In: Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22 - 25, 1997; proceedings (1997) Berlin [u.a.] [Conference or workshop publication]

Baier, Christel ; Majster-Cederbaum, Mila A Categorical Characterization of Consistency. Wirsing, Martin Lecture Notes in Computer Science 1101 473-486 In: Algebraic Methodology and Software Technology : 5th international conference, AMAST '96, Munich, Germany, July 1 - 5, 1996; proceedings (1996) Berlin [u.a.] [Conference or workshop publication]

Majster-Cederbaum, Mila ; Baier, Christel Metric Completion versus Ideal Completion [Extended Abstract]. Desel, Jörg Proceedings of the Workshop on Structures in Concurreny Theory, Workshops in Computing 236-248 In: Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory, (STRICT), Berlin, 11 - 13 May 1995 (1995) London ; Berlin [u.a.] [Conference or workshop publication]

Working paper

Baier, Christel ; Engelen, Bettina ; Roggenbach, Markus (1999) Establishing qualitative properties for probabilistic lossy channel systems : an algorithmic approach. Open Access None [Working paper]
[img]
Preview

Baier, Christel ; Majster-Cederbaum, Mila (1996) How to interpret and establish consistency results for semantics of concurrent programming languages. Open Access None [Working paper]
[img]
Preview

Baier, Christel ; Majster-Cederbaum, Mila (1996) The connection between the initial and unique solutions of domain equations in the partial order and metric approach. Open Access None [Working paper]
[img]
Preview

Baier, Christel ; Majster-Cederbaum, Mila (1995) Construction of a cms on a given cpo. Open Access None [Working paper]
[img]
Preview

Baier, Christel ; Majster-Cederbaum, Mila (1995) Denotational Linear Time Semantics and Sequential Composition. Open Access None [Working paper]
[img]
Preview

Baier, Christel ; Majster-Cederbaum, Mila (1992) On the definability of concurrency and communication : event structures versus pomset classes. Open Access None [Working paper]
[img]
Preview

Baier, Christel ; Majster-Cederbaum, Mila (1991) The connection between an event structure semantics and an operational semantics for TCSP. Open Access None [Working paper]
[img]
Preview

Baier, Christel ; Majster-Cederbaum, Mila (1990) The consistency of a noninterleaving and an interleaving model for full TCSP. Open Access None [Working paper]
[img]
Preview

This list was created automatically on Sat Jun 12 05:28:41 2021 CEST