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

Holger Hermanns Vis

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

*2009
98EENicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe: Towards Performance Prediction of Compositional Models in Industrial GALS Designs. CAV 2009: 204-218
97EEErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647
96EEErnst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106
95EEEckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker: Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2): 274-292 (2009)
2008
94EELijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
93EEReza Pulungan, Holger Hermanns: Effective Minimization of Acyclic Phase-Type Representations. ASMTA 2008: 128-143
92EEHolger Hermanns, Björn Wachter, Lijun Zhang: Probabilistic CEGAR. CAV 2008: 162-175
91EEPepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. CONCUR 2008: 295-309
90EENicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni: Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. DATE 2008: 88-89
89EEJonathan Bogdoll, Holger Hermanns, Lijun Zhang: An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52
88EEMartin Fränzle, Holger Hermanns, Tino Teige: Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. HSCC 2008: 172-186
87 Holger Hermanns, Sven Johr: May we reach it? Or must we? In what time? With what probability? MMB 2008: 125-140
86 Reza Pulungan, Holger Hermanns: The Minimal Representation of the Maximum of Erlang Distributions. MMB 2008: 207-222
85EERalf Wimmer, Salem Derisavi, Holger Hermanns: Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST 2008: 65-74
84EELijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
83EEChristel Baier, Holger Hermanns: Special issue: CONCUR 2006. Inf. Comput. 206(5): 491 (2008)
82EELijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Logical Methods in Computer Science 4(4): (2008)
81EEHolger Hermanns, Jens Palsberg: Improving the effectiveness of system verification. STTT 10(2): 111-112 (2008)
80EEChristian Eisentraut, Holger Hermanns: Teaching Concurrency Concepts to Freshmen. T. Petri Nets and Other Models of Concurrency 1: 35-53 (2008)
2007
79 Werner Damm, Holger Hermanns: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings Springer 2007
78EELijun Zhang, Holger Hermanns: Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222
77EEHolger Hermanns, Sven Johr: Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. DSN 2007: 718-728
76EEChristian Groß, Holger Hermanns, Reza Pulungan: Does Clock Precision Influence ZigBee's Energy Consumptions?. OPODIS 2007: 174-188
75EEBjörn Wachter, Lijun Zhang, Holger Hermanns: Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140
74EELijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
73EEHenrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen: motor: The modestTool Environment. TACAS 2007: 500-504
2006
72 Holger Hermanns, Jens Palsberg: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings Springer 2006
71 Christel Baier, Holger Hermanns: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings Springer 2006
70EERalf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker: Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492
69EEEckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker: Compositional Performability Evaluation for STATEMATE. QEST 2006: 167-178
68EEGrégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher: 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 2006
67EEMario Bravetti, Holger Hermanns, Joost-Pieter Katoen: YMCA: - Why Markov Chain Algebra? - . Electr. Notes Theor. Comput. Sci. 162: 107-112 (2006)
66EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Bisimulation and Simulation Relations for Markov Chains. Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006)
65EEHenrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. 32(10): 812-830 (2006)
2005
64EEHusain Aljazzar, Holger Hermanns, Stefan Leue: Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195
63EELijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
62EEHolger Hermanns, David N. Jansen, Yaroslav S. Usenko: From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. WOSP 2005: 13-23
61EEChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005)
60EEMarkus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising divergence. Inf. Comput. 203(2): 115-144 (2005)
59EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)
58EEDavid N. Jansen, Holger Hermanns: QoS modelling and analysis with UML-statecharts: the StoCharts approach. SIGMETRICS Performance Evaluation Review 32(4): 28-33 (2005)
57EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci. 345(1): 2-26 (2005)
2004
56 Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle: Validation of Stochastic Systems - A Guide to Current Research Springer 2004
55 Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko: An industrial-strength formal method -- A Modest survey. ISoLA (Preliminary proceedings) 2004: 284-295
54EEDavid N. Jansen, Holger Hermanns: Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? QEST 2004: 250-259
53EEHenrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko: Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST 2004: 28-37
52EEJoost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns: Embedded Software Analysis with MOTOR. SFM 2004: 268-294
51EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. TACAS 2004: 61-76
50EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen: Probabilistic weak simulation is decidable in polynomial time. Inf. Process. Lett. 89(3): 123-130 (2004)
2003
49EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Comparative Branching-Time Semantics. CONCUR 2003: 482-497
48EEHenrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS 2003: 116-133
47EEHenrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager: Cost-Optimization of the IPv4 Zeroconf Protocol. DSN 2003: 531-540
46EEHenrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders: On Integrating the MÖBIUS and MODEST Modeling Tools. DSN 2003: 671
45EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: ETMCC: Model Checking Performability Properties of Markov Chains. DSN 2003: 673-
44EESuzana Andova, Holger Hermanns, Joost-Pieter Katoen: Discrete-Time Rewards Model-Checked. FORMATS 2003: 88-104
43EEHolger Hermanns, Christophe Joubert: A Set of Performance and Dependability Analysis Components for CADP. TACAS 2003: 425-430
42EEDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A QoS-Oriented Extension of UML Statecharts. UML 2003: 76-91
41EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. 29(6): 524-541 (2003)
40EESalem Derisavi, Holger Hermanns, William H. Sanders: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6): 309-315 (2003)
39EEHolger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle: On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebr. Program. 56(1-2): 23-67 (2003)
38EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A tool for model-checking Markov chains. STTT 4(2): 153-172 (2003)
2002
37 Holger Hermanns, Roberto Segala: Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings Springer 2002
36 Holger Hermanns: Interactive Markov Chains: The Quest for Quantified Quality Springer 2002
35EEChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354
34EEBoudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
33EEHubert Garavel, Holger Hermanns: On Combining Functional Verification and Performance Evaluation Using CADP. FME 2002: 410-429
32EEDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374
31EEMarkus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising Divergence. ICALP 2002: 585-596
30EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289
29EEHolger Hermanns, Joost-Pieter Katoen: Guest editors' introduction: Model checking in a nutshell. J. Log. Algebr. Program. 52-53: 1-5 (2002)
28EEHolger Hermanns, Ulrich Herzog, Joost-Pieter Katoen: Process algebra for performance evaluation. Theor. Comput. Sci. 274(1-2): 43-87 (2002)
2001
27 Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen: Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures Springer 2001
26EEHolger Hermanns, Joost-Pieter Katoen: Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. CONCUR 2001: 59-81
25EEGabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen: Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. PAPM-PROBMIV 2001: 57-70
24EEPedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV 2001: 87-104
23 Holger Hermanns: Construction and Verification of Performance and Reliability Models. Bulletin of the EATCS 74: 135-153 (2001)
2000
22 Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372
21EEEd Brinksma, Holger Hermanns: Process Algebra and Markov Chains. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 183-231
20EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792
19EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: Towards Model Checking Stochastic Process Algebra. IFM 2000: 420-439
18EEBoudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237
17EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A Markov Chain Model Checker. TACAS 2000: 347-362
16 Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle: Compositional performance modelling with the TIPPtool. Perform. Eval. 39(1-4): 5-35 (2000)
15 Holger Hermanns, Joost-Pieter Katoen: Automated compositional Markov chain generation for a plain-old telephone system. Sci. Comput. Program. 36(1): 97-127 (2000)
1999
14EEHolger Hermanns, Markus Siegle: Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ARTS 1999: 244-264
13EEHolger Hermanns, Vassilis Mertsiotakis, Markus Siegle: TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. CAV 1999: 487-490
12EEChristel Baier, Joost-Pieter Katoen, Holger Hermanns: Approximate Symbolic Model Checking of Continuous-Time Markov Chains. CONCUR 1999: 146-161
11 Holger Hermanns, Markus Siegle: Symbolic Minimisation of Stochastic Process Algebra Models. FBT 1999: 73-82
10EEPedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: On Generative Parallel Composition. Electr. Notes Theor. Comput. Sci. 22: (1999)
1998
9EEHolger Hermanns, Markus Lohrey: Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). CONCUR 1998: 237-252
8EEHolger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle: Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) 1998: 51-62
7 Holger Hermanns, Marina Ribaudo: Exploiting Symmetries in Stochastic Process Algebras. ESM 1998: 763-770
6EEHolger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis: Stochastic Process Algebras - Between LOTOS and Markov Chains. Computer Networks 30(9-10): 901-924 (1998)
1997
5EEChristel Baier, Holger Hermanns: Weak Bisimulation for Fully Probabilistic Processes. CAV 1997: 119-130
4 Christel Baier, Holger Hermanns: Weak Bisimulation for Fully Probabilistic Processes. FBT 1997: 59-68
1996
3 Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach: A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. TACAS 1996: 427-430
1995
2 Holger Hermanns, Michael Rettelbach, Thorsten Weiss: Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. Comput. J. 38(7): 530-541 (1995)
1994
1 Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach: Stochastic process algebras: integrating qualitative and quantitative modelling. FORTE 1994: 449-451

