×
Compute Distance To:
Author ID: baier.christel Recent zbMATH articles by "Baier, Christel"
Published as: Baier, Christel; Baier, C.
Documents Indexed: 101 Publications since 1994, including 3 Books
13 Contributions as Editor
Reviewing Activity: 10 Reviews
Co-Authors: 86 Co-Authors with 111 Joint Publications
1,601 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
19 Hermanns, Holger
19 Katoen, Joost-Pieter
16 Klein, Joachim
15 Klüppelholz, Sascha
14 Größer, Marcus
13 Bertrand, Nathalie
12 Kwiatkowska, Marta Z.
10 Haverkort, Boudewijn R.
9 Dubslaff, Clemens
9 Majster-Cederbaum, Mila E.
4 Ciesinski, Frank
4 Schnoebelen, Philippe
3 Arbab, Farhad
3 Bouyer, Patricia
3 Brihaye, Thomas
3 Clarke, Edmund Melson jun.
3 Gburek, Daniel
3 Müller, David
3 Wolf, Verena
3 Wunderlich, Sascha
2 Abdulla, Parosh Aziz
2 Asterroth, Alexander
2 Hartonas-Garmhausen, Vasiliki
2 Hutschenreiter, Lisa
2 Jonsson, Bengt
2 Kucera, Antonin
2 Norman, Gethin
2 Ossowski, Jörn
2 Siegle, Markus
2 Tinelli, Cesare
1 Aldini, Alessandro
1 Aßmann, Ulrich
1 Asteroth, Alexander
1 Berg, Manuela
1 Blahoudek, František
1 Blechmann, Tobias
1 Bollig, Benedikt
1 Brázdil, Tomáš
1 Caires, Luís
1 Chatzigiannakis, Ioannis
1 Chrszon, Philipp
1 Cloth, Lucia
1 Dal Lago, Ugo
1 D’Argenio, Pedro Rubén
1 de Alfaro, Luca
1 Duret-Lutz, Alexandre
1 Eder, Johann
1 Engelen, Bettina
1 Flocchini, Paola
1 Forejt, Vojtěch
1 Goubault-Larrecq, Jean
1 Hahn, Ernst Moritz
1 Hensel, Christian
1 Hinchey, Mike G.
1 Huth, Michael R. A.
1 Iyer, Purushothaman
1 Iyer, S. Purushothaman
1 Junges, Sebastian
1 Jurdziński, Marcin
1 Kiefer, Stefan
1 Korenčiak, Ľuboš
1 Krähmann, Daniel
1 Lampka, Kai
1 Larsen, Kim Guldstrand
1 Latella, Diego
1 Lenders, Wolfgang
1 Leonardi, Stefano
1 Leucker, Martin
1 Leuschner, Linda
1 Margaria, Tiziana
1 Menet, Quentin
1 Meng, Sun
1 Piribauer, Jakob
1 Řehák, Vojtěch
1 Rutten, Jan J. M. M.
1 Sankur, Ocan
1 Schubert, Jana
1 Sirjani, Marjan
1 Steffen, Bernhard
1 Stoelinga, Mariëlle
1 Strejček, Jan
1 Sun, Meng
1 Tracol, Mathieu
1 Ummels, Michael
1 van den Brand, Mark G. J.
1 Worrell, James B.
1 Zuliani, Paolo

Publications by Year

Citations contained in zbMATH Open

