×

zbMATH — the first resource for mathematics

Hermanns, Holger

Compute Distance To:
Author ID: hermanns.holger Recent zbMATH articles by "Hermanns, Holger"
Published as: Hermanns, Holger; Hermanns, H.
Documents Indexed: 110 Publications since 1995, including 11 Books
all top 5

Co-Authors

5 single-authored
32 Katoen, Joost-Pieter
19 Zhang, Lijun
18 Baier, Christel
11 Turrini, Andrea
10 Haverkort, Boudewijn R.
9 Hahn, Ernst Moritz
8 Eisentraut, Christian
7 D’Argenio, Pedro Rubén
7 Ferrer Fioriti, Luis María
7 Jansen, David N.
6 Hatefi, Hassan
6 Krčál, Jan
5 Hashemi, Vahid
5 Wimmer, Ralf D.
4 Becker, Bernd
4 Hartmanns, Arnd
4 Siegle, Markus
4 Song, Lei
4 Wachter, Björn
4 Wolf, Verena
3 Braitling, Bettina
3 Křetínský, Jan
3 Lohrey, Markus
3 Mertsiotakis, Vassilios
2 Biewer, Sebastian
2 Brinksma, Ed
2 Butkova, Yuliya
2 Damm, Werner
2 Eisenbrand, Friedrich
2 Fränzle, Martin
2 Godskesen, Jens Chr.
2 Klaren, Ric
2 Meyer-Kayser, Joachim
2 Nielson, Flemming
2 Schuster, Johann Christoph
2 Segala, Roberto
1 Aljazzar, Husain
1 Andova, Suzana
1 Barthe, Gilles
1 Bohnenkamp, Henrik C.
1 Bravetti, Mario
1 Brázdil, Tomáš
1 Cloth, Lucia
1 Coste, Nicolas
1 Crouzen, Pepijn
1 Dayar, Tugrul
1 Derisavi, Salem
1 Dimitrova, Rayna
1 Fietzke, Arnaud
1 Finkbeiner, Bernd
1 Folmer, J.
1 Fox, Gereon
1 Garavel, Hubert
1 Götz, N.
1 Guck, Dennis
1 Herbstritt, Marc
1 Herzog, Ulrich
1 Hoffmann, Jörg
1 Infante-Lopez, Gabriel G.
1 Joubert, Christophe
1 Klauck, Michaela
1 Klehmet, Ulrich
1 Köhl, Maximilian A.
1 Krämer, Julia
1 Kwiatkowska, Marta Z.
1 Lahijanian, Morteza
1 Lantreibecq, Etienne
1 Leue, Stefan
1 Liu, Liu
1 Majumdar, Rupak
1 Niehaus, Jürgen
1 Norman, Gethin
1 Palsberg, Jens
1 Parma, Augusto
1 Ratschan, Stefan
1 Řehák, Vojtěch
1 Rettelbach, M.
1 Sanders, William H.
1 Serwe, Wendelin
1 She, Zhikun
1 Spieler, David
1 Stan, Daniel
1 Steinmetz, Marcel
1 Strampp, Kelley
1 Subramani, Krishnan
1 Teige, Tino
1 Timmer, Mark
1 Vester, Steen
1 Vogel-Heuser, Birgit
1 Weidenbach, Christoph
1 Wojciechowski, Piotr J.
1 Wolovick, Nicolás
1 Yang, Pengfei

Publications by Year

Citations contained in zbMATH Open

