×

zbMATH — the first resource for mathematics

Baier, Christel

Compute Distance To:
Author ID: baier.christel Recent zbMATH articles by "Baier, Christel"
Published as: Baier, Christel; Baier, C.; Baier, Christel (ed)
Documents Indexed: 111 Publications since 1994, including 14 Books
Reviewing Activity: 10 Reviews
all top 5

Co-Authors

3 single-authored
18 Hermanns, Holger
18 Katoen, Joost-Pieter
15 Klein, Joachim
15 Klüppelholz, Sascha
13 Bertrand, Nathalie
13 Größer, Marcus
12 Kwiatkowska, Marta Z.
10 Haverkort, Boudewijn R.
9 Dubslaff, Clemens
9 Majster-Cederbaum, Mila E.
4 Schnoebelen, Philippe
3 Arbab, Farhad
3 Bouyer, Patricia
3 Brihaye, Thomas
3 Ciesinski, Frank
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 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 Hutschenreiter, Lisa
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 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

74 Publications have been cited 670 times in 502 Documents Cited by Year
Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076
Baier, Christel; Katoen, Joost-Pieter
228
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
32
2000
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
27
2000
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena
25
2005
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
15
2008
On the logical characterisation of performability properties. Zbl 0973.68014
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
11
2000
Probabilistic \({\omega}\)-automata. Zbl 1281.68152
Baier, Christel; Grösser, Marcus; Bertrand, Nathalie
10
2012
Denotational semantics in the cpo and metric approach. Zbl 0829.68079
Baier, Christel; Majster-Cederbaum, Mila E.
10
1994
Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
10
2004
On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664
Baier, Christel; Kwiatkowska, Marta
9
1998
When are timed automata determinizable? Zbl 1248.68284
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas
9
2009
Metric semantics for true concurrent real time. Zbl 0976.68103
Katoen, J.-P.; Baier, C.; Latella, D.
8
2001
The connection between an event structure semantics and an operational semantics for TCSP. Zbl 0790.68064
Baier, Christel; Majster-Cederbaum, Mila E.
7
1994
Controller synthesis for probabilistic systems (extended abstract). Zbl 1073.93037
Baier, Christel; Größer, Marcus; Leucker, Martin; Bollig, Benedikt; Ciesinski, Frank
7
2004
Domain equations for probabilistic processes. Zbl 0974.68136
Baier, Christel; Kwiatkowska, Marta
7
2000
Domain equations for probabilistic processes. Zbl 0911.68087
Baier, Christel; Kwiatkowska, Marta
7
1997
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic. Zbl 1153.03016
Klein, Joachim; Baier, Christel
7
2006
Probabilistic and topological semantics for timed automata. Zbl 1135.68464
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus
7
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
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
Symbolic model checking for channel-based component connectors. Zbl 1167.68035
Klüppelholz, Sascha; Baier, Christel
6
2009
Norm functions for probabilistic bisimulations with delays. Zbl 0961.68087
Baier, Christel; Stoelinga, Mariëlle
5
2000
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
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
4
2018
Weight monitoring with linear temporal logic: complexity and decidability. Zbl 1401.68182
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, 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
Probabilistic model checking for energy-utility analysis. Zbl 1407.68279
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
4
2014
Verifying nondeterministic probabilistic channel systems against \(\omega\)-regular linear-time properties. Zbl 1367.68181
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
4
2007
On-the-fly stuttering in the construction of deterministic \(\omega \)-automata. Zbl 1139.68366
Klein, Joachim; Baier, Christel
4
2007
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
Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058
Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt
3
2005
Are good-for-games automata good for probabilistic model checking? Zbl 1408.68093
Klein, Joachim; Müller, David; Baier, Christel; Klüppelholz, Sascha
3
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
Recurrence and transience for probabilistic automata. Zbl 1248.68337
Tracol, Mathieu; Baier, Christel; Grösser, Marcus
3
2009
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
A note on the attractor-property of infinite-state Markov chains. Zbl 1191.68330
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
3
2006
Composition of stochastic transition systems based on spans and couplings. Zbl 1388.68196
Gburek, Daniel; Baier, Christel; Klüppelholz, Sascha
2
2016
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
2
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
2
2016
On topological hierarchies of temporal properties. Zbl 0956.68027
Baier, Christel; Kwiatkowska, Marta
2
2000
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
Baier, Christel (ed.); Haverkort, Boudewijn R. (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.); Siegle, Markus (ed.)
2
2004
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
Baier, Christel (ed.); Tinelli, Cesare (ed.)
2
2015
Synthesis of Reo connectors for strategies and controllers. Zbl 1286.68067
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
2
2014
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
2006
Rare-event verification for stochastic hybrid systems. Zbl 1362.68192
Zuliani, Paolo; Baier, Christel; Clarke, Edmund M.
2
2012
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
Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064
Meng, Sun; Arbab, Farhad; Baier, Christel
2
2011
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
A compositional framework for controller synthesis. Zbl 1329.68182
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
2
2011
Trade-off analysis meets probabilistic model checking. Zbl 1401.68181
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha
1
2014
Symbolic reasoning with weighted and normalized decision diagrams. Zbl 1273.68420
Ossowski, Jörn; Baier, Christel
1
2006
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
Reasoning about cost-utility constraints in probabilistic models. Zbl 06798761
Baier, Christel
1
2015
Synthesis of Reo circuits from scenario-based specifications. Zbl 1347.68024
Arbab, Farhad; Sun, Meng; Baier, Christel
1
2009
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic. Zbl 1172.68514
Klein, Joachim; Baier, Christel
1
2006
Partial order reduction for Markov decision processes: a survey. Zbl 1196.68137
Groesser, Marcus; 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
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
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications. Zbl 1214.68219
Lampka, Kai; Siegle, Markus; Ossowski, Joern; Baier, Christel
1
2010
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
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
2
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
4
2018
Composition of stochastic transition systems based on spans and couplings. Zbl 1388.68196
Gburek, Daniel; Baier, Christel; Klüppelholz, Sascha
2
2016
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
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
Baier, Christel; Tinelli, Cesare
2
2015
Reasoning about cost-utility constraints in probabilistic models. Zbl 06798761
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
4
2014
Probabilistic model checking for energy-utility analysis. Zbl 1407.68279
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
4
2014
Are good-for-games automata good for probabilistic model checking? Zbl 1408.68093
Klein, Joachim; Müller, David; Baier, Christel; Klüppelholz, Sascha
3
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
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
Synthesis of Reo connectors for strategies and controllers. Zbl 1286.68067
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
2
2014
Trade-off analysis meets probabilistic model checking. Zbl 1401.68181
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha
1
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
10
2012
Rare-event verification for stochastic hybrid systems. Zbl 1362.68192
Zuliani, Paolo; Baier, Christel; Clarke, Edmund M.
2
2012
Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064
Meng, Sun; Arbab, Farhad; Baier, Christel
2
2011
A compositional framework for controller synthesis. Zbl 1329.68182
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha
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
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
228
2008
On decision problems for probabilistic Büchi automata. Zbl 1139.68030
Baier, Christel; Bertrand, Nathalie; Größer, Marcus
15
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
Verifying nondeterministic probabilistic channel systems against \(\omega\)-regular linear-time properties. Zbl 1367.68181
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
4
2007
On-the-fly stuttering in the construction of deterministic \(\omega \)-automata. Zbl 1139.68366
Klein, Joachim; Baier, Christel
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
7
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
Partial order reduction for Markov decision processes: a survey. Zbl 1196.68137
Groesser, Marcus; 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
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena
25
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
7
2004
Validation of stochastic systems. A guide to current research. Zbl 1047.68001
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter; Siegle, Markus
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
32
2000
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
27
2000
On the logical characterisation of performability properties. Zbl 0973.68014
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
11
2000
Domain equations for probabilistic processes. Zbl 0974.68136
Baier, Christel; Kwiatkowska, Marta
7
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
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 850 Authors