81 Publications have been cited 766 times in 569 Documents Cited by Year
Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076
Baier, Christel; Katoen, Joost-Pieter
273
2008
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
36
2006
Deciding bisimilarity and similarity for probabilistic processes. Zbl 1073.68690
Baier, Christel; Engelen, Bettina; Majster-Cederbaum, Mila
35
2000
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena
28
2005
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
28
2000
Approximate symbolic model checking of continuous-time Markov chains. Zbl 0934.03044
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger
20
1999
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1081.90066
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Haverkort, Boudewijn R.
18
2005
Symbolic model checking for probabilistic processes. Zbl 1401.68180
Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki; Kwiatkowska, Marta; Ryan, Mark
17
1997
On decision problems for probabilistic Büchi automata. Zbl 1139.68030
Baier, Christel; Bertrand, Nathalie; Größer, Marcus
16
2008
Probabilistic \({\omega}\)-automata. Zbl 1281.68152
Baier, Christel; Grösser, Marcus; Bertrand, Nathalie
13
2012
On the logical characterisation of performability properties. Zbl 0973.68014
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
12
2000
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic. Zbl 1153.03016
Klein, Joachim; Baier, Christel
10
2006
Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
10
2004
Denotational semantics in the cpo and metric approach. Zbl 0829.68079
Baier, Christel; Majster-Cederbaum, Mila E.
10
1994
When are timed automata determinizable? Zbl 1248.68284
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas
9
2009
On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664
Baier, Christel; Kwiatkowska, Marta
9
1998
Controller synthesis for probabilistic systems (extended abstract). Zbl 1073.93037
Baier, Christel; Größer, Marcus; Leucker, Martin; Bollig, Benedikt; Ciesinski, Frank
8
2004
Domain equations for probabilistic processes. Zbl 0974.68136
Baier, Christel; Kwiatkowska, Marta
8
2000
Metric semantics for true concurrent real time. Zbl 0976.68103
Katoen, J.-P.; Baier, C.; Latella, D.
8
2001
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
7
2018
Domain equations for probabilistic processes. Zbl 0911.68087
Baier, Christel; Kwiatkowska, Marta
7
1997
The connection between an event structure semantics and an operational semantics for TCSP. Zbl 0790.68064
Baier, Christel; Majster-Cederbaum, Mila E.
7
1994
Probabilistic and topological semantics for timed automata. Zbl 1135.68464
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus
7
2007
Weight monitoring with linear temporal logic: complexity and decidability. Zbl 1401.68182
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
6
2014
On-the-fly stuttering in the construction of deterministic \(\omega \)-automata. Zbl 1139.68366
Klein, Joachim; Baier, Christel
6
2007
Reasoning about probabilistic lossy channel systems. Zbl 0999.68145
Abdulla, Parosh; Baier, Christel; Iyer, Purushothaman; Jonsson, Bengt
6
2000
Computing quantiles in Markov reward models. Zbl 1260.68285
Ummels, Michael; Baier, Christel
6
2013
Symbolic model checking for channel-based component connectors. Zbl 1167.68035
Klüppelholz, Sascha; Baier, Christel
6
2009
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems. Zbl 1165.68397
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
6
2006
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1443.68101
Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim
6
2020
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
5
2016
Metric semantics from partial order semantics. Zbl 0883.68083
Baier, Christel; Majster-Cederbaum, Mila E.
5
1997
The connection between initial and unique solutions of domain equations in the partial order and metric approach. Zbl 0889.68098
Baier, Christel; Majster-Cederbaum, Mila
5
1997
Simulation for continuous-time Markov chains. Zbl 1012.68526
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn
5
2002
Are good-for-games automata good for probabilistic model checking? Zbl 1408.68093
Klein, Joachim; Müller, David; Baier, Christel; Klüppelholz, Sascha
5
2014
Norm functions for probabilistic bisimulations with delays. Zbl 0961.68087
Baier, Christel; Stoelinga, Mariëlle
5
2000
Probabilistic model checking for energy-utility analysis. Zbl 1407.68279
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
5
2014
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
4
2014
Trade-off analysis meets probabilistic model checking. Zbl 1401.68181
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha
4
2014
Performability assessment by model checking of Markov reward models. Zbl 1209.68309
Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
4
2010
Formal verification for components and connectors. Zbl 1254.68143
Baier, Christel; Blechmann, Tobias; Klein, Joachim; Klüppelholz, Sascha
4
2009
Quantitative analysis under fairness constraints. Zbl 1262.68102
Baier, Christel; Groesser, Marcus; Ciesinski, Frank
4
2009
Verifying nondeterministic probabilistic channel systems against \(\omega\)-regular linear-time properties. Zbl 1367.68181
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
4
2007
Composition of stochastic transition systems based on spans and couplings. Zbl 1388.68196
Gburek, Daniel; Baier, Christel; Klüppelholz, Sascha
3
2016
Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058
Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt
3
2005
Recurrence and transience for probabilistic automata. Zbl 1248.68337
Tracol, Mathieu; Baier, Christel; Grösser, Marcus
3
2009
Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Zbl 1360.68006
3
2015
Energy-utility analysis for resilient systems using probabilistic model checking. Zbl 1407.68280
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha; Leuschner, Linda
3
2014
A note on the attractor-property of infinite-state Markov chains. Zbl 1191.68330
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
3
2006
Probabilistic automata over infinite words: expressiveness, efficiency, and decidability. Zbl 1456.68077
Baier, Christel; Bertrand, Nathalie; Größer, Marcus
2
2009
Maximizing the conditional expected reward for reaching the goal. Zbl 1453.90180
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
2
2017
Stochastic shortest paths and weight-bounded properties in Markov decision processes. Zbl 1452.90315
Baier, Christel; Bertrand, Nathalie; Dubslaff, Clemens; Gburek, Daniel; Sankur, Ocan
2
2018
Metric completion versus ideal completion. Zbl 0874.68191
Majster-Cederbaum, Mila E.; Baier, Christel
2
1996
How to interpret and establish consistency results for semantics of concurrent programming languages. Zbl 0870.68098
Baier, Christel; Majster-Cederbaum, Mila
2
1997
Validation of stochastic systems. A guide to current research. Zbl 1047.68001
2
2004
A compositional framework for controller synthesis. Zbl 1329.68182
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
2
2011
Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064
Meng, Sun; Arbab, Farhad; Baier, Christel
2
2011
On topological hierarchies of temporal properties. Zbl 0956.68027
Baier, Christel; Kwiatkowska, Marta
2
2000
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
2006
Synthesis of Reo connectors for strategies and controllers. Zbl 1286.68067
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
2
2014
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
2
2006
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1126.68467
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
2004
Rare-event verification for stochastic hybrid systems. Zbl 1362.68192
Zuliani, Paolo; Baier, Christel; Clarke, Edmund M.
2
2012
Modeling role-based systems with exogenous coordination. Zbl 1475.68077
Chrszon, Philipp; Dubslaff, Clemens; Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
2
2016
Generic emptiness check for fun and profit. Zbl 1437.68092
Baier, Christel; Blahoudek, František; Duret-Lutz, Alexandre; Klein, Joachim; Müller, David; Strejček, Jan
1
2019
Model checking for a probabilistic branching time logic with fairness. Zbl 1448.68285
Baier, Christel; Kwiatkowska, Marta
1
1998
Synthesis of Reo circuits from scenario-based specifications. Zbl 1347.68024
Arbab, Farhad; Sun, Meng; Baier, Christel
1
2009
Mean-payoff optimization in continuous-time Markov chains with parametric alarms. Zbl 1420.68151
Baier, Christel; Dubslaff, Clemens; Korenčiak, Ľuboš; Kučera, Antonín; Řehák, Vojtěch
1
2017
Model checking with formula-dependent abstract models. Zbl 0991.68046
Asteroth, Alexander; Baier, Christel; Aßmann, Ulrich
1
2001
Denotational linear time semantics and sequential composition. Zbl 0900.68296
Baier, Christel; Majster-Cederbaum, Mila E.
1
1996
Automated performance and dependability evaluation using model checking. Zbl 1017.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
1
2002
Symbolic reasoning with weighted and normalized decision diagrams. Zbl 1273.68420
Ossowski, Jörn; Baier, Christel
1
2006
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic. Zbl 1172.68514
Klein, Joachim; Baier, Christel
1
2006
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications. Zbl 1214.68219
Lampka, Kai; Siegle, Markus; Ossowski, Joern; Baier, Christel
1
2010
Symbolic verification of communicating systems with probabilistic message losses: liveness and fairness. Zbl 1225.68108
Baier, C.; Bertrand, N.; Schnoebelen, Ph.
1
2006
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
1
2008
The effect of tossing coins in omega-automata. Zbl 1254.68142
Baier, Christel; Bertrand, Nathalie; Größer, Marcus
1
2009
Partial order reduction for Markov decision processes: a survey. Zbl 1196.68137
Groesser, Marcus; Baier, Christel
1
2006
Reasoning about cost-utility constraints in probabilistic models. Zbl 1471.68112
Baier, Christel
1
2015
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1483.68195
Hutschenreiter, Lisa; Baier, Christel; Klein, Joachim
1
2017
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1443.68101
Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim
6
2020
Generic emptiness check for fun and profit. Zbl 1437.68092
Baier, Christel; Blahoudek, František; Duret-Lutz, Alexandre; Klein, Joachim; Müller, David; Strejček, Jan
1
2019
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
7
2018
Stochastic shortest paths and weight-bounded properties in Markov decision processes. Zbl 1452.90315
Baier, Christel; Bertrand, Nathalie; Dubslaff, Clemens; Gburek, Daniel; Sankur, Ocan
2
2018
Maximizing the conditional expected reward for reaching the goal. Zbl 1453.90180
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
2
2017
Mean-payoff optimization in continuous-time Markov chains with parametric alarms. Zbl 1420.68151
Baier, Christel; Dubslaff, Clemens; Korenčiak, Ľuboš; Kučera, Antonín; Řehák, Vojtěch
1
2017
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1483.68195
Hutschenreiter, Lisa; Baier, Christel; Klein, Joachim
1
2017
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
5
2016
Composition of stochastic transition systems based on spans and couplings. Zbl 1388.68196
Gburek, Daniel; Baier, Christel; Klüppelholz, Sascha
3
2016
Modeling role-based systems with exogenous coordination. Zbl 1475.68077
Chrszon, Philipp; Dubslaff, Clemens; Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
2
2016
Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Zbl 1360.68006
3
2015
Reasoning about cost-utility constraints in probabilistic models. Zbl 1471.68112
Baier, Christel
1
2015
Weight monitoring with linear temporal logic: complexity and decidability. Zbl 1401.68182
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
6
2014
Are good-for-games automata good for probabilistic model checking? Zbl 1408.68093
Klein, Joachim; Müller, David; Baier, Christel; Klüppelholz, Sascha
5
2014
Probabilistic model checking for energy-utility analysis. Zbl 1407.68279
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
5
2014
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
4
2014
Trade-off analysis meets probabilistic model checking. Zbl 1401.68181
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha
4
2014
Energy-utility analysis for resilient systems using probabilistic model checking. Zbl 1407.68280
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha; Leuschner, Linda
3
2014
Synthesis of Reo connectors for strategies and controllers. Zbl 1286.68067
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
2
2014
Computing quantiles in Markov reward models. Zbl 1260.68285
Ummels, Michael; Baier, Christel
6
2013
Probabilistic \({\omega}\)-automata. Zbl 1281.68152
Baier, Christel; Grösser, Marcus; Bertrand, Nathalie
13
2012
Rare-event verification for stochastic hybrid systems. Zbl 1362.68192
Zuliani, Paolo; Baier, Christel; Clarke, Edmund M.
2
2012
A compositional framework for controller synthesis. Zbl 1329.68182
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
2
2011
Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064
Meng, Sun; Arbab, Farhad; Baier, Christel
2
2011
Performability assessment by model checking of Markov reward models. Zbl 1209.68309
Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
4
2010
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications. Zbl 1214.68219
Lampka, Kai; Siegle, Markus; Ossowski, Joern; Baier, Christel
1
2010
When are timed automata determinizable? Zbl 1248.68284
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas
9
2009
Symbolic model checking for channel-based component connectors. Zbl 1167.68035
Klüppelholz, Sascha; Baier, Christel
6
2009
Formal verification for components and connectors. Zbl 1254.68143
Baier, Christel; Blechmann, Tobias; Klein, Joachim; Klüppelholz, Sascha
4
2009
Quantitative analysis under fairness constraints. Zbl 1262.68102
Baier, Christel; Groesser, Marcus; Ciesinski, Frank
4
2009
Recurrence and transience for probabilistic automata. Zbl 1248.68337
Tracol, Mathieu; Baier, Christel; Grösser, Marcus
3
2009
Probabilistic automata over infinite words: expressiveness, efficiency, and decidability. Zbl 1456.68077
Baier, Christel; Bertrand, Nathalie; Größer, Marcus
2
2009
Synthesis of Reo circuits from scenario-based specifications. Zbl 1347.68024
Arbab, Farhad; Sun, Meng; Baier, Christel
1
2009
The effect of tossing coins in omega-automata. Zbl 1254.68142
Baier, Christel; Bertrand, Nathalie; Größer, Marcus
1
2009
Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076
Baier, Christel; Katoen, Joost-Pieter
273
2008
On decision problems for probabilistic Büchi automata. Zbl 1139.68030
Baier, Christel; Bertrand, Nathalie; Größer, Marcus
16
2008
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
1
2008
Probabilistic and topological semantics for timed automata. Zbl 1135.68464
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus
7
2007
On-the-fly stuttering in the construction of deterministic \(\omega \)-automata. Zbl 1139.68366
Klein, Joachim; Baier, Christel
6
2007
Verifying nondeterministic probabilistic channel systems against \(\omega\)-regular linear-time properties. Zbl 1367.68181
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
4
2007
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
36
2006
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic. Zbl 1153.03016
Klein, Joachim; Baier, Christel
10
2006
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems. Zbl 1165.68397
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
6
2006
A note on the attractor-property of infinite-state Markov chains. Zbl 1191.68330
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
3
2006
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
2006
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
2
2006
Symbolic reasoning with weighted and normalized decision diagrams. Zbl 1273.68420
Ossowski, Jörn; Baier, Christel
1
2006
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic. Zbl 1172.68514
Klein, Joachim; Baier, Christel
1
2006
Symbolic verification of communicating systems with probabilistic message losses: liveness and fairness. Zbl 1225.68108
Baier, C.; Bertrand, N.; Schnoebelen, Ph.
1
2006
Partial order reduction for Markov decision processes: a survey. Zbl 1196.68137
Groesser, Marcus; Baier, Christel
1
2006
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena
28
2005
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1081.90066
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Haverkort, Boudewijn R.
18
2005
Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058
Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt
3
2005
Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
10
2004
Controller synthesis for probabilistic systems (extended abstract). Zbl 1073.93037
Baier, Christel; Größer, Marcus; Leucker, Martin; Bollig, Benedikt; Ciesinski, Frank
8
2004
Validation of stochastic systems. A guide to current research. Zbl 1047.68001
2
2004
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1126.68467
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
2004
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
Simulation for continuous-time Markov chains. Zbl 1012.68526
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn
5
2002
Automated performance and dependability evaluation using model checking. Zbl 1017.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
1
2002
Metric semantics for true concurrent real time. Zbl 0976.68103
Katoen, J.-P.; Baier, C.; Latella, D.
8
2001
Model checking with formula-dependent abstract models. Zbl 0991.68046
Asteroth, Alexander; Baier, Christel; Aßmann, Ulrich
1
2001
Deciding bisimilarity and similarity for probabilistic processes. Zbl 1073.68690
Baier, Christel; Engelen, Bettina; Majster-Cederbaum, Mila
35
2000
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
28
2000
On the logical characterisation of performability properties. Zbl 0973.68014
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
12
2000
Domain equations for probabilistic processes. Zbl 0974.68136
Baier, Christel; Kwiatkowska, Marta
8
2000
Reasoning about probabilistic lossy channel systems. Zbl 0999.68145
Abdulla, Parosh; Baier, Christel; Iyer, Purushothaman; Jonsson, Bengt
6
2000
Norm functions for probabilistic bisimulations with delays. Zbl 0961.68087
Baier, Christel; Stoelinga, Mariëlle
5
2000
On topological hierarchies of temporal properties. Zbl 0956.68027
Baier, Christel; Kwiatkowska, Marta
2
2000
Approximate symbolic model checking of continuous-time Markov chains. Zbl 0934.03044
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger
20
1999
On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664
Baier, Christel; Kwiatkowska, Marta
9
1998
Model checking for a probabilistic branching time logic with fairness. Zbl 1448.68285
Baier, Christel; Kwiatkowska, Marta
1
1998
Symbolic model checking for probabilistic processes. Zbl 1401.68180
Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki; Kwiatkowska, Marta; Ryan, Mark
17
1997
Domain equations for probabilistic processes. Zbl 0911.68087
Baier, Christel; Kwiatkowska, Marta
7
1997
Metric semantics from partial order semantics. Zbl 0883.68083
Baier, Christel; Majster-Cederbaum, Mila E.
5
1997
The connection between initial and unique solutions of domain equations in the partial order and metric approach. Zbl 0889.68098
Baier, Christel; Majster-Cederbaum, Mila
5
1997
How to interpret and establish consistency results for semantics of concurrent programming languages. Zbl 0870.68098
Baier, Christel; Majster-Cederbaum, Mila
2
1997
Metric completion versus ideal completion. Zbl 0874.68191
Majster-Cederbaum, Mila E.; Baier, Christel
2
1996
Denotational linear time semantics and sequential composition. Zbl 0900.68296
Baier, Christel; Majster-Cederbaum, Mila E.
1
1996
Denotational semantics in the cpo and metric approach. Zbl 0829.68079
Baier, Christel; Majster-Cederbaum, Mila E.
10
1994
The connection between an event structure semantics and an operational semantics for TCSP. Zbl 0790.68064
Baier, Christel; Majster-Cederbaum, Mila E.
7
1994
all top 5

