×

zbMATH — the first resource for mathematics

Baier, Christel

Compute Distance To:
Author ID: baier.christel Recent zbMATH articles by "Baier, Christel"
Published as: Baier, C.; Baier, Christel; Baier, Christel (ed)
Documents Indexed: 110 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
14 Klein, Joachim
14 Klüppelholz, Sascha
13 Bertrand, Nathalie
13 Größer, Marcus
12 Kwiatkowska, Marta Z.
10 Haverkort, Boudewijn R.
9 Majster-Cederbaum, Mila E.
8 Dubslaff, Clemens
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 Ryan, Mark R.
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 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 Parker, David F.
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

77 Publications have been cited 722 times in 543 Documents Cited by Year
Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076
Baier, Christel; Katoen, Joost-Pieter
273
2008
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
39
2000
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
35
2006
Deciding bisimilarity and similarity for probabilistic processes. Zbl 1073.68690
Baier, Christel; Engelen, Bettina; Majster-Cederbaum, Mila
31
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 weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
9
2004
On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664
Baier, Christel; Kwiatkowska, Marta
9
1998
Denotational semantics in the cpo and metric approach. Zbl 0829.68079
Baier, Christel; Majster-Cederbaum, Mila E.
9
1994
Probabilistic \({\omega}\)-automata. Zbl 1281.68152
Baier, Christel; Grösser, Marcus; Bertrand, Nathalie
8
2012
Symbolic model checking for channel-based component connectors. Zbl 1167.68035
Klüppelholz, Sascha; Baier, Christel
8
2009
When are timed automata determinizable? Zbl 1248.68284
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas
8
2009
Metric semantics for true concurrent real time. Zbl 0976.68103
Katoen, J.-P.; Baier, C.; Latella, D.
8
2001
Domain equations for probabilistic processes. Zbl 0911.68087
Baier, Christel; Kwiatkowska, Marta
8
1997
Probabilistic and topological semantics for timed automata. Zbl 1135.68464
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus
7
2007
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic. Zbl 1153.03016
Klein, Joachim; Baier, Christel
7
2006
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
The connection between an event structure semantics and an operational semantics for TCSP. Zbl 0790.68064
Baier, Christel; Majster-Cederbaum, Mila E.
7
1994
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
Reasoning about probabilistic lossy channel systems. Zbl 0999.68145
Abdulla, Parosh; Baier, Christel; Iyer, Purushothaman; Jonsson, Bengt
6
2000
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
Norm functions for probabilistic bisimulations with delays. Zbl 0961.68087
Baier, Christel; Stoelinga, Mariëlle
5
2000
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
Metric semantics from partial order semantics. Zbl 0883.68083
Baier, Christel; Majster-Cederbaum, Mila E.
5
1997
Weight monitoring with linear temporal logic: complexity and decidability. Zbl 1401.68182
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, 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
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
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
On-the-fly stuttering in the construction of deterministic \(\omega \)-automata. Zbl 1139.68366
Klein, Joachim; Baier, Christel
4
2007
Simulation for continuous-time Markov chains. Zbl 1012.68526
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn
4
2002
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
Probabilistic model checking for energy-utility analysis. Zbl 1407.68279
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
3
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
Recurrence and transience for probabilistic automata. Zbl 1248.68337
Tracol, Mathieu; Baier, Christel; Grösser, Marcus
3
2009
Formal verification for components and connectors. Zbl 1254.68143
Baier, Christel; Blechmann, Tobias; Klein, Joachim; Klüppelholz, Sascha
3
2009
A note on the attractor-property of infinite-state Markov chains. Zbl 1191.68330
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe
3
2006
Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058
Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt
3
2005
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.)
3
2004
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
2
2018
Composition of stochastic transition systems based on spans and couplings. Zbl 1388.68196
Gburek, Daniel; Baier, Christel; 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
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
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
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
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
Automated performance and dependability evaluation using model checking. Zbl 1017.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
2002
On topological hierarchies of temporal properties. Zbl 0956.68027
Baier, Christel; Kwiatkowska, Marta
2
2000
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
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
1
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
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
1
2016
Reasoning about cost-utility constraints in probabilistic models. Zbl 06798761
Baier, Christel
1
2015
Trade-off analysis meets probabilistic model checking. Zbl 1401.68181
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha
1
2014
Model checking for performability. Zbl 1358.68181
Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P.
1
2013
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications. Zbl 1214.68219
Lampka, Kai; Siegle, Markus; Ossowski, Joern; Baier, Christel
1
2010
Alternating-time stream logic for multi-agent systems. Zbl 1192.68697
Klüppelholz, Sascha; Baier, Christel
1
2010
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
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
1
2008
Symbolic reasoning with weighted and normalized decision diagrams. Zbl 1273.68420
Ossowski, Jörn; 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
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic. Zbl 1172.68514
Klein, Joachim; Baier, Christel
1
2006
Model checking with formula-dependent abstract models. Zbl 0991.68046
Asteroth, Alexander; Baier, Christel; Aßmann, Ulrich
1
2001
On the semantic foundations of probabilistic synchronous reactive programs. Zbl 0943.68107
Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki
1
1998
Denotational linear time semantics and sequential composition. Zbl 0900.68296
Baier, Christel; Majster-Cederbaum, Mila E.
1
1996
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
1
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
2
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
1
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 (ed.); Tinelli, Cesare (ed.)
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
Energy-utility analysis for resilient systems using probabilistic model checking. Zbl 1407.68280
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha; Leuschner, Linda
4
2014
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
Probabilistic model checking for energy-utility analysis. Zbl 1407.68279
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
3
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
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
Model checking for performability. Zbl 1358.68181
Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P.
1
2013
Probabilistic \({\omega}\)-automata. Zbl 1281.68152
Baier, Christel; Grösser, Marcus; Bertrand, Nathalie
8
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
Alternating-time stream logic for multi-agent systems. Zbl 1192.68697
Klüppelholz, Sascha; Baier, Christel
1
2010
Symbolic model checking for channel-based component connectors. Zbl 1167.68035
Klüppelholz, Sascha; Baier, Christel
8
2009
When are timed automata determinizable? Zbl 1248.68284
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas
8
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
Formal verification for components and connectors. Zbl 1254.68143
Baier, Christel; Blechmann, Tobias; Klein, Joachim; Klüppelholz, Sascha
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
273
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
35
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
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
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic. Zbl 1172.68514
Klein, Joachim; Baier, Christel
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
9
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 (ed.); Haverkort, Boudewijn R. (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.); Siegle, Markus (ed.)
3
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
4
2002
Automated performance and dependability evaluation using model checking. Zbl 1017.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
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
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
39
2000
Deciding bisimilarity and similarity for probabilistic processes. Zbl 1073.68690
Baier, Christel; Engelen, Bettina; Majster-Cederbaum, Mila
31
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
On the semantic foundations of probabilistic synchronous reactive programs. Zbl 0943.68107
Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki
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
8
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
Metric semantics from partial order semantics. Zbl 0883.68083
Baier, Christel; Majster-Cederbaum, Mila E.
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.
9
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 929 Authors

