Publications

Export 46 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Holger Hermanns  [Clear All Filters]
Book Chapter
C. E. Budde, P. R. D'Argenio, and H. Hermanns, “Rare Event Simulation with Fully Automated Importance Splitting”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, vol. 9272, M. Beltrán, W. J. Knottenbelt, and J. T. Bradley, Eds. 2015, p. 275–290.
Conference Paper
B. Braitling, L. M. Ferrer Fioriti, H. Hatefi, R. Wimmer, B. Becker, and H. Hermanns, “Abstraction-Based Computation of Reward Measures for Markov Automata”, in Verification, Model Checking, and Abstract Interpretation - 16th International Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings, 2015.
A. Hartmanns, H. Hermanns, and P. Berrang, “A comparative analysis of decentralized power grid stabilization strategies”, in Proceedings of the Winter Simulation Conference, 2012.
H. Hermanns, J. Krčál, and J. Kret\'ınský, “Compositional Verification and Optimization of Interactive Markov Chains”, in CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, Buenos Aires, 2013.
H. Hermanns and A. Turrini, “Cost Preserving Bisimulations for Probabilistic Automata”, in CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8052, p. 349-363.
C. Eisentraut, H. Hermanns, J. Krämer, A. Turrini, and L. Zhang, “Deciding Bisimilarities on Distributions”, in Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8054, p. 72-88.
H. Hermanns and A. Turrini, “Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time”, in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, 2012, vol. 18, p. 435-447.
A. Hartmanns and H. Hermanns, “Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage”, in ATVA 2015, In Press.
L. M. Ferrer Fioriti and H. Hermanns, “Heuristics for Probabilistic Timed Automata with Abstraction Refinement”, in Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012, vol. 7201, p. 151-165.
H. Hatefi and H. Hermanns, “Improving Time Bounded Reachability Computations in Interactive Markov Chains”, in Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, 2013.
L. Song, L. Zhang, H. Hermanns, and J. C. Godskesen, “Incremental Bisimulation Abstraction Refinement”, in Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, 2013, p. 11-20.
J. Bogdoll, A. David, A. Hartmanns, and H. Hermanns, “mctau: Bridging the Gap between Modest and UPPAAL”, in Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings, 2012, vol. 7385, p. 227-233.
B. Braitling, L. M. Ferrer Fioriti, H. Hatefi, R. Wimmer, B. Becker, and H. Hermanns, “MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata”, in Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France, 12-13 April 2014., 2014.
A. Graf{-}Brill, H. Hermanns, and H. Garavel, “A Model-Based Certification Framework for the EnergyBus Standard”, in Formal Techniques for Distributed Objects, Components, and Systems, 2014.
A. Hartmanns and H. Hermanns, “Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids”, in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 2012, vol. 7609, p. 420-439.
D. Guck, H. Hatefi, H. Hermanns, J. - P. Katoen, and M. Timmer, “Modelling, Reduction and Analysis of Markov Automata”, in Quantitative Evaluation of Systems, QEST 2013, 2013, vol. 8054, p. 55-71.
A. Hartmanns and H. Hermanns, “The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification”, in Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, 2014.
Y. Butkova, H. Hatefi, H. Hermanns, and J. Krčál, “Optimal Continuous Time Markov Decisions”, in ATVA 2015, In Press.
C. Eisentraut, J. C. Godskesen, H. Hermanns, L. Song, and L. Zhang, “Probabilistic Bisimulation for Realistic Schedulers”, in {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015.
H. Hermanns, J. Krčál, and J. Kret{\'ı}nský, “Probabilistic Bisimulation: Naturally on Distributions”, in {CONCUR} 2014 - Concurrency Theory - 25th International Conference, {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings, 2014.
L. M. Ferrer Fioriti and H. Hermanns, “Probabilistic Termination: Soundness, Completeness, and Compositionality”, in Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015, 2015.
C. Eisentraut, H. Hermanns, J. Schuster, A. Turrini, and L. Zhang, “The Quest for Minimal Quotients for Probabilistic Automata”, in Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, 2013, vol. 7795, p. 16-31.
E. M. Hahn and H. Hermanns, “Rewarding probabilistic hybrid automata”, in Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, 2013.
C. Eisentraut, H. Hermanns, J. - P. Katoen, and L. Zhang, “A Semantics for Every GSPN”, in Petri Nets 2013, 2013, vol. 7927, p. 90–109.PDF icon 79270090.pdf (355.81 KB)
J. Bogdoll, A. Hartmanns, and H. Hermanns, “Simulation and Statistical Model Checking for Modestly Nondeterministic Models”, in Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012, vol. 7201, p. 249-252.

Pages