Cited by 961 Authors

30 Baier, Christel
30 Katoen, Joost-Pieter
18 Chatterjee, Krishnendu
16 Kwiatkowska, Marta Z.
14 Hermanns, Holger
13 Arbab, Farhad
12 Majster-Cederbaum, Mila E.
9 Abate, Alessandro
9 Bernardo, Marco
9 Bertrand, Nathalie
9 Henzinger, Thomas A.
9 Larsen, Kim Guldstrand
9 Norman, Gethin
9 Viswanathan, Mahesh
8 Bouyer, Patricia
8 Junges, Sebastian
8 Křetínský, Jan
8 Zhang, Lijun
7 Brázdil, Tomáš
7 Forejt, Vojtěch
7 Klüppelholz, Sascha
7 van Breugel, Franck
7 Worrell, James B.
6 Brihaye, Thomas
6 Clarke, Dave
6 Doyen, Laurent
6 Klein, Joachim
6 Kucera, Antonin
6 Panangaden, Prakash
6 Randour, Mickael
5 Bortolussi, Luca
5 Buchholz, Peter
5 Chadha, Rohit
5 De Nicola, Rocco
5 Deng, Yuxin
5 Desharnais, Josée
5 Haverkort, Boudewijn R.
5 Hillston, Jane
5 Lanotte, Ruggero
5 Loreti, Michele
5 Ouaknine, Joel O.
5 Raskin, Jean-François
5 Sproston, Jeremy
4 Aichernig, Bernhard K.
4 Bérard, Béatrice
4 Češka, Milan
4 de Vink, Erik P.
4 Duan, Zhenhua
4 Feng, Yuan
4 Gebler, Daniel E.
4 Jansen, David N.
4 Jansen, Nils
4 Jobstmann, Barbara
4 Konnov, Igor V.
4 Krause, Christian
4 Latella, Diego
4 Lazovik, Alexander
4 Legay, Axel
4 Marin, Andrea
4 Markey, Nicolas
4 Milius, Stefan
4 Movaghar, Ali
4 Piazza, Carla
4 Rossi, Sabina
4 Silva, Alexandra
4 Sirjani, Marjan
4 Stoelinga, Mariëlle
4 Tian, Cong
4 Tini, Simone
4 Topcu, Ufuk
4 Vardi, Moshe Ya’akov
4 Veith, Helmut
4 Widder, Josef
4 Willemse, Tim A. C.
3 Andova, Suzana
3 Bacci, Giovanni
3 Basin, David A.
3 Basset, Nicolas
3 Becker, Bernd
3 Birkedal, Lars
3 Brauer, Jörg
3 Brožek, Václav
3 Clarke, Edmund Melson jun.
3 Dubslaff, Clemens
3 Esparza, Javier
3 Fecher, Harald
3 Größer, Marcus
3 Haddad, Serge
3 Hahn, Ernst Moritz
3 Hasuo, Ichiro
3 Kiefer, Stefan
3 Lanese, Ivan
3 Löding, Christof
3 Majumdar, Rupak
3 Mardare, Radu
3 Massink, Mieke
3 Mateus, Paulo C.
3 Meggendorfer, Tobias
3 Meng, Sun
3 Merro, Massimo
...and 861 more Authors
all top 5

