dblp.uni-trier.dewww.uni-trier.de

Christel Baier Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
102EEChristel Baier, Marcus Größer, Frank Ciesinski: Quantitative Analysis under Fairness Constraints. ATVA 2009: 135-150
101EEChristel Baier, Nathalie Bertrand, Marcus Größer: The Effect of Tossing Coins in Omega-Automata. CONCUR 2009: 15-29
100EEChristel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION 2009: 247-267
99EEChristel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye: When Are Timed Automata Determinizable? ICALP (2) 2009: 43-54
98EEChristel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Acceptors for Languages over Infinite Words. SOFSEM 2009: 19-33
97EEChristel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability CoRR abs/0907.4760: (2009)
96EESascha Klüppelholz, Christel Baier: Symbolic model checking for channel-based component connectors. Sci. Comput. Program. 74(9): 688-701 (2009)
2008
95EESascha Klüppelholz, Christel Baier: Alternating-Time Stream Logic for Multi-agent Systems. COORDINATION 2008: 184-198
94EEChristel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: Formal Verification for Components and Connectors. FMCO 2008: 82-101
93EEChristel Baier, Nathalie Bertrand, Marcus Größer: On Decision Problems for Probabilistic Büchi Automata. FoSSaCS 2008: 287-301
92EEChristel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS 2008: 217-226
91EEFrank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54
90EEFrank Ciesinski, Christel Baier, Marcus Größer, David Parker: Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN 2008: 60-76
89EETobias Blechmann, Christel Baier: Checking Equivalence for Reo Networks. Electr. Notes Theor. Comput. Sci. 215: 209-226 (2008)
88EEAlessandro Aldini, Christel Baier: Preface. Electr. Notes Theor. Comput. Sci. 220(3): 1-3 (2008)
87EEChristel Baier, Holger Hermanns: Special issue: CONCUR 2006. Inf. Comput. 206(5): 491 (2008)
86EEJörn Ossowski, Christel Baier: A uniform framework for weighted decision diagrams and its implementation. STTT 10(5): 425-441 (2008)
2007
85 Farhad Arbab, Christel Baier: Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007 ACM 2007
84EEJoachim Klein, Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. CIAA 2007: 51-61
83EEFarhad Arbab, Christel Baier: Syanco 2007: international workshop on synthesis and analysis of component connectors. ESEC/SIGSOFT FSE 2007: 607-608
82EEFarhad Arbab, Christel Baier: SYANCO 2007: international workshop on synthesis and analysis of component connectors. ESEC/SIGSOFT FSE (Companion) 2007: 607-608
81EEChristel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
80EEChristel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic Game Logic. QEST 2007: 227-236
79EEChristel Baier, Nathalie Bertrand, Ph. Schnoebelen: Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties. ACM Trans. Comput. Log. 9(1): (2007)
78EESascha Klüppelholz, Christel Baier: Symbolic Model Checking for Channel-based Component Connectors. Electr. Notes Theor. Comput. Sci. 175(2): 19-37 (2007)
77EEChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. 33(4): 209-224 (2007)
76EEFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and temporal logical specifications for timed component connectors. Software and System Modeling 6(1): 59-82 (2007)
2006
75 Christel Baier, Holger Hermanns: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings Springer 2006
74EEChristel Baier, Verena Wolf: Stochastic Reasoning About Channel-Based Component Connectors. COORDINATION 2006: 1-15
73EEMarjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297
72EEChristel Baier, Nathalie Bertrand, Ph. Schnoebelen: Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. FORTE 2006: 212-227
71EEMarcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
70EEChristel Baier, Nathalie Bertrand, Ph. Schnoebelen: On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. LPAR 2006: 347-361
69EEFrank Ciesinski, Christel Baier: LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. QEST 2006: 131-132
68EEChristel Baier, Nathalie Bertrand, Ph. Schnoebelen: On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems CoRR abs/cs/0606091: (2006)
67EEJörn Ossowski, Christel Baier: Symbolic Reasoning with Weighted and Normalized Decision Diagrams. Electr. Notes Theor. Comput. Sci. 151(1): 39-56 (2006)
66EEVerena Wolf, Christel Baier, Mila E. Majster-Cederbaum: Trace Machines for Observing Continuous-Time Markov Chains. Electr. Notes Theor. Comput. Sci. 153(2): 259-277 (2006)
65EEChristel Baier, Pedro R. D'Argenio, Marcus Größer: Partial Order Reduction for Probabilistic Branching Time. Electr. Notes Theor. Comput. Sci. 153(2): 97-116 (2006)
64EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Bisimulation and Simulation Relations for Markov Chains. Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006)
63EEVerena Wolf, Christel Baier, Mila E. Majster-Cederbaum: Trace Semantics for Stochastic Systems with Nondeterminism. Electr. Notes Theor. Comput. Sci. 164(3): 187-204 (2006)
62EEChristel Baier, Nathalie Bertrand, Ph. Schnoebelen: A note on the attractor-property of infinite-state Markov chains. Inf. Process. Lett. 97(2): 58-63 (2006)
61EEChristel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2): 75-113 (2006)
60EEJoachim Klein, Christel Baier: Experiments with deterministic omega-automata for formulas of linear temporal logic. Theor. Comput. Sci. 363(2): 182-195 (2006)
2005
59EEJoachim Klein, Christel Baier: Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. CIAA 2005: 199-212
58EEFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani: Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. COORDINATION 2005: 236-251
57EEMarcus Größer, Christel Baier: Partial Order Reduction for Markov Decision Processes: A Survey. FMCO 2005: 408-427
56EEWolfgang Lenders, Christel Baier: Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams. FOGA 2005: 1-20
55EEChristel Baier, Marcus Größer: Recognizing omega-regular Languages with Probabilistic Automata. LICS 2005: 137-146
54EEChristel Baier, Nathalie Bertrand, Ph. Schnoebelen: Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties CoRR abs/cs/0511023: (2005)
53EEParosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson: Simulating perfect channels with probabilistic lossy channels. Inf. Comput. 197(1-2): 22-40 (2005)
52EEChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005)
51EEChristel Baier: Probabilistic Models for Reo Connector Circuits. J. UCS 11(10): 1718-1748 (2005)
50EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)
49EEChristel Baier, Frank Ciesinski, Marcus Größer: ProbMela and verification of Markov decision processes. SIGMETRICS Performance Evaluation Review 32(4): 22-27 (2005)
48EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci. 345(1): 2-26 (2005)
2004
47 Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle: Validation of Stochastic Systems - A Guide to Current Research Springer 2004
46EEChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
45 Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski: Controller Synthesis for Probabilistic Systems. IFIP TCS 2004: 493-506
44EEChristel Baier, Frank Ciesinski, Marcus Größer: PROBMELA: a modeling language for communicating probabilistic processes. MEMOCODE 2004: 57-66
43EEChristel Baier, Marcus Größer, Frank Ciesinski: Partial Order Reduction for Probabilistic Systems. QEST 2004: 230-239
42EEFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and Temporal Logics for Timed Component Connectors. SEFM 2004: 198-207
41EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. TACAS 2004: 61-76
40EEFarhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani: Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 97: 25-46 (2004)
39EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen: Probabilistic weak simulation is decidable in polynomial time. Inf. Process. Lett. 89(3): 123-130 (2004)
2003
38EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Comparative Branching-Time Semantics. CONCUR 2003: 482-497
37EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. 29(6): 524-541 (2003)
2002
36EEChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354
35EEBoudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
34EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289
2001
33EEAlexander Asteroth, Christel Baier, Ulrich Aßmann: Model Checking with Formula-Dependent Abstract Models. CAV 2001: 155-168
32EEJoost-Pieter Katoen, Christel Baier, Diego Latella: Metric semantics for true concurrent real time. Theor. Comput. Sci. 254(1-2): 501-542 (2001)
2000
31 Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372
30EEParosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson: Reasoning about Probabilistic Lossy Channel Systems. CONCUR 2000: 320-333
29EEChristel Baier, Mariëlle Stoelinga: Norm Functions for Probabilistic Bisimulations with Delays. FoSSaCS 2000: 1-16
28EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792
27 Christel Baier, Marta Z. Kwiatkowska: On Topological Hierarchies of Temporal Properties. Fundam. Inform. 41(3): 259-294 (2000)
26 Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum: Deciding Bisimilarity and Similarity for Probabilistic Processes. J. Comput. Syst. Sci. 60(1): 187-231 (2000)
25 Christel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Mathematical Structures in Computer Science 10(6): 665-717 (2000)
1999
24EEChristel Baier, Bettina Engelen: Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. ARTS 1999: 34-52
23EEChristel Baier, Joost-Pieter Katoen, Holger Hermanns: Approximate Symbolic Model Checking of Continuous-Time Markov Chains. CONCUR 1999: 146-161
22EEChristel Baier, Marta Z. Kwiatkowska, Gethin Norman: Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 22: (1999)
21EEChristel Baier, Edmund M. Clarke, Vasilili Hartonas-Garmhausen: On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. Electr. Notes Theor. Comput. Sci. 22: (1999)
20EEChristel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan: Preface. Electr. Notes Theor. Comput. Sci. 22: (1999)
1998
19EEChristel Baier, Joost-Pieter Katoen, Diego Latella: Metric Semantics for True Concurrent Real Time. ICALP 1998: 568-579
18EEChristel Baier, Marta Z. Kwiatkowska: Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Computing 11(3): 125-155 (1998)
17EEChristel Baier, Marta Z. Kwiatkowska: On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Inf. Process. Lett. 66(2): 71-79 (1998)
1997
16EEChristel Baier, Holger Hermanns: Weak Bisimulation for Fully Probabilistic Processes. CAV 1997: 119-130
15 Christel Baier, Holger Hermanns: Weak Bisimulation for Fully Probabilistic Processes. FBT 1997: 59-68
14EEChristel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan: Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440
13 Christel Baier, Marta Z. Kwiatkowska: Automatic Verification of Liveness Properties of Randomized Systems. PODC 1997: 295
12EEChristel Baier, Mila E. Majster-Cederbaum: Metric Semantics from Partial Order Semantics. Acta Inf. 34(9): 701-735 (1997)
11EEChristel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Electr. Notes Theor. Comput. Sci. 7: (1997)
10 Christel Baier, Mila E. Majster-Cederbaum: The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach. Formal Asp. Comput. 9(4): 425-445 (1997)
9 Christel Baier, Mila E. Majster-Cederbaum: How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages. Fundam. Inform. 29(3): 225-256 (1997)
8EEChristel Baier: Trees and Semantics. Theor. Comput. Sci. 179(1-2): 217-250 (1997)
1996
7 Christel Baier, Mila E. Majster-Cederbaum: A Categorical Characterization of Consistency Results. AMAST 1996: 473-486
6EEChristel Baier: Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. CAV 1996: 50-61
5EEChristel Baier, Mila E. Majster-Cederbaum: Denotational Linear Time Semantics and Sequential Composition. Inf. Process. Lett. 59(3): 135-143 (1996)
4EEMila E. Majster-Cederbaum, Christel Baier: Metric Completion versus Ideal Completion. Theor. Comput. Sci. 170(1-2): 145-171 (1996)
1994
3 Christel Baier, Mila E. Majster-Cederbaum: The Connection between an Event Structure Semantics and an Operational Semantics for TCSP. Acta Inf. 31(1): 81-104 (1994)
2 Christel Baier, Mila E. Majster-Cederbaum: Denotational Semantics in the CPO and Metric Approach. Theor. Comput. Sci. 135(2): 171-220 (1994)
1991
1 Christel Baier, Mila E. Majster-Cederbaum: The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP. FCT 1991: 105-120

