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

Holger Hermanns Home Page Coauthor index pubzone.org

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

DBLP keys2012
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans: State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis María Ferrer Fioriti, Holger Hermanns: Heuristics for Probabilistic Timed Automata with Abstraction Refinement. MMB/DFT 2012: 151-165
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Bogdoll, Arnd Hartmanns, Holger Hermanns: Simulation and Statistical Model Checking for Modestly Nondeterministic Models. MMB/DFT 2012: 249-252
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns: Quantitative Models for a Not So Dumb Grid. TACAS 2012: 1
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Andrea Turrini: Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time CoRR abs/1205.0376: (2012)
2011
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker: Bounded Fairness for Probabilistic Distributed Algorithms. ACSD 2011: 89-97
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang: Model Checking Algorithms for CTMDPs. CAV 2011: 225-242
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns: Partial Order Methods for Statistical Model Checking and Simulation. FMOODS/FORTE 2011: 59-74
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang: Measurability and safety verification for stochastic hybrid systems. HSCC 2011: 43-52
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking. ICALP (2) 2011: 271-282
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker: Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE 2011: 151-160
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns: Formal Methods in Energy Informatics. SEFM 2011: 1-2
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHernan Baro Graf, Holger Hermanns, Juhi Kulshrestha, Jens Peter, Anjo Vahldiek, Aravind Vasudevan: A verifiedwireless safety critical hard real-time design. WOWMOM 2011: 1-9
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Lijun Zhang: From Concurrency Models to Numbers - Performance and Dependability. Software and Systems Safety - Specification and Verification 2011: 182-210
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking CoRR abs/1104.4983: (2011)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell: Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Dagstuhl Reports 1(1): 1-26 (2011)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang: Probabilistic Logical Characterization. Inf. Comput. 209(2): 154-172 (2011)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen: The ins and outs of the probabilistic model checker MRMC. Perform. Eval. 68(2): 90-104 (2011)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic reachability for parametric Markov models. STTT 13(1): 3-19 (2011)
2010
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPepijn Crouzen, Holger Hermanns: Aggregation Ordering for Massively Compositional Models. ACSD 2010: 171-180
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn: Safety Verification for Probabilistic Hybrid Systems. CAV 2010: 196-211
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: PARAM: A Model Checker for Parametric Markov Models. CAV 2010: 660-664
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Eisentraut, Holger Hermanns, Lijun Zhang: Concurrency and Composition in a Stochastic World. CONCUR 2010: 21-39
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans: Quantitative system validation in model driven design. EMSOFT 2010: 301-302
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe: Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) 2010: 128-142
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Eisentraut, Holger Hermanns, Lijun Zhang: On Probabilistic Automata in Continuous Time. LICS 2010: 342-351
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Fietzke, Holger Hermanns, Christoph Weidenbach: Superposition-Based Analysis of First-Order Probabilistic Timed Automata. LPAR (Yogyakarta) 2010: 302-316
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel: Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST 2010: 27-36
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: PASS: Abstraction Refinement for Infinite Probabilistic Models. TACAS 2010: 353-357
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performance evaluation and model checking join forces. Commun. ACM 53(9): 76-85 (2010)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performability assessment by model checking of Markov reward models. Formal Methods in System Design 36(1): 1-36 (2010)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Salem Derisavi, Holger Hermanns: Symbolic partition refinement with automatic balancing of time and space. Perform. Eval. 67(9): 816-836 (2010)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns: Synthesis and stochastic assessment of cost-optimal schedules. STTT 12(5): 305-318 (2010)
2009
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe: Towards Performance Prediction of Compositional Models in Industrial GALS Designs. CAV 2009: 204-218
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Holger Wiechmann: Future Design Challenges for Electric Energy Supply. ETFA 2009: 1-8
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen: The How and Why of Interactive Markov Chains. FMCO 2009: 311-337
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen: The Ins and Outs of the Probabilistic Model Checker MRMC. QEST 2009: 167-176
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnd Hartmanns, Holger Hermanns: A Modest Approach to Checking Probabilistic Timed Automata. QEST 2009: 187-196
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Bogdoll, Holger Hermanns, Lijun Zhang: FlowSim Simulation Benchmarking Platform. QEST 2009: 211-212
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReza Pulungan, Holger Hermanns: Acyclic Minimality by Construction---Almost. QEST 2009: 63-72
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker: Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundam. Inform. 95(1): 129-155 (2009)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEckard 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReza Pulungan, Holger Hermanns: Effective Minimization of Acyclic Phase-Type Representations. ASMTA 2008: 128-143
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Björn Wachter, Lijun Zhang: Probabilistic CEGAR. CAV 2008: 162-175
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. CONCUR 2008: 295-309
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas 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
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Bogdoll, Holger Hermanns, Lijun Zhang: An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Fränzle, Holger Hermanns, Tino Teige: Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. HSCC 2008: 172-186
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Reachability in continuous-time Markov reward decision processes. Logic and Automata 2008: 53-72
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Sven Johr: May we reach it? Or must we? In what time? With what probability? MMB 2008: 125-140
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReza Pulungan, Holger Hermanns: The Minimal Representation of the Maximum of Erlang Distributions. MMB 2008: 207-222
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Salem Derisavi, Holger Hermanns: Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST 2008: 65-74
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns: Special issue: CONCUR 2006. Inf. Comput. 206(5): 491 (2008)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Logical Methods in Computer Science 4(4): (2008)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Jens Palsberg: Improving the effectiveness of system verification. STTT 10(2): 111-112 (2008)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Eisentraut, Holger Hermanns: Teaching Concurrency Concepts to Freshmen. T. Petri Nets and Other Models of Concurrency 1: 35-53 (2008)
2007
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Damm, Holger Hermanns: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings Springer 2007
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns: Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Sven Johr: Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. DSN 2007: 718-728
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Groß, Holger Hermanns, Reza Pulungan: Does Clock Precision Influence ZigBee's Energy Consumptions?. OPODIS 2007: 174-188
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Wachter, Lijun Zhang, Holger Hermanns: Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen: motor: The modestTool Environment. TACAS 2007: 500-504
2006
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger 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
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings Springer 2006
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker: Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEckard 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGré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
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Holger Hermanns, Joost-Pieter Katoen: YMCA: - Why Markov Chain Algebra? - . Electr. Notes Theor. Comput. Sci. 162: 107-112 (2006)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Bisimulation and Simulation Relations for Markov Chains. Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik 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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHusain Aljazzar, Holger Hermanns, Stefan Leue: Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, David N. Jansen, Yaroslav S. Usenko: From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. WOSP 2005: 13-23
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising divergence. Inf. Comput. 203(2): 115-144 (2005)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Holger Hermanns: QoS modelling and analysis with UML-statecharts: the StoCharts approach. SIGMETRICS Performance Evaluation Review 32(4): 28-33 (2005)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel 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
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle: Validation of Stochastic Systems - A Guide to Current Research Springer 2004
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Holger Hermanns: Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? QEST 2004: 250-259
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko: Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST 2004: 28-37
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns: Embedded Software Analysis with MOTOR. SFM 2004: 268-294
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel 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
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns, Joost-Pieter Katoen: Probabilistic weak simulation is decidable in polynomial time. Inf. Process. Lett. 89(3): 123-130 (2004)
2003
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Comparative Branching-Time Semantics. CONCUR 2003: 482-497
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS 2003: 116-133
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager: Cost-Optimization of the IPv4 Zeroconf Protocol. DSN 2003: 531-540
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: ETMCC: Model Checking Performability Properties of Markov Chains. DSN 2003: 673-
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuzana Andova, Holger Hermanns, Joost-Pieter Katoen: Discrete-Time Rewards Model-Checked. FORMATS 2003: 88-104
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Christophe Joubert: A Set of Performance and Dependability Analysis Components for CADP. TACAS 2003: 425-430
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A QoS-Oriented Extension of UML Statecharts. UML 2003: 76-91
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel 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)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSalem Derisavi, Holger Hermanns, William H. Sanders: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6): 309-315 (2003)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger 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)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A tool for model-checking Markov chains. STTT 4(2): 153-172 (2003)
2002
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns: Interactive Markov Chains: The Quest for Quantified Quality Springer 2002
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, Holger Hermanns: On Combining Functional Verification and Performance Evaluation Using CADP. FME 2002: 410-429
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising Divergence. ICALP 2002: 585-596
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen: Guest editors' introduction: Model checking in a nutshell. J. Log. Algebr. Program. 52-53: 1-5 (2002)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Ulrich Herzog, Joost-Pieter Katoen: Process algebra for performance evaluation. Theor. Comput. Sci. 274(1-2): 43-87 (2002)
2001
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen: Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. CONCUR 2001: 59-81
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen: Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. PAPM-PROBMIV 2001: 57-70
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro 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
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns: Construction and Verification of Performance and Reliability Models. Bulletin of the EATCS 74: 135-153 (2001)
2000
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Holger Hermanns: Process Algebra and Markov Chains. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 183-231
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: Towards Model Checking Stochastic Process Algebra. IFM 2000: 420-439
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A Markov Chain Model Checker. TACAS 2000: 347-362
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle: Compositional performance modelling with the TIPPtool. Perform. Eval. 39(1-4): 5-35 (2000)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen: Automated compositional Markov chain generation for a plain-old telephone system. Sci. Comput. Program. 36(1): 97-127 (2000)
1999
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Markus Siegle: Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ARTS 1999: 244-264
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Vassilis Mertsiotakis, Markus Siegle: TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. CAV 1999: 487-490
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Joost-Pieter Katoen, Holger Hermanns: Approximate Symbolic Model Checking of Continuous-Time Markov Chains. CONCUR 1999: 146-161
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Markus Siegle: Symbolic Minimisation of Stochastic Process Algebra Models. FBT 1999: 73-82
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: On Generative Parallel Composition. Electr. Notes Theor. Comput. Sci. 22: 30-54 (1999)
1998
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Markus Lohrey: Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). CONCUR 1998: 237-252
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle: Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) 1998: 51-62
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Marina Ribaudo: Exploiting Symmetries in Stochastic Process Algebras. ESM 1998: 763-770
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis: Stochastic Process Algebras - Between LOTOS and Markov Chains. Computer Networks 30(9-10): 901-924 (1998)
1997
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns: Weak Bisimulation for Fully Probabilistic Processes. CAV 1997: 119-130
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns: Weak Bisimulation for Fully Probabilistic Processes. FBT 1997: 59-68
1996
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach: A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. TACAS 1996: 427-430
1995
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Michael Rettelbach, Thorsten Weiss: Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. Comput. J. 38(7): 530-541 (1995)
1994
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane 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] [88] [110] [111]
4Grégory Batt [68]
5Bernd Becker [69] [70] [96] [98] [113] [130] [135]
6Eckard Böde [69] [96]
7Hans-Juergen Boehm [125]
8Jonathan Bogdoll [90] [101] [133] [138]
9Henrik C. Bohnenkamp [46] [47] [48] [52] [53] [55] [65] [73] [108]
10Marius Bozga [140]
11Jeremy T. Bradley [68]
12Bettina Braitling [113] [135]
13Mario Bravetti [67]
14Ed Brinksma [21] [27]
15Peter Buchholz [134]
16Lucia Cloth [34] [110]
17Nicolas Coste [91] [107] [116]
18Tod Courtney [46]
19Pepijn Crouzen [92] [98] [113] [121] [135]
20Pedro R. D'Argenio [10] [24] [31] [60] [65]
21David Daly [46]
22Werner Damm [79]
23Alexandre David [140]
24Salem Derisavi [40] [46] [85] [109]
25Abhishek Dhama [98] [113] [135]
26Friedrich Eisenbrand [74] [82] [84]
27Christian Eisentraut [80] [115] [118]
28Roland Ewald [68]
29François Fages [68]
30Arnaud Fietzke [114]
31Luis María Ferrer Fioriti [133] [139]
32Martin Fränzle [89] [132]
33Hubert Garavel [33] [91] [116]
34Ursula Goltz [125]
35Hernan Baro Graf [128]
36Christian Groß [76]
37Ernst Moritz Hahn [95] [97] [99] [103] [106] [112] [113] [119] [120] [122] [123] [130] [132] [134] [135]
38Arnd Hartmanns [102] [133] [138] [140]
39Boudewijn R. Haverkort [18] [20] [22] [30] [34] [35] [41] [51] [56] [57] [59] [88] [110] [111]
40Marc Herbstritt [69] [70] [96]
41Richard Hersemeule [91]
42Ulrich Herzog [1] [6] [8] [16] [28]
43Jane Hillston [1] [68]
44Johann Hurink (Johann L. Hurink) [108]
45David N. Jansen [32] [42] [54] [55] [58] [62] [63] [74] [82] [84] [103] [108] [123] [126] [131]
46Sven Johr [69] [77] [87] [96]
47Christophe Joubert [43]
48Joost-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] [88] [103] [104] [110] [111] [123]
49Peter Kemper [68]
50Ric Klaren [24] [46] [48] [52] [53]
51Ulrich Klehmet [8] [16]
52Juhi Kulshrestha [128]
53Marta Z. Kwiatkowska [39]
54Vinh Vi Lam [46]
55Frédéric Lang [116]
56Etienne Lantreibecq [107]
57Kim Guldstrand Larsen (Kim G. Larsen) [117] [140]
58Axel Legay [140]
59Stefan Leue [64]
60Markus Lohrey [9] [31] [60]
61Gabriel G. Infante López [25]
62Angelika Mader [53] [108]
63Alke Martens [68]
64Radu Mateescu [116]
65Vassilis Mertsiotakis [1] [3] [6] [8] [13] [16]
66Joachim Meyer-Kayser [17] [19] [38] [45]
67Pieter J. Mosterman [68]
68Flemming Nielson [68] [126] [131]
69Gethin Norman [39]
70Jens Palsberg [72] [81]
71David Parker [39]
72Augusto Parma [124]
73Thomas Peikenkamp [69] [96]
74Jens Peter [128]
75Reza Pulungan [69] [76] [86] [94] [96] [100]
76Jan Rakow [96]
77Jean-François Raskin [117]
78Stefan Ratschan [120]
79Michael Rettelbach [1] [2] [3]
80Marina Ribaudo [7]
81William H. Sanders [40] [46]
82Roberto Segala [37] [124]
83Wendelin Serwe [107] [116]
84Peter Sewell [125]
85Zhikun She [120]
86Markus Siegle [8] [11] [13] [14] [16] [17] [19] [38] [39] [45] [56]
87Oleg Sokolsky [68]
88Peter van der Stok (P. D. V. van der Stok) [47]
89Kelley Strampp [70]
90Tino Teige [89]
91Oliver E. Theel [98] [113] [135]
92Yvain Thonnart [91]
93Jan Tretmans [117] [140]
94Andrea Turrini [136]
95Adelinde M. Uhrmacher (Adelinde Uhrmacher) [68]
96Yaroslav S. Usenko [53] [55] [62] [108]
97Frits W. Vaandrager [47]
98Anjo Vahldiek [128]
99Aravind Vasudevan [128]
100Björn Wachter [75] [93] [95] [97] [106] [112] [119] [124]
101Christoph Weidenbach [114]
102Thorsten Weiss [2]
103Holger Wiechmann [105]
104Ralf Wimmer [69] [70] [85] [96] [98] [109] [113] [130] [135]
105Verena Wolf [49] [61] [66]
106Nicolás Wolovick [132]
107Ivan S. Zapreev [103] [123]
108Lijun Zhang [63] [74] [75] [78] [82] [84] [90] [92] [93] [95] [97] [99] [101] [106] [112] [115] [118] [119] [120] [122] [124] [126] [127] [131] [132] [134]
109Meriem Zidouni [91]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page