Cited in 55 Serials

59 Theoretical Computer Science
35 Information and Computation
30 Formal Aspects of Computing
25 Formal Methods in System Design
24 Acta Informatica
19 Logical Methods in Computer Science
18 Science of Computer Programming
10 Journal of Computer and System Sciences
10 Discrete Event Dynamic Systems
10 The Journal of Logic and Algebraic Programming
8 Information Processing Letters
8 MSCS. Mathematical Structures in Computer Science
7 Journal of Automated Reasoning
5 ACM Transactions on Computational Logic
4 Distributed Computing
4 Fundamenta Informaticae
4 Journal of Logical and Algebraic Methods in Programming
3 Real-Time Systems
3 Theory of Computing Systems
3 Journal of the ACM
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Automatica
2 Computing
2 Journal of Computer Science and Technology
2 Computers & Operations Research
2 Annals of Operations Research
2 International Journal of Foundations of Computer Science
2 Algorithms
1 ACM Computing Surveys
1 Artificial Intelligence
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Applied Mathematics and Computation
1 Fuzzy Sets and Systems
1 Mathematics of Operations Research
1 SIAM Journal on Control and Optimization
1 Machine Learning
1 International Journal of Computer Mathematics
1 Journal of Mathematical Sciences (New York)
1 The Journal of Artificial Intelligence Research (JAIR)
1 Annals of Mathematics and Artificial Intelligence
1 European Journal of Control
1 International Journal of Applied Mathematics and Computer Science
1 Journal of Applied Mathematics
1 Journal of Applied Mathematics and Computing
1 Journal of Applied Logic
1 Mathematics in Computer Science
1 Optimization Letters
1 Nonlinear Analysis. Hybrid Systems
1 The Review of Symbolic Logic
1 Symmetry
1 Frontiers of Computer Science
1 Computer Science Review
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year