Coauthor Index

1Parosh Aziz Abdulla [30] [53]
2Alessandro Aldini [88]
3Farhad Arbab [40] [42] [58] [61] [73] [76] [82] [83] [85]
4Ulrich Aßmann [33]
5Alexander Asteroth [33]
6Nathalie Bertrand [54] [62] [68] [70] [72] [79] [81] [92] [93] [97] [98] [99] [101]
7Tobias Blechmann [89] [94] [100]
8Frank S. de Boer [42] [58] [76]
9Benedikt Bollig [45]
10Patricia Bouyer [81] [92] [99]
11Tomás Brázdil [80]
12Thomas Brihaye [81] [92] [99]
13Frank Ciesinski [43] [44] [45] [49] [69] [71] [90] [91] [102]
14Edmund M. Clarke [14] [21]
15Lucia Cloth [35] [46] [77]
16Pedro R. D'Argenio [65]
17Bettina Engelen [24] [26]
18Marcus Größer [43] [44] [45] [49] [55] [57] [65] [71] [80] [81] [90] [91] [92] [93] [97] [98] [101] [102]
19Vasilili Hartonas-Garmhausen [21]
20Vassili Hartonas-Garmhausen [14]
21Boudewijn R. Haverkort [28] [31] [34] [35] [36] [37] [41] [46] [47] [48] [50] [77]
22Holger Hermanns [15] [16] [23] [28] [31] [34] [35] [36] [37] [38] [39] [41] [47] [48] [50] [52] [64] [75] [87]
23Michael Huth [20]
24S. Purushothaman Iyer (S. Purushothaman) [30] [53]
25Mohammad Mahdi Jaghoori [73]
26Bengt Jonsson [30] [53]
27Joost-Pieter Katoen [19] [23] [28] [31] [32] [34] [35] [36] [37] [38] [39] [41] [47] [48] [50] [52] [64]
28Joachim Klein [59] [60] [84] [91] [94] [100]
29Sascha Klüppelholz [78] [94] [95] [96] [100]
30Antonín Kucera [80]
31Matthias Kuntz [46] [77]
32Marta Z. Kwiatkowska [11] [13] [14] [17] [18] [20] [22] [25] [27] [71]
33Diego Latella [19] [32]
34Wolfgang Lenders [56]
35Martin Leucker [45]
36Mila E. Majster-Cederbaum [1] [2] [3] [4] [5] [7] [9] [10] [12] [26] [63] [66]
37Gethin Norman [22] [71]
38Jörn Ossowski [67] [86]
39David Parker [71] [90]
40Jan J. M. M. Rutten [40] [42] [58] [61] [76]
41Mark Ryan (Mark Dermot Ryan) [14] [20]
42Ph. Schnoebelen [54] [62] [68] [70] [72] [79]
43Markus Siegle [46] [47] [77]
44Marjan Sirjani [40] [58] [61] [73]
45Mariëlle Stoelinga [29]
46Verena Wolf [38] [52] [63] [64] [66] [74]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)