2009 |
94 | EE | Eckard 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 |
93 | EE | Lijun Zhang,
Holger Hermanns,
E. Moritz Hahn,
Björn Wachter:
Time-bounded model checking of infinite-state continuous-time Markov chains.
ACSD 2008: 98-107 |
92 | EE | Reza Pulungan,
Holger Hermanns:
Effective Minimization of Acyclic Phase-Type Representations.
ASMTA 2008: 128-143 |
91 | EE | Holger Hermanns,
Björn Wachter,
Lijun Zhang:
Probabilistic CEGAR.
CAV 2008: 162-175 |
90 | EE | Pepijn Crouzen,
Holger Hermanns,
Lijun Zhang:
On the Minimisation of Acyclic Models.
CONCUR 2008: 295-309 |
89 | EE | Nicolas 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 |
88 | EE | Jonathan Bogdoll,
Holger Hermanns,
Lijun Zhang:
An Experimental Evaluation of Probabilistic Simulation.
FORTE 2008: 37-52 |
87 | EE | Martin Fränzle,
Holger Hermanns,
Tino Teige:
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.
HSCC 2008: 172-186 |
86 | | Holger Hermanns,
Sven Johr:
May we reach it? Or must we? In what time? With what probability?
MMB 2008: 125-140 |
85 | | Reza Pulungan,
Holger Hermanns:
The Minimal Representation of the Maximum of Erlang Distributions.
MMB 2008: 207-222 |
84 | EE | Ralf Wimmer,
Salem Derisavi,
Holger Hermanns:
Symbolic Partition Refinement with Dynamic Balancing of Time and Space.
QEST 2008: 65-74 |
83 | EE | Lijun Zhang,
Holger Hermanns,
Friedrich Eisenbrand,
David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
CoRR abs/0808.3651: (2008) |
82 | EE | Christel Baier,
Holger Hermanns:
Special issue: CONCUR 2006.
Inf. Comput. 206(5): 491 (2008) |
81 | EE | Holger Hermanns,
Jens Palsberg:
Improving the effectiveness of system verification.
STTT 10(2): 111-112 (2008) |
80 | EE | Christian 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 |
78 | EE | Lijun Zhang,
Holger Hermanns:
Deciding Simulations on Probabilistic Automata.
ATVA 2007: 207-222 |
77 | EE | Holger Hermanns,
Sven Johr:
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems.
DSN 2007: 718-728 |
76 | EE | Christian Groß,
Holger Hermanns,
Reza Pulungan:
Does Clock Precision Influence ZigBee's Energy Consumptions?.
OPODIS 2007: 174-188 |
75 | EE | Björn Wachter,
Lijun Zhang,
Holger Hermanns:
Probabilistic Model Checking Modulo Theories.
QEST 2007: 129-140 |
74 | EE | Lijun Zhang,
Holger Hermanns,
Friedrich Eisenbrand,
David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations.
TACAS 2007: 155-169 |
73 | EE | Henrik 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 |
70 | EE | Ralf Wimmer,
Marc Herbstritt,
Holger Hermanns,
Kelley Strampp,
Bernd Becker:
Sigref- A Symbolic Bisimulation Tool Box.
ATVA 2006: 477-492 |
69 | EE | Eckard 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 |
68 | EE | Gré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 |
67 | EE | Mario Bravetti,
Holger Hermanns,
Joost-Pieter Katoen:
YMCA: - Why Markov Chain Algebra? - .
Electr. Notes Theor. Comput. Sci. 162: 107-112 (2006) |
66 | EE | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
Verena Wolf:
Bisimulation and Simulation Relations for Markov Chains.
Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006) |
65 | EE | Henrik 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 |
64 | EE | Husain Aljazzar,
Holger Hermanns,
Stefan Leue:
Counterexamples for Timed Probabilistic Reachability.
FORMATS 2005: 177-195 |
63 | EE | Lijun Zhang,
Holger Hermanns,
David N. Jansen:
Logic and Model Checking for Hidden Markov Models.
FORTE 2005: 98-112 |
62 | EE | Holger Hermanns,
David N. Jansen,
Yaroslav S. Usenko:
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.
WOSP 2005: 13-23 |
61 | EE | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
Verena Wolf:
Comparative branching-time semantics for Markov chains.
Inf. Comput. 200(2): 149-214 (2005) |
60 | EE | Markus Lohrey,
Pedro R. D'Argenio,
Holger Hermanns:
Axiomatising divergence.
Inf. Comput. 203(2): 115-144 (2005) |
59 | EE | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Model checking meets performance evaluation.
SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005) |
58 | EE | David N. Jansen,
Holger Hermanns:
QoS modelling and analysis with UML-statecharts: the StoCharts approach.
SIGMETRICS Performance Evaluation Review 32(4): 28-33 (2005) |
57 | EE | Christel 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 |
54 | EE | David N. Jansen,
Holger Hermanns:
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?
QEST 2004: 250-259 |
53 | EE | Henrik C. Bohnenkamp,
Holger Hermanns,
Ric Klaren,
Angelika Mader,
Yaroslav S. Usenko:
Synthesis and Stochastic Assessment of Schedules for Lacquer Production.
QEST 2004: 28-37 |
52 | EE | Joost-Pieter Katoen,
Henrik C. Bohnenkamp,
Ric Klaren,
Holger Hermanns:
Embedded Software Analysis with MOTOR.
SFM 2004: 268-294 |
51 | EE | Christel 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 |
50 | EE | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen:
Probabilistic weak simulation is decidable in polynomial time.
Inf. Process. Lett. 89(3): 123-130 (2004) |
2003 |
49 | EE | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
Verena Wolf:
Comparative Branching-Time Semantics.
CONCUR 2003: 482-497 |
48 | EE | Henrik C. Bohnenkamp,
Holger Hermanns,
Joost-Pieter Katoen,
Ric Klaren:
The Modest Modeling Tool and Its Implementation.
Computer Performance Evaluation / TOOLS 2003: 116-133 |
47 | EE | Henrik C. Bohnenkamp,
Peter van der Stok,
Holger Hermanns,
Frits W. Vaandrager:
Cost-Optimization of the IPv4 Zeroconf Protocol.
DSN 2003: 531-540 |
46 | EE | Henrik 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 |
45 | EE | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
ETMCC: Model Checking Performability Properties of Markov Chains.
DSN 2003: 673- |
44 | EE | Suzana Andova,
Holger Hermanns,
Joost-Pieter Katoen:
Discrete-Time Rewards Model-Checked.
FORMATS 2003: 88-104 |
43 | EE | Holger Hermanns,
Christophe Joubert:
A Set of Performance and Dependability Analysis Components for CADP.
TACAS 2003: 425-430 |
42 | EE | David N. Jansen,
Holger Hermanns,
Joost-Pieter Katoen:
A QoS-Oriented Extension of UML Statecharts.
UML 2003: 76-91 |
41 | EE | Christel 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) |
40 | EE | Salem Derisavi,
Holger Hermanns,
William H. Sanders:
Optimal state-space lumping in Markov chains.
Inf. Process. Lett. 87(6): 309-315 (2003) |
39 | EE | Holger 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) |
38 | EE | Holger 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 |
35 | EE | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
Boudewijn R. Haverkort:
Simulation for Continuous-Time Markov Chains.
CONCUR 2002: 338-354 |
34 | EE | Boudewijn R. Haverkort,
Lucia Cloth,
Holger Hermanns,
Joost-Pieter Katoen,
Christel Baier:
Model Checking Performability Properties.
DSN 2002: 103-112 |
33 | EE | Hubert Garavel,
Holger Hermanns:
On Combining Functional Verification and Performance Evaluation Using CADP.
FME 2002: 410-429 |
32 | EE | David N. Jansen,
Holger Hermanns,
Joost-Pieter Katoen:
A Probabilistic Extension of UML Statecharts.
FTRTFT 2002: 355-374 |
31 | EE | Markus Lohrey,
Pedro R. D'Argenio,
Holger Hermanns:
Axiomatising Divergence.
ICALP 2002: 585-596 |
30 | EE | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Automated Performance and Dependability Evaluation Using Model Checking.
Performance 2002: 261-289 |
29 | EE | Holger Hermanns,
Joost-Pieter Katoen:
Guest editors' introduction: Model checking in a nutshell.
J. Log. Algebr. Program. 52-53: 1-5 (2002) |
28 | EE | Holger 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 |
26 | EE | Holger Hermanns,
Joost-Pieter Katoen:
Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.
CONCUR 2001: 59-81 |
25 | EE | Gabriel G. Infante López,
Holger Hermanns,
Joost-Pieter Katoen:
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains.
PAPM-PROBMIV 2001: 57-70 |
24 | EE | Pedro 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 |
21 | EE | Ed Brinksma,
Holger Hermanns:
Process Algebra and Markov Chains.
European Educational Forum: School on Formal Methods and Performance Analysis 2000: 183-231 |
20 | EE | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
On the Logical Characterisation of Performability Properties.
ICALP 2000: 780-792 |
19 | EE | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
Towards Model Checking Stochastic Process Algebra.
IFM 2000: 420-439 |
18 | EE | Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
On the Use of Model Checking Techniques for Dependability Evaluation.
SRDS 2000: 228-237 |
17 | EE | Holger 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 |
14 | EE | Holger Hermanns,
Markus Siegle:
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.
ARTS 1999: 244-264 |
13 | EE | Holger Hermanns,
Vassilis Mertsiotakis,
Markus Siegle:
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models.
CAV 1999: 487-490 |
12 | EE | Christel 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 |
10 | EE | Pedro R. D'Argenio,
Holger Hermanns,
Joost-Pieter Katoen:
On Generative Parallel Composition.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
1998 |
9 | EE | Holger Hermanns,
Markus Lohrey:
Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract).
CONCUR 1998: 237-252 |
8 | EE | Holger 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 |
6 | EE | Holger Hermanns,
Ulrich Herzog,
Vassilis Mertsiotakis:
Stochastic Process Algebras - Between LOTOS and Markov Chains.
Computer Networks 30(9-10): 901-924 (1998) |
1997 |
5 | | Christel 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 |