30 Baier, Christel
28 Katoen, Joost-Pieter
18 Chatterjee, Krishnendu
16 Kwiatkowska, Marta Z.
14 Hermanns, Holger
13 Arbab, Farhad
12 Abate, Alessandro
12 Majster-Cederbaum, Mila E.
10 Norman, Gethin
9 Bernardo, Marco
9 Bertrand, Nathalie
9 Henzinger, Thomas A.
9 Larsen, Kim Guldstrand
9 Viswanathan, Mahesh
8 Worrell, James B.
7 Bouyer, Patricia
7 Brázdil, Tomáš
7 Forejt, Vojtěch
7 Klüppelholz, Sascha
7 Parker, David F.
7 van Breugel, Franck
7 Zhang, Lijun
6 Clarke, Dave
6 Doyen, Laurent
6 Hasan, Osman
6 Haverkort, Boudewijn R.
6 Křetínský, Jan
6 Kucera, Antonin
6 Ouaknine, Joel O.
6 Panangaden, Prakash
6 Stoelinga, Mariëlle
6 Tahar, Sofiène
5 Bortolussi, Luca
5 Buchholz, Peter
5 Chadha, Rohit
5 De Nicola, Rocco
5 de Vink, Erik P.
5 Desharnais, Josée
5 Feng, Yuan
5 Klein, Joachim
5 Loreti, Michele
5 Ranzato, Francesco
5 Raskin, Jean-François
5 Schnoebelen, Philippe
5 Tkachev, Ilya
5 Ying, Mingsheng
4 Bérard, Béatrice
4 Brauer, Jörg
4 Brihaye, Thomas
4 Duan, Zhenhua
4 Gebler, Daniel E.
4 Jansen, David N.
4 Jansen, Nils
4 Jobstmann, Barbara
4 Junges, Sebastian
4 Krause, Christian
4 Lanotte, Ruggero
4 Latella, Diego
4 Lazovik, Alexander
4 Li, Yongming
4 Markey, Nicolas
4 Movaghar, Ali
4 Petrov, Tatjana
4 Randour, Mickael
4 Sirjani, Marjan
4 Tian, Cong
4 Veith, Helmut
3 Aichernig, Bernhard K.
3 Akshay, S.
3 Andova, Suzana
3 Baader, Franz
3 Basin, David A.
3 Basset, Nicolas
3 Becker, Bernd
3 Belta, Calin
3 Birkedal, Lars
3 Brožek, Václav
3 Cao, Yongzhi
3 Castro, Pablo F.
3 Černá, Ivana
3 Chen, Taolue
3 Chmelík, Martin
3 Clarke, Edmund Melson jun.
3 Deng, Yuxin
3 Dimarogonas, Dimos V.
3 Dubslaff, Clemens
3 Fecher, Harald
3 Gnesi, Stefania
3 Größer, Marcus
3 Hahn, Ernst Moritz
3 Hasuo, Ichiro
3 Hillston, Jane
3 Izadi, Mohammad A.
3 Kiefer, Stefan
3 Koeppl, Heinz
3 Konnov, Igor V.
3 Lazar, Mircea
3 Legay, Axel
3 Ma, Zhanyou
3 Majumdar, Rupak
...and 829 more Authors
all top 5