84 Publications have been cited 557 times in 306 Documents Cited by Year
Interactive Markov chains. And the quest for quantified quality. Zbl 1012.68142
Hermanns, Holger
55
2002
Optimal state-space lumping in Markov chains. Zbl 1189.68039
Derisavi, Salem; Hermanns, Holger; Sanders, William H.
33
2003
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
Process algebra for performance evaluation. Zbl 0992.68149
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter
21
2002
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
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
18
2011
Probabilistic CEGAR. Zbl 1155.68438
Hermanns, Holger; Wachter, Björn; Zhang, Lijun
14
2008
A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter
11
2013
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
11
2011
Interactive Markov chains. Zbl 0937.60065
Hermanns, Holger
11
1999
On the logical characterisation of performability properties. Zbl 0973.68014
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
11
2000
Concurrency and composition in a stochastic world. Zbl 1287.68132
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun
11
2010
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
Probabilistic termination: soundness, completeness, and compositionality. Zbl 1345.68104
Ferrer Fioriti, Luis María; Hermanns, Holger
10
2015
Automated compositional Markov chain generation for a plain-old telephone system. Zbl 0941.68649
Hermanns, Holger; Katoen, Joost-Pieter
10
2000
Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
10
2004
Probabilistic bisimulation: naturally on distributions. Zbl 1417.68130
Hermanns, Holger; Krčál, Jan; Křetínský, Jan
8
2014
Discrete-time rewards model-checked. Zbl 1099.68652
Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter
8
2004
Process algebra and Markov chains. Zbl 0990.68021
Brinksma, Ed; Hermanns, Holger
8
2001
Priority and maximal progress are completely axiomatisable (extended abstract). Zbl 0940.68054
Hermanns, Holger; Lohrey, Markus
7
1998
On combining functional verification and performance evaluation using CADP. Zbl 1064.68523
Garavel, Hubert; Hermanns, Holger
7
2002
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
7
2013
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
Towards performance prediction of compositional models in industrial GALS designs. Zbl 1242.68005
Coste, Nicolas; Hermanns, Holger; Lantreibecq, Etienne; Serwe, Wendelin
7
2009
Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. Zbl 1143.68452
Fränzle, Martin; Hermanns, Holger; Teige, Tino
7
2008
SIGREF – a symbolic bisimulation tool box. Zbl 1161.68631
Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd
7
2006
The how and why of interactive Markov chains. Zbl 1312.68152
Hermanns, Holger; Katoen, Joost-Pieter
7
2010
Beyond memoryless distributions: model checking semi-Markov chains. Zbl 1007.68514
Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter
6
2001
Bounding the equilibrium distribution of Markov population models. Zbl 1265.60148
Dayar, T.; Hermanns, H.; Spieler, D.; Wolf, V.
6
2011
YMCA: why Markov chain algebra? Zbl 1316.68088
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter
5
2006
Verification of open interactive Markov chains. Zbl 1354.68170
Brázdil, Tomáš; Hermanns, Holger; Krčál, Jan; Křetínský, Jan; Řehák, Vojtěch
5
2012
Axiomatising divergence. Zbl 1110.68086
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
5
2005
Counterexamples for timed probabilistic reachability. Zbl 1175.68239
Aljazzar, Husain; Hermanns, Holger; Leue, Stefan
5
2005
Efficient CSL model checking using stratification. Zbl 1348.68152
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
5
2012
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
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
Analysis of timed and long-run objectives for Markov automata. Zbl 1342.68135
Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark
4
2014
Deciding probabilistic automata weak bisimulation in polynomial time. Zbl 1354.68157
Hermanns, Holger; Turrini, Andrea
4
2012
Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
4
2007
Compositional performance modelling with TIPPtool. Zbl 1052.68553
Hermanns, H.; Herzog, U.; Klehmet, U.; Mertsiotakis, V.; Siegle, M.
4
2000
Axiomatising divergence. Zbl 1057.68069
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
4
2002
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
4
2012
On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus
4
2003
A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226
Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter
4
2002
Polynomial time decision algorithms for probabilistic automata. Zbl 1329.68168
Turrini, Andrea; Hermanns, Holger
4
2015
Improving time bounded reachability computations in interactive Markov chains. Zbl 1434.68337
Hatefi, Hassan; Hermanns, Holger
4
2013
Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun
4
2009
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
3
2013
A Markov chain model checker. Zbl 0960.68108
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus
3
2000
Superposition-based analysis of first-order probabilistic timed automata. Zbl 1306.68095
Fietzke, Arnaud; Hermanns, Holger; Weidenbach, Christoph
3
2010
Deciding simulations on probabilistic automata. Zbl 1141.68443
Zhang, Lijun; Hermanns, Holger
3
2007
MoDeST — a modelling and description language for stochastic timed systems. Zbl 1007.68518
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
3
2001
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
2006
Optimal continuous time Markov decisions. Zbl 06527548
Butkova, Yuliya; Hatefi, Hassan; Hermanns, Holger; Krčál, Jan
2
2015
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
On generative parallel composition. Zbl 0920.68078
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
2
1998
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
Cost preserving bisimulations for probabilistic automata. Zbl 1390.68473
Hermanns, Holger; Turrini, Andrea
2
2013
Compositional verification and optimization of interactive Markov chains. Zbl 1390.68472
Hermanns, Holger; Krčál, Jan; Křetínský, Jan
2
2013
Automata-based CSL model checking. Zbl 1334.68135
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
2
2011
On the minimisation of acyclic models. Zbl 1160.68462
Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun
2
2008
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
2
2018
Variable probabilistic abstraction refinement. Zbl 1374.68347
Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn
2
2012
Cost vs. time in stochastic games and Markov automata. Zbl 1369.68253
Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd
1
2015
Cost preserving bisimulations for probabilistic automata. Zbl 1448.68353
Turrini, Andrea; Hermanns, Holger
1
2014
Abstraction-based computation of reward measures for Markov automata. Zbl 1432.68217
Braitling, Bettina; Ferrer Fioriti, Luis María; Hatefi, Hassan; Wimmer, Ralf; Becker, Bernd; Hermanns, Holger
1
2015
Deciding probabilistic automata weak bisimulation: theory and practice. Zbl 1335.68117
Ferrer Fioriti, Luis María; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea
1
2016
Distributed synthesis in continuous time. Zbl 06591830
Hermanns, Holger; Krčál, Jan; Vester, Steen
1
2016
Stochastic process algebras. Zbl 0845.68073
Götz, N.; Hermanns, H.; Herzog, U.; Mertsiotakis, V.; Rettelbach, M.
1
1995
Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Zbl 1119.68005
Damm, Werner (ed.); Hermanns, Holger (ed.)
1
2007
Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3–7, 2000. Revised lectures. Zbl 0969.00082
Brinksma, Ed (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.)
1
2001
Towards model checking stochastic process algebra. Zbl 1043.68594
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus
1
2000
Reward-bounded reachability probability for uncertain weighted mdps. Zbl 06559866
Hashemi, Vahid; Hermanns, Holger; Song, Lei
1
2016
Syntactic partial order compression for probabilistic reachability. Zbl 07157058
Fox, Gereon; Stan, Daniel; Hermanns, Holger
1
2019
Logic and model checking for hidden Markov models. Zbl 1169.68524
Zhang, Lijun; Hermanns, Holger; Jansen, David N.
1
2005
Embedded software analysis with MOTOR. Zbl 1105.68335
Katoen, Joost-Pieter; Bohnenkamp, Henrik; Klaren, Ric; Hermanns, Holger
1
2004
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
1
2015
Automated performance and dependability evaluation using model checking. Zbl 1017.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
1
2002
A set of performance and dependability analysis components for CADP. Zbl 1031.68552
Hermanns, Holger; Joubert, Christophe
1
2003
Multi-objective robust strategy synthesis for interval Markov decision processes. Zbl 1421.90160
Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Lahijanian, Morteza; Turrini, Andrea
1
2017
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
1
2008
Syntactic partial order compression for probabilistic reachability. Zbl 07157058
Fox, Gereon; Stan, Daniel; Hermanns, Holger
1
2019
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
2
2018
Multi-objective robust strategy synthesis for interval Markov decision processes. Zbl 1421.90160
Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Lahijanian, Morteza; Turrini, Andrea
1
2017
Deciding probabilistic automata weak bisimulation: theory and practice. Zbl 1335.68117
Ferrer Fioriti, Luis María; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea
1
2016
Distributed synthesis in continuous time. Zbl 06591830
Hermanns, Holger; Krčál, Jan; Vester, Steen
1
2016
Reward-bounded reachability probability for uncertain weighted mdps. Zbl 06559866
Hashemi, Vahid; Hermanns, Holger; Song, Lei
1
2016
Probabilistic termination: soundness, completeness, and compositionality. Zbl 1345.68104
Ferrer Fioriti, Luis María; Hermanns, Holger
10
2015
Polynomial time decision algorithms for probabilistic automata. Zbl 1329.68168
Turrini, Andrea; Hermanns, Holger
4
2015
Optimal continuous time Markov decisions. Zbl 06527548
Butkova, Yuliya; Hatefi, Hassan; Hermanns, Holger; Krčál, Jan
2
2015
Cost vs. time in stochastic games and Markov automata. Zbl 1369.68253
Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd
1
2015
Abstraction-based computation of reward measures for Markov automata. Zbl 1432.68217
Braitling, Bettina; Ferrer Fioriti, Luis María; Hatefi, Hassan; Wimmer, Ralf; Becker, Bernd; Hermanns, Holger
1
2015
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
1
2015
Probabilistic bisimulation: naturally on distributions. Zbl 1417.68130
Hermanns, Holger; Krčál, Jan; Křetínský, Jan
8
2014
Analysis of timed and long-run objectives for Markov automata. Zbl 1342.68135
Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark
4
2014
Cost preserving bisimulations for probabilistic automata. Zbl 1448.68353
Turrini, Andrea; Hermanns, Holger
1
2014
A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter
11
2013
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
7
2013
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
Improving time bounded reachability computations in interactive Markov chains. Zbl 1434.68337
Hatefi, Hassan; Hermanns, Holger
4
2013
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
3
2013
Cost preserving bisimulations for probabilistic automata. Zbl 1390.68473
Hermanns, Holger; Turrini, Andrea
2
2013
Compositional verification and optimization of interactive Markov chains. Zbl 1390.68472
Hermanns, Holger; Krčál, Jan; Křetínský, Jan
2
2013
Verification of open interactive Markov chains. Zbl 1354.68170
Brázdil, Tomáš; Hermanns, Holger; Krčál, Jan; Křetínský, Jan; Řehák, Vojtěch
5
2012
Efficient CSL model checking using stratification. Zbl 1348.68152
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
5
2012
Deciding probabilistic automata weak bisimulation in polynomial time. Zbl 1354.68157
Hermanns, Holger; Turrini, Andrea
4
2012
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
4
2012
Variable probabilistic abstraction refinement. Zbl 1374.68347
Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn
2
2012
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
18
2011
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
11
2011
Bounding the equilibrium distribution of Markov population models. Zbl 1265.60148
Dayar, T.; Hermanns, H.; Spieler, D.; Wolf, V.
6
2011
Automata-based CSL model checking. Zbl 1334.68135
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
2
2011
Concurrency and composition in a stochastic world. Zbl 1287.68132
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun
11
2010
The how and why of interactive Markov chains. Zbl 1312.68152
Hermanns, Holger; Katoen, Joost-Pieter
7
2010
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
Superposition-based analysis of first-order probabilistic timed automata. Zbl 1306.68095
Fietzke, Arnaud; Hermanns, Holger; Weidenbach, Christoph
3
2010
Towards performance prediction of compositional models in industrial GALS designs. Zbl 1242.68005
Coste, Nicolas; Hermanns, Holger; Lantreibecq, Etienne; Serwe, Wendelin
7
2009
Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun
4
2009
Probabilistic CEGAR. Zbl 1155.68438
Hermanns, Holger; Wachter, Björn; Zhang, Lijun
14
2008
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. Zbl 1143.68452
Fränzle, Martin; Hermanns, Holger; Teige, Tino
7
2008
On the minimisation of acyclic models. Zbl 1160.68462
Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun
2
2008
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
1
2008
Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
4
2007
Deciding simulations on probabilistic automata. Zbl 1141.68443
Zhang, Lijun; Hermanns, Holger
3
2007
Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Zbl 1119.68005
Damm, Werner; Hermanns, Holger
1
2007
SIGREF – a symbolic bisimulation tool box. Zbl 1161.68631
Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd
7
2006
YMCA: why Markov chain algebra? Zbl 1316.68088
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter
5
2006
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
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
Axiomatising divergence. Zbl 1110.68086
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
5
2005
Counterexamples for timed probabilistic reachability. Zbl 1175.68239
Aljazzar, Husain; Hermanns, Holger; Leue, Stefan
5
2005
Logic and model checking for hidden Markov models. Zbl 1169.68524
Zhang, Lijun; Hermanns, Holger; Jansen, David N.
1
2005
Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
10
2004
Discrete-time rewards model-checked. Zbl 1099.68652
Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter
8
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
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
Embedded software analysis with MOTOR. Zbl 1105.68335
Katoen, Joost-Pieter; Bohnenkamp, Henrik; Klaren, Ric; Hermanns, Holger
1
2004
Optimal state-space lumping in Markov chains. Zbl 1189.68039
Derisavi, Salem; Hermanns, Holger; Sanders, William H.
33
2003
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus
4
2003
A set of performance and dependability analysis components for CADP. Zbl 1031.68552
Hermanns, Holger; Joubert, Christophe
1
2003
Interactive Markov chains. And the quest for quantified quality. Zbl 1012.68142
Hermanns, Holger
55
2002
Process algebra for performance evaluation. Zbl 0992.68149
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter
21
2002
On combining functional verification and performance evaluation using CADP. Zbl 1064.68523
Garavel, Hubert; Hermanns, Holger
7
2002
Simulation for continuous-time Markov chains. Zbl 1012.68526
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn
5
2002
Axiomatising divergence. Zbl 1057.68069
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
4
2002
A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226
Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter
4
2002
Automated performance and dependability evaluation using model checking. Zbl 1017.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
1
2002
Process algebra and Markov chains. Zbl 0990.68021
Brinksma, Ed; Hermanns, Holger
8
2001
Beyond memoryless distributions: model checking semi-Markov chains. Zbl 1007.68514
Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter
6
2001
MoDeST — a modelling and description language for stochastic timed systems. Zbl 1007.68518
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
3
2001
Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3–7, 2000. Revised lectures. Zbl 0969.00082
Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter
1
2001
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
Automated compositional Markov chain generation for a plain-old telephone system. Zbl 0941.68649
Hermanns, Holger; Katoen, Joost-Pieter
10
2000
Compositional performance modelling with TIPPtool. Zbl 1052.68553
Hermanns, H.; Herzog, U.; Klehmet, U.; Mertsiotakis, V.; Siegle, M.
4
2000
A Markov chain model checker. Zbl 0960.68108
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus
3
2000
Towards model checking stochastic process algebra. Zbl 1043.68594
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus
1
2000
Approximate symbolic model checking of continuous-time Markov chains. Zbl 0934.03044
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger
20
1999
Interactive Markov chains. Zbl 0937.60065
Hermanns, Holger
11
1999
Priority and maximal progress are completely axiomatisable (extended abstract). Zbl 0940.68054
Hermanns, Holger; Lohrey, Markus
7
1998
On generative parallel composition. Zbl 0920.68078
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
2
1998
Stochastic process algebras. Zbl 0845.68073
Götz, N.; Hermanns, H.; Herzog, U.; Mertsiotakis, V.; Rettelbach, M.
1
1995
all top 5