Coauthor Index

1Husain Aljazzar [64]
2Suzana Andova [44]
3Christel Baier [4] [5] [12] [20] [22] [30] [34] [35] [41] [49] [50] [51] [56] [57] [59] [61] [66] [71] [83]
4Grégory Batt [68]
5Bernd Becker [69] [70] [95]
6Eckard Böde [69] [95]
7Jonathan Bogdoll [89]
8Henrik C. Bohnenkamp [46] [47] [48] [52] [53] [55] [65] [73]
9Jeremy T. Bradley [68]
10Mario Bravetti [67]
11Ed Brinksma [21] [27]
12Lucia Cloth [34]
13Nicolas Coste [90] [98]
14Tod Courtney [46]
15Pepijn Crouzen [91]
16Pedro R. D'Argenio [10] [24] [31] [60] [65]
17David Daly [46]
18Werner Damm [79]
19Salem Derisavi [40] [46] [85]
20Friedrich Eisenbrand [74] [82] [84]
21Christian Eisentraut [80]
22Roland Ewald [68]
23François Fages [68]
24Martin Fränzle [88]
25Hubert Garavel [33] [90]
26Christian Groß [76]
27Ernst Moritz Hahn [94] [96] [97]
28Boudewijn R. Haverkort [18] [20] [22] [30] [34] [35] [41] [51] [56] [57] [59]
29Marc Herbstritt [69] [70] [95]
30Richard Hersemeule [90]
31Ulrich Herzog [1] [6] [8] [16] [28]
32Jane Hillston [1] [68]
33David N. Jansen [32] [42] [54] [55] [58] [62] [63] [74] [82] [84]
34Sven Johr [69] [77] [87] [95]
35Christophe Joubert [43]
36Joost-Pieter Katoen [10] [12] [15] [17] [18] [19] [20] [22] [24] [25] [26] [27] [28] [29] [30] [32] [34] [35] [38] [41] [42] [44] [45] [46] [48] [49] [50] [51] [52] [55] [56] [57] [59] [61] [65] [66] [67] [73]
37Peter Kemper [68]
38Ric Klaren [24] [46] [48] [52] [53]
39Ulrich Klehmet [8] [16]
40Marta Z. Kwiatkowska [39]
41Vinh Vi Lam [46]
42Etienne Lantreibecq [98]
43Stefan Leue [64]
44Markus Lohrey [9] [31] [60]
45Gabriel G. Infante López [25]
46Angelika Mader [53]
47Alke Martens [68]
48Vassilis Mertsiotakis [1] [3] [6] [8] [13] [16]
49Joachim Meyer-Kayser [17] [19] [38] [45]
50Pieter J. Mosterman [68]
51Flemming Nielson [68]
52Gethin Norman [39]
53Jens Palsberg [72] [81]
54David Parker [39]
55Thomas Peikenkamp [69] [95]
56Reza Pulungan [69] [76] [86] [93] [95]
57Jan Rakow [95]
58Michael Rettelbach [1] [2] [3]
59Marina Ribaudo [7]
60William H. Sanders [40] [46]
61Roberto Segala [37]
62Wendelin Serwe [98]
63Markus Siegle [8] [11] [13] [14] [16] [17] [19] [38] [39] [45] [56]
64Oleg Sokolsky [68]
65Peter van der Stok (P. D. V. van der Stok) [47]
66Kelley Strampp [70]
67Tino Teige [88]
68Yvain Thonnart [90]
69Adelinde M. Uhrmacher (Adelinde Uhrmacher) [68]
70Yaroslav S. Usenko [53] [55] [62]
71Frits W. Vaandrager [47]
72Björn Wachter [75] [92] [94] [97]
73Thorsten Weiss [2]
74Ralf Wimmer [69] [70] [85] [95]
75Verena Wolf [49] [61] [66]
76Lijun Zhang [63] [74] [75] [78] [82] [84] [89] [91] [92] [94] [96] [97]
77Meriem Zidouni [90]

Colors in the list of coauthors

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