Cited in 52 Serials

76 Theoretical Computer Science
41 Information and Computation
25 Formal Methods in System Design
22 Acta Informatica
21 Formal Aspects of Computing
20 Science of Computer Programming
14 Logical Methods in Computer Science
12 Journal of Computer and System Sciences
11 The Journal of Logic and Algebraic Programming
10 Information Processing Letters
9 Automatica
9 Discrete Event Dynamic Systems
7 MSCS. Mathematical Structures in Computer Science
7 Journal of Logical and Algebraic Methods in Programming
6 Journal of Automated Reasoning
5 ACM Transactions on Computational Logic
5 Nonlinear Analysis. Hybrid Systems
4 Fuzzy Sets and Systems
4 Journal of Applied Logic
3 Real-Time Systems
3 Distributed Computing
3 Theory of Computing Systems
3 Journal of the ACM
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 Computer Science Review
2 Artificial Intelligence
2 Computers & Mathematics with Applications
2 Computing
2 Journal of Computer Science and Technology
2 Computers & Operations Research
2 Annals of Operations Research
2 Algorithms
1 ACM Computing Surveys
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Applied Mathematics and Computation
1 SIAM Journal on Control and Optimization
1 Systems & Control Letters
1 International Journal of Approximate Reasoning
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 Mathematics in Computer Science
1 Optimization Letters
1 Symmetry
1 Frontiers of Computer Science
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year