Cited by 493 Authors

28 Katoen, Joost-Pieter
23 Hermanns, Holger
14 Kwiatkowska, Marta Z.
13 Baier, Christel
11 Zhang, Lijun
9 Bernardo, Marco
9 Bravetti, Mario
8 Larsen, Kim Guldstrand
8 Norman, Gethin
8 Tini, Simone
7 Buchholz, Peter
7 D’Argenio, Pedro Rubén
7 Delahaye, Benoît
7 Deng, Yuxin
7 Legay, Axel
7 Stoelinga, Mariëlle
6 Haverkort, Boudewijn R.
6 Loreti, Michele
6 Wolf, Verena
5 De Nicola, Rocco
5 Jansen, David N.
5 Siegle, Markus
5 Silva, Alexandra
5 Tarasyuk, Igor’ Valer’evich
4 Bortolussi, Luca
4 Chen, Taolue
4 Crafa, Silvia
4 Dal Lago, Ugo
4 Forejt, Vojtěch
4 Fränzle, Martin
4 Fu, Yuxi
4 Gebler, Daniel E.
4 Hillston, Jane
4 Lanotte, Ruggero
4 Nielson, Flemming
4 Ranzato, Francesco
4 Sokolova, Ana
4 Sproston, Jeremy
4 Teige, Tino
4 Tribastone, Mirco
4 Turrini, Andrea
4 Wimmer, Ralf D.
3 Bacci, Giorgio
3 Becker, Bernd
3 Bertrand, Nathalie
3 Bonchi, Filippo
3 Bradley, Jeremy T.
3 Castiglioni, Valentina
3 Eggers, Andreas
3 Garavel, Hubert
3 Hahn, Ernst Moritz
3 Hashemi, Vahid
3 Kiefer, Stefan
3 Latella, Diego
3 Massink, Mieke
3 Merro, Massimo
3 Milazzo, Paolo
3 Milius, Stefan
3 Neuhäußer, Martin R.
3 Pedersen, Mikkel Lykke
3 Qu, Hongyang
3 Schröder, Lutz
3 Schuster, Johann Christoph
3 Tschaikowski, Max
3 van de Pol, Jan Cornelis
3 Wąsowski, Andrzej
3 Wijs, Anton J.
3 Wißmann, Thorsten
3 Worrell, James B.
2 Ábrahám, Erika
2 Aljazzar, Husain
2 Andova, Suzana
2 Baeten, Jos C. M.
2 Barbuti, Roberto
2 Bouyer, Patricia
2 Brázdil, Tomáš
2 Brihaye, Thomas
2 Brim, Luboš
2 Bruni, Roberto
2 Caillaud, Benoît
2 Cao, Yongzhi
2 Cardelli, Luca
2 Carlier, Pierre
2 Češka, Milan
2 Cloth, Lucia
2 Dayar, Tugrul
2 de Alfaro, Luca
2 de Vink, Erik P.
2 Dehnert, Christian
2 Dorsch, Ulrich
2 Duan, Zhenhua
2 Dubslaff, Clemens
2 Eisentraut, Christian
2 Feng, Yuan
2 Ferrer Fioriti, Luis María
2 Fokkink, Willem Jan
2 Georgievska, Sonja
2 Godskesen, Jens Chr.
2 Grellois, Charles
2 Guck, Dennis
...and 393 more Authors
all top 5

