The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Holger Hermanns: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Holger Hermanns, Markus Siegle
    Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:244-264 [Conf]
  2. Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
    Sigref- A Symbolic Bisimulation Tool Box. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:477-492 [Conf]
  3. Christel Baier, Holger Hermanns
    Weak Bisimulation for Fully Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:119-130 [Conf]
  4. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model Checking Continuous-Time Markov Chains by Transient Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:358-372 [Conf]
  5. Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle
    TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:487-490 [Conf]
  6. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
    Comparative Branching-Time Semantics. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:482-497 [Conf]
  7. Christel Baier, Joost-Pieter Katoen, Holger Hermanns
    Approximate Symbolic Model Checking of Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:146-161 [Conf]
  8. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort
    Simulation for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:338-354 [Conf]
  9. Holger Hermanns, Joost-Pieter Katoen
    Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:59-81 [Conf]
  10. Holger Hermanns, Markus Lohrey
    Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:237-252 [Conf]
  11. Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
    Compositional Performance Modelling with TIPPtool. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation (Tools), 1998, pp:51-62 [Conf]
  12. Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
    The Modest Modeling Tool and Its Implementation. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2003, pp:116-133 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:671- [Conf]
  14. Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager
    Cost-Optimization of the IPv4 Zeroconf Protocol. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:531-540 [Conf]
  15. Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
    Model Checking Performability Properties. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:103-112 [Conf]
  16. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    ETMCC: Model Checking Performability Properties of Markov Chains. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:673-0 [Conf]
  17. Ed Brinksma, Holger Hermanns
    Process Algebra and Markov Chains. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:183-231 [Conf]
  18. Holger Hermanns, Marina Ribaudo
    Exploiting Symmetries in Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP]
    ESM, 1998, pp:763-770 [Conf]
  19. Christel Baier, Holger Hermanns
    Weak Bisimulation for Fully Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:59-68 [Conf]
  20. Holger Hermanns, Markus Siegle
    Symbolic Minimisation of Stochastic Process Algebra Models. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:73-82 [Conf]
  21. Hubert Garavel, Holger Hermanns
    On Combining Functional Verification and Performance Evaluation Using CADP. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:410-429 [Conf]
  22. Husain Aljazzar, Holger Hermanns, Stefan Leue
    Counterexamples for Timed Probabilistic Reachability. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:177-195 [Conf]
  23. Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
    Discrete-Time Rewards Model-Checked. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:88-104 [Conf]
  24. Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
    Stochastic process algebras: integrating qualitative and quantitative modelling. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:449-451 [Conf]
  25. Lijun Zhang, Holger Hermanns, David N. Jansen
    Logic and Model Checking for Hidden Markov Models. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:98-112 [Conf]
  26. David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
    A Probabilistic Extension of UML Statecharts. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:355-374 [Conf]
  27. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    On the Logical Characterisation of Performability Properties. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:780-792 [Conf]
  28. Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
    Axiomatising Divergence. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:585-596 [Conf]
  29. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    Towards Model Checking Stochastic Process Algebra. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:420-439 [Conf]
  30. Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
    MoDeST - A Modelling and Description Language for Stochastic Timed Systems. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:87-104 [Conf]
  31. Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen
    Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:57-70 [Conf]
  32. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Automated Performance and Dependability Evaluation Using Model Checking. [Citation Graph (0, 0)][DBLP]
    Performance, 2002, pp:261-289 [Conf]
  33. Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
    Compositional Performability Evaluation for STATEMATE. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:167-178 [Conf]
  34. Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
    Synthesis and Stochastic Assessment of Schedules for Lacquer Production. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:28-37 [Conf]
  35. David N. Jansen, Holger Hermanns
    Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:250-259 [Conf]
  36. Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
    Embedded Software Analysis with MOTOR. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:268-294 [Conf]
  37. Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    On the Use of Model Checking Techniques for Dependability Evaluation. [Citation Graph (0, 0)][DBLP]
    SRDS, 2000, pp:228-237 [Conf]
  38. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:61-76 [Conf]
  39. Holger Hermanns, Christophe Joubert
    A Set of Performance and Dependability Analysis Components for CADP. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:425-430 [Conf]
  40. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    A Markov Chain Model Checker. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:347-362 [Conf]
  41. Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach
    A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:427-430 [Conf]
  42. David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
    A QoS-Oriented Extension of UML Statecharts. [Citation Graph (0, 0)][DBLP]
    UML, 2003, pp:76-91 [Conf]
  43. Holger Hermanns, David N. Jansen, Yaroslav S. Usenko
    From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. [Citation Graph (0, 0)][DBLP]
    WOSP, 2005, pp:13-23 [Conf]
  44. Holger Hermanns, Michael Rettelbach, Thorsten Weiss
    Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:530-541 [Journal]
  45. Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis
    Stochastic Process Algebras - Between LOTOS and Markov Chains. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1998, v:30, n:9-10, pp:901-924 [Journal]
  46. Holger Hermanns
    Construction and Verification of Performance and Reliability Models. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2001, v:74, n:, pp:135-153 [Journal]
  47. Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
    On Generative Parallel Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  48. Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen
    YMCA: - Why Markov Chain Algebra? - . [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:107-112 [Journal]
  49. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
    Bisimulation and Simulation Relations for Markov Chains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:73-78 [Journal]
  50. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
    Comparative branching-time semantics for Markov chains. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:200, n:2, pp:149-214 [Journal]
  51. Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
    Axiomatising divergence. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:203, n:2, pp:115-144 [Journal]
  52. Christel Baier, Holger Hermanns, Joost-Pieter Katoen
    Probabilistic weak simulation is decidable in polynomial time. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:89, n:3, pp:123-130 [Journal]
  53. Salem Derisavi, Holger Hermanns, William H. Sanders
    Optimal state-space lumping in Markov chains. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:87, n:6, pp:309-315 [Journal]
  54. Holger Hermanns, Joost-Pieter Katoen
    Guest editors' introduction: Model checking in a nutshell. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:1-5 [Journal]
  55. Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
    On the use of MTBDDs for performability analysis and verification of stochastic systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:23-67 [Journal]
  56. Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
    Compositional performance modelling with the TIPPtool. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2000, v:39, n:1-4, pp:5-35 [Journal]
  57. Holger Hermanns, Joost-Pieter Katoen
    Automated compositional Markov chain generation for a plain-old telephone system. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:36, n:1, pp:97-127 [Journal]
  58. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model checking meets performance evaluation. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:10-15 [Journal]
  59. David N. Jansen, Holger Hermanns
    QoS modelling and analysis with UML-statecharts: the StoCharts approach. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:28-33 [Journal]
  60. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    A tool for model-checking Markov chains. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:153-172 [Journal]
  61. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort
    Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:2-26 [Journal]
  62. Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen
    Process algebra for performance evaluation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:274, n:1-2, pp:43-87 [Journal]
  63. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model-Checking Algorithms for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:6, pp:524-541 [Journal]
  64. Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
    MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:10, pp:812-830 [Journal]
  65. Lijun Zhang, Holger Hermanns
    Deciding Simulations on Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:207-222 [Conf]
  66. Holger Hermanns, Sven Johr
    Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:718-728 [Conf]
  67. Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
    motor: The modestTool Environment. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:500-504 [Conf]
  68. Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen
    Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:155-169 [Conf]

  69. Time-bounded model checking of infinite-state continuous-time Markov chains. [Citation Graph (, )][DBLP]


  70. INFAMY: An Infinite-State Markov Model Checker. [Citation Graph (, )][DBLP]


  71. PARAM: A Model Checker for Parametric Markov Models. [Citation Graph (, )][DBLP]


  72. Safety Verification for Probabilistic Hybrid Systems. [Citation Graph (, )][DBLP]


  73. Probabilistic CEGAR. [Citation Graph (, )][DBLP]


  74. Towards Performance Prediction of Compositional Models in Industrial GALS Designs. [Citation Graph (, )][DBLP]


  75. On the Minimisation of Acyclic Models. [Citation Graph (, )][DBLP]


  76. Concurrency and Composition in a Stochastic World. [Citation Graph (, )][DBLP]


  77. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. [Citation Graph (, )][DBLP]


  78. Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. [Citation Graph (, )][DBLP]


  79. An Experimental Evaluation of Probabilistic Simulation. [Citation Graph (, )][DBLP]


  80. Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. [Citation Graph (, )][DBLP]


  81. An industrial-strength formal method -- A Modest survey. [Citation Graph (, )][DBLP]


  82. On Probabilistic Automata in Continuous Time. [Citation Graph (, )][DBLP]


  83. May we reach it? Or must we? In what time? With what probability? [Citation Graph (, )][DBLP]


  84. The Minimal Representation of the Maximum of Erlang Distributions. [Citation Graph (, )][DBLP]


  85. Does Clock Precision Influence ZigBee's Energy Consumptions?. [Citation Graph (, )][DBLP]


  86. Probabilistic Model Checking Modulo Theories. [Citation Graph (, )][DBLP]


  87. FlowSim Simulation Benchmarking Platform. [Citation Graph (, )][DBLP]


  88. Symbolic Partition Refinement with Dynamic Balancing of Time and Space. [Citation Graph (, )][DBLP]


  89. A Modest Approach to Checking Probabilistic Timed Automata. [Citation Graph (, )][DBLP]


  90. The Ins and Outs of the Probabilistic Model Checker MRMC. [Citation Graph (, )][DBLP]


  91. Acyclic Minimality by Construction---Almost. [Citation Graph (, )][DBLP]


  92. Probabilistic Reachability for Parametric Markov Models. [Citation Graph (, )][DBLP]


  93. Dependability Engineering of Silent Self-stabilizing Systems. [Citation Graph (, )][DBLP]


  94. PASS: Abstraction Refinement for Infinite Probabilistic Models. [Citation Graph (, )][DBLP]


  95. Effective Minimization of Acyclic Phase-Type Representations. [Citation Graph (, )][DBLP]


  96. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations [Citation Graph (, )][DBLP]


Search in 0.021secs, Finished in 0.024secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002