29 Baier, Christel
26 Katoen, Joost-Pieter
17 Chatterjee, Krishnendu
16 Kwiatkowska, Marta Z.
14 Hermanns, Holger
13 Arbab, Farhad
12 Majster-Cederbaum, Mila E.
9 Bernardo, Marco
9 Henzinger, Thomas A.
9 Norman, Gethin
9 Viswanathan, Mahesh
8 Bertrand, Nathalie
8 Larsen, Kim Guldstrand
7 Abate, Alessandro
7 Brázdil, Tomáš
7 Forejt, Vojtěch
7 Klüppelholz, Sascha
7 Křetínský, Jan
7 van Breugel, Franck
7 Worrell, James B.
7 Zhang, Lijun
6 Bouyer, Patricia
6 Clarke, Dave
6 Doyen, Laurent
6 Junges, Sebastian
6 Kucera, Antonin
6 Panangaden, Prakash
5 Bortolussi, Luca
5 Buchholz, Peter
5 Chadha, Rohit
5 De Nicola, Rocco
5 Desharnais, Josée
5 Haverkort, Boudewijn R.
5 Klein, Joachim
5 Lanotte, Ruggero
5 Loreti, Michele
5 Ouaknine, Joel O.
5 Raskin, Jean-François
4 Aichernig, Bernhard K.
4 Bérard, Béatrice
4 Brihaye, Thomas
4 de Vink, Erik P.
4 Deng, Yuxin
4 Duan, Zhenhua
4 Gebler, Daniel E.
4 Jansen, David N.
4 Jobstmann, Barbara
4 Krause, Christian
4 Latella, Diego
4 Lazovik, Alexander
4 Movaghar, Ali
4 Silva, Alexandra
4 Sirjani, Marjan
4 Sproston, Jeremy
4 Stoelinga, Mariëlle
4 Tian, Cong
4 Tini, Simone
4 Veith, Helmut
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 Češka, Milan
3 Clarke, Edmund Melson jun.
3 Fecher, Harald
3 Feng, Yuan
3 Größer, Marcus
3 Hahn, Ernst Moritz
3 Hasuo, Ichiro
3 Hillston, Jane
3 Jansen, Nils
3 Kiefer, Stefan
3 Konnov, Igor V.
3 Lanese, Ivan
3 Majumdar, Rupak
3 Mardare, Radu
3 Markey, Nicolas
3 Massink, Mieke
3 Mateus, Paulo C.
3 Meggendorfer, Tobias
3 Meng, Sun
3 Merro, Massimo
3 Milius, Stefan
3 Mio, Matteo
3 Otop, Jan
3 Proença, José
3 Rabinovich, Alexander
3 Randour, Mickael
3 Ranzato, Francesco
3 Sankur, Ocan
3 Schnoebelen, Philippe
3 Schröder, Lutz
3 Støvring, Kristian
3 Tang, Qiyi
3 Tarasyuk, Igor’ Valer’evich
3 Thamsborg, Jacob
...and 750 more Authors
all top 5

Cited in 52 Serials

59 Theoretical Computer Science
33 Information and Computation
27 Formal Aspects of Computing
25 Formal Methods in System Design
22 Acta Informatica
18 Science of Computer Programming
17 Logical Methods in Computer Science
10 Journal of Computer and System Sciences
10 The Journal of Logic and Algebraic Programming
9 Discrete Event Dynamic Systems
8 Information Processing Letters
7 Journal of Automated Reasoning
7 MSCS. Mathematical Structures in Computer Science
5 ACM Transactions on Computational Logic
4 Journal of Logical and Algebraic Methods in Programming
3 Real-Time Systems
3 Distributed Computing
3 Theory of Computing Systems
3 Journal of the ACM
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
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 Fundamenta Informaticae
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 SIAM Journal on Control and Optimization
1 Machine Learning
1 International Journal of Computer Mathematics
1 Journal of Mathematical Sciences (New York)
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