Cited in 53 Serials

43 Theoretical Computer Science
30 Information and Computation
17 Formal Methods in System Design
15 The Journal of Logic and Algebraic Programming
14 Formal Aspects of Computing
11 Acta Informatica
9 Logical Methods in Computer Science
9 Journal of Logical and Algebraic Methods in Programming
5 Journal of Computer and System Sciences
4 MSCS. Mathematical Structures in Computer Science
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
4 Nonlinear Analysis. Hybrid Systems
3 Information Processing Letters
2 Computing
2 Fuzzy Sets and Systems
2 Journal of Applied Probability
2 Science of Computer Programming
2 Computers & Operations Research
2 International Journal of Approximate Reasoning
2 Annals of Operations Research
2 Discrete Event Dynamic Systems
2 Linear Algebra and its Applications
2 European Journal of Control
2 Mathematics in Computer Science
2 Algorithms
2 Computer Science Review
1 Advances in Applied Probability
1 Artificial Intelligence
1 Computers & Mathematics with Applications
1 International Journal of Control
1 Applied Mathematics and Computation
1 Automatica
1 Programming and Computer Software
1 Statistics & Probability Letters
1 Journal of Computer Science and Technology
1 International Journal of Parallel Programming
1 Journal of Automated Reasoning
1 Machine Learning
1 Numerical Algorithms
1 Applied Mathematical Modelling
1 SIAM Review
1 Journal of Mathematical Sciences (New York)
1 Computer Science Journal of Moldova
1 Soft Computing
1 Journal of the ACM
1 Fundamenta Informaticae
1 Natural Computing
1 Journal of Applied Mathematics and Computing
1 ACM Transactions on Computational Logic
1 Optimization Letters
1 Science China. Information Sciences
1 Journal of Theoretical Biology
1 EURO Journal on Computational Optimization

Citations by Year