default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHolger Hermanns
Person information
- affiliation: Saarland University, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j75]Juan A. Fraire, Santiago Henn, Gregory Stock, Robin Ohs
, Holger Hermanns, Felix Walter, Lynn Van Broock, Gabriel Ruffini, Federico Machado, Pablo Serratti, Jose Relloso:
Quantitative analysis of segmented satellite network architectures: A maritime surveillance case study. Comput. Networks 255: 110874 (2024)- [c203]Hanwei Zhang, Felipe Torres Figueroa, Holger Hermanns:
Saliency Maps Give a False Sense of Explanability to Image Classifiers: An Empirical Evaluation across Methods and Metrics. ACML 2024: 479-494 - [c202]Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns:
Configuration Monitor Synthesis. ATVA (2) 2024: 3-27 - [c201]Hubert Garavel, Holger Hermanns, David Parker:
Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe. Principles of Verification (2) 2024: 46-74 - [c200]Holger Hermanns, Marieke Huisman:
Making ETAPS Gold Open Access. Principles of Verification (3) 2024: 487-500 - [c199]Sarah Sterz, Kevin Baum, Sebastian Biewer, Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Markus Langer:
On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. FAccT 2024: 2495-2507 - [c198]Gregory Stock, Juan A. Fraire, Santiago Henn, Holger Hermanns, Andreas Schmidt:
A Stability-First Approach to Running TCP Over Starlink. ICC Workshops 2024: 1708-1713 - [c197]Julius Wenzel, Maximilian A. Köhl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns:
Traceability and Accountability by Construction. ISoLA (4) 2024: 258-280 - [c196]Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio:
Coyan: Fault Tree Analysis - Exact and Scalable. SAFECOMP 2024: 235-250 - [c195]Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang:
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. SETTA 2024: 310-326 - [c194]Kevin Baum, Sebastian Biewer, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Sarah Sterz:
Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight. SPIN 2024: 3-25 - [c193]Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl:
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. TACAS (3) 2024: 255-275 - [c192]Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang:
AI Act for the Working Programmer. AISoLA 2024: 74-98 - [e11]Holger Hermanns, Jun Sun, Lei Bu:
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Lecture Notes in Computer Science 14464, Springer 2024, ISBN 978-981-99-8663-7 [contents] - [d8]Nazareno Garagiola, Pedro R. D'Argenio, Holger Hermanns:
Artifact for "Coyan: Fault Tree Analysis - Exact and Scalable". Zenodo, 2024
- [d7]Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl:
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. Version 2. Zenodo, 2024 [all versions] - [i32]Sarah Sterz, Kevin Baum, Sebastian Biewer, Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Markus Langer:
On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. CoRR abs/2404.04059 (2024) - [i31]Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang:
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. CoRR abs/2405.14210 (2024) - [i30]Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang:
AI Act for the Working Programmer. CoRR abs/2408.01449 (2024) - [i29]Gregory Stock, Juan A. Fraire, Santiago Henn, Holger Hermanns, Andreas Schmidt:
A Stability-first Approach to Running TCP over Starlink. CoRR abs/2408.07460 (2024) - [i28]Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns:
Configuration Monitor Synthesis. CoRR abs/2408.17368 (2024) - 2023
- [j74]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25(2): 205-218 (2023) - [j73]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Analyzing neural network behavior through deep statistical model checking. Int. J. Softw. Tools Technol. Transf. 25(3): 407-426 (2023) - [j72]Santiago Henn, Juan A. Fraire, Holger Hermanns:
Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing. IEEE Trans. Aerosp. Electron. Syst. 59(5): 7166-7182 (2023) - [j71]Maximilian A. Köhl, Holger Hermanns:
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations. ACM Trans. Embed. Comput. Syst. 22(4): 68:1-68:48 (2023) - [c191]Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt:
Matching Distributions Under Structural Constraints. QEST 2023: 221-237 - [d6]Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl:
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. Version 1. Zenodo, 2023 [all versions] - [i27]Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer:
On the Foundations of Cycles in Bayesian Networks. CoRR abs/2301.08608 (2023) - [i26]Sebastian Biewer, Kevin Baum, Sarah Sterz, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Franz Lehr:
Software Doping Analysis for Human Oversight. CoRR abs/2308.06186 (2023) - 2022
- [j70]Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns:
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022) - [j69]Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi:
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. Log. Methods Comput. Sci. 18(1) (2022) - [c190]Gregory Stock, Juan A. Fraire, Holger Hermanns:
Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study. ASMS/SPSC 2022: 1-8 - [c189]Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer:
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design 2022: 343-363 - [c188]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf:
MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) 2022: 430-443 - [c187]Sebastian Biewer, Holger Hermanns:
On the Detection of Doped Software by Falsification. FASE 2022: 71-91 - [c186]Holger Hermanns, Gilles Nies:
Quantification of Battery Depletion Risk Made Efficient. NFM 2022: 156-174 - [d5]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf:
Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents. Zenodo, 2022 - [i25]Gregory Stock, Juan A. Fraire, Holger Hermanns:
Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study. CoRR abs/2208.02128 (2022) - [i24]Gregory Stock, Juan A. Fraire, Holger Hermanns, Eduardo Cruz, Alastair Isaacs, Zhana Imbrosh:
On the Automation, Optimization, and In-Orbit Validation of Intelligent Satellite Constellation Operations. CoRR abs/2210.11171 (2022) - 2021
- [j68]Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum:
What do we want from Explainable Artificial Intelligence (XAI)? - A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. Artif. Intell. 296: 103473 (2021) - [j67]Juan A. Fraire, Carsten Gerstacker, Holger Hermanns, Gilles Nies, Morten Bisgaard, Kristian Bay:
On the scalability of battery-aware contact plan design for LEO satellite constellations. Int. J. Satell. Commun. Netw. 39(2): 193-204 (2021) - [j66]Yuliya Butkova, Arnd Hartmanns, Holger Hermanns:
A Modest Approach to Markov Automata. ACM Trans. Model. Comput. Simul. 31(3): 14:1-14:34 (2021) - [j65]Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-physical Systems. ACM Trans. Model. Comput. Simul. 31(3): 16:1-16:27 (2021) - [c185]Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz:
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) 2021: 201-224 - [c184]Kai Vogelgesang, Juan A. Fraire, Holger Hermanns:
Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study. GLOBECOM 2021: 1-6 - [c183]Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer:
Admissibility in Probabilistic Argumentation. KR 2021: 87-98 - [c182]Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám:
Controller verification meets controller code: a case study. MEMOCODE 2021: 98-103 - [c181]Michaela Klauck, Holger Hermanns:
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. QEST 2021: 15-38 - [c180]Sarah Sterz, Kevin Baum, Anne Lauber-Rönsberg, Holger Hermanns:
Towards Perspicuity Requirements. RE Workshops 2021: 159-163 - [c179]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) 2021: 365-372 - [c178]Maximilian A. Köhl, Michaela Klauck, Holger Hermanns:
Momba: JANI Meets Python. TACAS (2) 2021: 389-398 - [d4]Timo P. Gros, Holger Hermanns, Michaela Klauck, Maximilian A. Köhl:
Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents". Zenodo, 2021 - [d3]Michaela Klauck, Holger Hermanns:
Artifact accompanying the paper "A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking". Zenodo, 2021 - [d2]Maximilian A. Köhl, Michaela Klauck, Holger Hermanns:
(TACAS21 Artifact) Momba: JANI Meets Python. Zenodo, 2021 - [i23]Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum:
What Do We Want From Explainable Artificial Intelligence (XAI)? - A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research. CoRR abs/2102.07817 (2021) - [i22]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR abs/2111.05255 (2021) - 2020
- [j64]Christel Baier, Pedro R. D'Argenio, Holger Hermanns:
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57(3-5): 465-512 (2020) - [j63]Felix Freiberger, Holger Hermanns:
LICS-ICALP 2020 Questionnaire Evaluation. Bull. EATCS 132 (2020) - [j62]Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen:
Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14(3): 143401 (2020) - [j61]Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. J. Artif. Intell. Res. 68: 247-310 (2020) - [j60]Gregory Stock, Juan A. Fraire, Tobias Mömke, Holger Hermanns, Fakhri Babayev, Eduardo Cruz:
Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3762-3773 (2020) - [j59]Juan A. Fraire, Gilles Nies, Carsten Gerstacker, Holger Hermanns, Kristian Bay, Morten Bisgaard:
Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. IEEE Trans. Green Commun. Netw. 4(1): 236-245 (2020) - [c177]Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni:
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI 2020: 13569-13575 - [c176]Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva:
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR 2020: 5:1-5:3 - [c175]Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns:
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE 2020: 59-77 - [c174]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Deep Statistical Model Checking. FORTE 2020: 96-114 - [c173]Christel Baier, Holger Hermanns:
From Verification to Explanation (Track Introduction). ISoLA (4) 2020: 1-7 - [c172]Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl:
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) 2020: 240-261 - [c171]Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach:
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) 2020: 416-439 - [c170]Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns:
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE 2020: 1630-1634 - [c169]Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck:
Lab Conditions for Research on Explainable Automated Decisions. TAILOR 2020: 83-90 - [e10]Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller:
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. ACM 2020, ISBN 978-1-4503-7104-9 [contents] - [e9]Holger Hermanns:
Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings. Lecture Notes in Computer Science 12040, Springer 2020, ISBN 978-3-030-43023-8 [contents] - [d1]Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl:
Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". Zenodo, 2020 - [i21]Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi:
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. CoRR abs/2012.03910 (2020)
2010 – 2019
- 2019
- [j58]Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger:
Battery-aware scheduling in low orbit: the GomX-3 case. Formal Aspects Comput. 31(2): 261-285 (2019) - [j57]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. ACM Trans. Model. Comput. Simul. 29(4): 27:1-27:31 (2019) - [c168]Felix Freiberger, Holger Hermanns:
Concurrent Programming from pseuCo to Petri. Petri Nets 2019: 279-297 - [c167]Alexander Graf-Brill, Holger Hermanns:
Component-aware Input-Output Conformance. FORTE 2019: 111-128 - [c166]Yuliya Butkova, Arnd Hartmanns, Holger Hermanns:
A Modest Approach to Modelling and Checking Markov Automata. QEST 2019: 52-69 - [c165]Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. QEST 2019: 313-331 - [c164]Arnd Hartmanns, Holger Hermanns:
A Modest Markov Automata Tutorial. RW 2019: 250-276 - [c163]Gereon Fox, Daniel Stan, Holger Hermanns:
Syntactic Partial Order Compression for Probabilistic Reachability. VMCAI 2019: 446-467 - [p2]Christel Baier, Holger Hermanns, Joost-Pieter Katoen:
The 10, 000 Facets of MDP Model Checking. Computing and Software Science 2019: 420-451 - [i20]Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. CoRR abs/1904.08641 (2019) - 2018
- [j56]Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen:
Probabilistic bisimulation for realistic schedulers. Acta Informatica 55(6): 461-488 (2018) - [j55]Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang:
The quest for minimal quotients for probabilistic and Markov automata. Inf. Comput. 262: 162-186 (2018) - [c162]Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS 2018: 150-154 - [c161]Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský:
Continuous-Time Markov Decisions Based on Partial Exploration. ATVA 2018: 317-334 - [c160]Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Cyber-Physical Doping Tests. MT@CPSWeek 2018: 18-19 - [c159]Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard:
Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. GLOBECOM 2018: 1-7 - [c158]Kevin Baum, Holger Hermanns, Timo Speith:
From Machine Ethics To Machine Explainability and Back. ISAIM 2018 - [c157]Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl:
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR 2018: 1-17 - [c156]Yuliya Butkova, Ralf Wimmer, Holger Hermanns:
Markov Automata on Discount! MMB 2018: 19-34 - [c155]Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer:
Efficient Monitoring of Real Driving Emissions. RV 2018: 299-315 - [c154]Kevin Baum, Holger Hermanns, Timo Speith:
Towards a Framework Combining Machine Ethics and Machine Explainability. CREST@ETAPS 2018: 34-49 - [i19]Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. CoRR abs/1803.10154 (2018) - [i18]Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský:
Continuous-Time Markov Decisions based on Partial Exploration. CoRR abs/1807.09641 (2018) - 2017
- [j54]Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns:
Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. 29(4): 629-649 (2017) - [j53]Holger Hermanns, Jan Krcál, Gilles Nies:
How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty. Leibniz Trans. Embed. Syst. 4(1): 04:1-04:28 (2017) - [c153]Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students. Models, Algorithms, Logics and Tools 2017: 170-195 - [c152]Holger Hermanns:
From Lotosphere to Thermosphere. ModelEd, TestEd, TrustEd 2017: 357-367 - [c151]Kangli He, Holger Hermanns, Yixiang Chen:
Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) 2017: 234-243 - [c150]Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. ESOP 2017: 83-110 - [c149]Alexander Graf-Brill, Holger Hermanns:
Model-Based Testing for Asynchronous Systems. FMICS-AVoCS 2017: 66-82 - [c148]Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns:
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM 2017: 481-495 - [c147]Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose:
Modelling and certification for electric mobility. INDIN 2017: 109-114 - [c146]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST 2017: 207-223 - [c145]Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni:
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA 2017: 25-41 - [c144]Yuliya Butkova, Ralf Wimmer, Holger Hermanns:
Long-Run Rewards for Markov Automata. TACAS (2) 2017: 188-203 - [c143]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS 2017: 44-51 - [e8]Holger Hermanns, Peter Höfner:
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 244, 2017 [contents] - [i17]Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR abs/1702.04693 (2017) - [i16]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR abs/1706.06875 (2017) - [i15]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR abs/1710.08986 (2017) - 2016
- [j52]Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. 28(1): 109-143 (2016) - [j51]Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini:
PTRebeca: Modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128: 22-50 (2016) - [c142]Arnd Hartmanns, Holger Hermanns, Jan Krcál:
Schedulers are no Prophets. Semantics, Logics, and Calculi 2016: 214-235 - [c141]Arnd Hartmanns, Holger Hermanns, Michael Bungert:
Flexible support for time and costs in scenario-aware dataflow. EMSOFT 2016: 3:1-3:10 - [c140]Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger:
Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. FM 2016: 559-576 - [c139]Holger Hermanns, Jan Krcál, Steen Vester:
Distributed Synthesis in Continuous Time. FoSSaCS 2016: 353-369 - [c138]Holger Hermanns:
My O Is Bigger Than Yours (Invited Talk). FSTTCS 2016: 3:1-3:2 - [c137]Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. ISoLA (2) 2016: 601-608 - [c136]Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski:
Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA 2016: 114-126 - [c135]Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga:
The Value of Attack-Defence Diagrams. POST 2016: 163-185 - [c134]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST 2016: 55-71 - [c133]Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál:
Effective Static and Dynamic Fault Tree Analysis. SAFECOMP 2016: 266-280 - [c132]Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar:
Probabilistic CTL*: The Deductive Way. TACAS 2016: 280-296 - [c131]Vahid Hashemi, Holger Hermanns, Lei Song:
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. VMCAI 2016: 351-371 - [i14]Holger Hermanns, Jan Krcál, Steen Vester:
Distributed Synthesis in Continuous Time. CoRR abs/1601.01587 (2016) - [i13]Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Compositional Reasoning for Interval Markov Decision Processes. CoRR abs/1607.08484 (2016) - 2015
- [j50]Andrea Turrini, Holger Hermanns:
Polynomial time decision algorithms for probabilistic automata. Inf. Comput. 244: 134-171 (2015) - [j49]Arnd Hartmanns, Holger Hermanns:
In the quantitative automata zoo. Sci. Comput. Program. 112: 3-23 (2015) - [j48]Hassan Hatefi, Holger Hermanns:
Improving time bounded reachability computations in interactive Markov chains. Sci. Comput. Program. 112: 58-74 (2015) - [j47]Reza Pulungan, Holger Hermanns:
A construction and minimization service for continuous probability distributions. Int. J. Softw. Tools Technol. Transf. 17(1): 77-90 (2015) - [j46]Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Transient Reward Approximation for Continuous-Time Markov Chains. IEEE Trans. Reliab. 64(4): 1254-1275 (2015) - [c130]Arnd Hartmanns, Holger Hermanns:
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. ATVA 2015: 131-147 - [c129]Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions. ATVA 2015: 166-182 - [c128]Holger Hermanns, Jan Krcál, Gilles Nies:
Recharging Probably Keeps Batteries Alive. CyPhy 2015: 83-98 - [c127]Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns:
Rare Event Simulation with Fully Automated Importance Splitting. EPEW 2015: 275-290 - [c126]Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang:
Probabilistic Bisimulation for Realistic Schedulers. FM 2015: 248-264 - [c125]Holger Hermanns:
Energieinformatik im erdnahen Orbit. GI-Jahrestagung 2015: 41 - [c124]Luis María Ferrer Fioriti, Holger Hermanns:
Probabilistic Termination: Soundness, Completeness, and Compositionality. POPL 2015: 489-501 - [c123]Michael Bungert, Holger Hermanns, Reza Pulungan:
A Compression App for Continuous Probability Distributions. QEST 2015: 113-121 - [c122]Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker:
Cost vs. Time in Stochastic Games and Markov Automata. SETTA 2015: 19-34 - [c121]Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns:
Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI 2015: 172-189 - [c120]Felix Freiberger, Holger Hermanns:
On the Control of Self-Balancing Unicycles. MARS 2015: 25-36 - [i12]Holger Hermanns, Jan Krcál, Gilles Nies:
Recharging Probably Keeps Batteries Alive. CoRR abs/1502.07120 (2015) - [i11]Arnd Hartmanns, Holger Hermanns:
Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage. CoRR abs/1504.02861 (2015) - [i10]Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions. CoRR abs/1507.02876 (2015) - 2014
- [j45]Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer:
Analysis of Timed and Long-Run Objectives for Markov Automata. Log. Methods Comput. Sci. 10(3) (2014) - [j44]Andrea Turrini, Holger Hermanns:
Cost Preserving Bisimulations for Probabilistic Automata. Log. Methods Comput. Sci. 10(4) (2014) - [j43]Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns:
Reachability and Reward Checking for Stochastic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j42]Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns:
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j41]Giuliano Casale, Ludmila Cherkasova, Holger Hermanns:
Special Issue on "Quantitative Evaluation of SysTems" (QEST 2012). Perform. Evaluation 73: 1-2 (2014) - [j40]Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen:
Incremental Bisimulation Abstraction Refinement. ACM Trans. Embed. Comput. Syst. 13(4s): 142:1-142:23 (2014) - [c119]Holger Hermanns, Jan Krcál, Jan Kretínský:
Probabilistic Bisimulation: Naturally on Distributions. CONCUR 2014: 249-265 - [c118]Alexander Graf-Brill, Holger Hermanns, Hubert Garavel:
A Model-Based Certification Framework for the EnergyBus Standard. FORTE 2014: 84-99 - [c117]Florian Arnold, Holger Hermanns, Reza Pulungan, Mariëlle Stoelinga:
Time-Dependent Analysis of Attacks. POST 2014: 285-305 - [c116]Arnd Hartmanns, Holger Hermanns:
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. TACAS 2014: 593-598 - [c115]Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns:
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. QAPL 2014: 48-63 - [i9]Holger Hermanns, Jan Krcál, Jan Kretínský:
Probabilistic Bisimulation: Naturally on Distributions. CoRR abs/1404.5084 (2014) - 2013
- [j39]Vahid Hashemi, Holger Hermanns, Andrea Turrini:
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [j38]Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen:
A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. 43(2): 191-232 (2013) - [j37]Holger Hermanns, Arnd Hartmanns:
An Internet Inspired Approach to Power Grid Stability. it Inf. Technol. 55(2): 45-51 (2013) - [j36]Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Model checking for performability. Math. Struct. Comput. Sci. 23(4): 751-795 (2013) - [c114]Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen:
Incremental Bisimulation Abstraction Refinement. ACSD 2013: 11-20 - [c113]Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang:
A Semantics for Every GSPN. Petri Nets 2013: 90-109 - [c112]Holger Hermanns, Andrea Turrini:
Cost Preserving Bisimulations for Probabilistic Automata. CONCUR 2013: 349-363 - [c111]Holger Hermanns, Jan Krcál, Jan Kretínský:
Compositional Verification and Optimization of Interactive Markov Chains. CONCUR 2013: 364-379 - [c110]Hassan Hatefi, Holger Hermanns:
Improving Time Bounded Reachability Computations in Interactive Markov Chains. FSEN 2013: 250-266 - [c109]Ernst Moritz Hahn, Holger Hermanns:
Rewarding probabilistic hybrid automata. HSCC 2013: 313-322 - [c108]Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer:
Modelling, Reduction and Analysis of Markov Automata. QEST 2013: 55-71 - [c107]Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang:
Deciding Bisimilarities on Distributions. QEST 2013: 72-88 - [c106]Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang:
The Quest for Minimal Quotients for Probabilistic Automata. TACAS 2013: 16-31 - [i8]Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer:
Modelling, Reduction and Analysis of Markov Automata (extended version). CoRR abs/1305.7050 (2013) - [i7]Holger Hermanns, Jan Krcál, Jan Kretínský:
Compositional Verification and Optimization of Interactive Markov Chains. CoRR abs/1305.7332 (2013) - 2012
- [j35]Hassan Hatefi, Holger Hermanns:
Model Checking Algorithms for Markov Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012) - [j34]Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn:
Safety Verification for Probabilistic Hybrid Systems. Eur. J. Control 18(6): 572-587 (2012) - [c105]Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns:
Modeling of Networked Automation Systems for simulation and model checking of time behavior. SSD 2012: 1-5 - [c104]Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter:
Variable Probabilistic Abstraction Refinement. ATVA 2012: 300-316 - [c103]Marius 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 - [c102]Holger Hermanns, Andrea Turrini:
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time. FSTTCS 2012: 435-447 - [c101]Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Verification of Open Interactive Markov Chains. FSTTCS 2012: 474-485 - [c100]Arnd Hartmanns, Holger Hermanns:
Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. ISoLA (1) 2012: 420-439 - [c99]Luis María Ferrer Fioriti, Holger Hermanns:
Heuristics for Probabilistic Timed Automata with Abstraction Refinement. MMB/DFT 2012: 151-165 - [c98]Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns:
Simulation and Statistical Model Checking for Modestly Nondeterministic Models. MMB/DFT 2012: 249-252 - [c97]Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns:
mctau: Bridging the Gap between Modest and UPPAAL. SPIN 2012: 227-233 - [c96]Holger Hermanns:
Quantitative Models for a Not So Dumb Grid. TACAS 2012: 1 - [c95]Arnd Hartmanns, Holger Hermanns, Pascal Berrang:
A comparative analysis of decentralized power grid stabilization strategies. WSC 2012: 158:1-158:13 - [i6]Holger Hermanns, Andrea Turrini:
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time. CoRR abs/1205.0376 (2012) - [i5]Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Transient Reward Approximation for Grids, Crowds, and Viruses. CoRR abs/1212.1251 (2012) - 2011
- [j33]Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns:
Automata-Based CSL Model Checking. Log. Methods Comput. Sci. 8(2) (2011) - [j32]Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang:
Probabilistic Logical Characterization. Inf. Comput. 209(2): 154-172 (2011) - [j31]Tugrul Dayar, Holger Hermanns, David Spieler, Verena Wolf:
Bounding the equilibrium distribution of Markov population models. Numer. Linear Algebra Appl. 18(6): 931-946 (2011) - [j30]Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen:
The ins and outs of the probabilistic model checker MRMC. Perform. Evaluation 68(2): 90-104 (2011) - [j29]Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Probabilistic reachability for parametric Markov models. Int. J. Softw. Tools Technol. Transf. 13(1): 3-19 (2011) - [c94]Pepijn 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 - [c93]Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Model Checking Algorithms for CTMDPs. CAV 2011: 225-242 - [c92]Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns:
Partial Order Methods for Statistical Model Checking and Simulation. FMOODS/FORTE 2011: 59-74 - [c91]Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang:
Measurability and safety verification for stochastic hybrid systems. HSCC 2011: 43-52 - [c90]Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns:
Automata-Based CSL Model Checking. ICALP (2) 2011: 271-282 - [c89]Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker:
Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE 2011: 151-160 - [c88]Holger Hermanns:
Formal Methods in Energy Informatics. SEFM 2011: 1-2 - [c87]Hernan Baro Graf, Holger Hermanns, Juhi Kulshrestha, Jens Peter, Anjo Vahldiek, Aravind Vasudevan:
A verified wireless safety critical hard real-time design. WOWMOM 2011: 1-9 - [p1]Holger Hermanns, Lijun Zhang:
From Concurrency Models to Numbers - Performance and Dependability. Software and Systems Safety - Specification and Verification 2011: 182-210 - [i4]Hans-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) - 2010
- [j28]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Performance evaluation and model checking join forces. Commun. ACM 53(9): 76-85 (2010) - [j27]Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Performability assessment by model checking of Markov reward models. Formal Methods Syst. Des. 36(1): 1-36 (2010) - [j26]Ralf Wimmer, Salem Derisavi, Holger Hermanns:
Symbolic partition refinement with automatic balancing of time and space. Perform. Evaluation 67(9): 816-836 (2010) - [j25]Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns:
Synthesis and stochastic assessment of cost-optimal schedules. Int. J. Softw. Tools Technol. Transf. 12(5): 305-318 (2010) - [c86]Pepijn Crouzen, Holger Hermanns:
Aggregation Ordering for Massively Compositional Models. ACSD 2010: 171-180 - [c85]Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn:
Safety Verification for Probabilistic Hybrid Systems. CAV 2010: 196-211 - [c84]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
PARAM: A Model Checker for Parametric Markov Models. CAV 2010: 660-664 - [c83]Christian Eisentraut, Holger Hermanns, Lijun Zhang:
Concurrency and Composition in a Stochastic World. CONCUR 2010: 21-39 - [c82]Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans:
Quantitative system validation in model driven design. EMSOFT 2010: 301-302 - [c81]Nicolas 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 - [c80]Christian Eisentraut, Holger Hermanns, Lijun Zhang:
On Probabilistic Automata in Continuous Time. LICS 2010: 342-351 - [c79]Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach:
Superposition-Based Analysis of First-Order Probabilistic Timed Automata. LPAR (Yogyakarta) 2010: 302-316 - [c78]Ralf 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 - [c77]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
PASS: Abstraction Refinement for Infinite Probabilistic Models. TACAS 2010: 353-357 - [e7]Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar:
Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Dagstuhl Seminar Proceedings 10271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i3]Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar:
10271 Abstracts Collection - Verification over discrete-continuous boundaries. Verification over discrete-continuous boundaries 2010
2000 – 2009
- 2009
- [j24]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundam. Informaticae 95(1): 129-155 (2009) - [j23]Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker:
Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2): 274-292 (2009) - [c76]Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe:
Towards Performance Prediction of Compositional Models in Industrial GALS Designs. CAV 2009: 204-218 - [c75]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647 - [c74]Holger Hermanns, Holger Wiechmann:
Future Design Challenges for Electric Energy Supply. ETFA 2009: 1-8 - [c73]Holger Hermanns, Joost-Pieter Katoen:
The How and Why of Interactive Markov Chains. FMCO 2009: 311-337 - [c72]Reza Pulungan, Holger Hermanns:
Acyclic Minimality by Construction---Almost. QEST 2009: 63-72 - [c71]Joost-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 - [c70]Arnd Hartmanns, Holger Hermanns:
A Modest Approach to Checking Probabilistic Timed Automata. QEST 2009: 187-196 - [c69]Jonathan Bogdoll, Holger Hermanns, Lijun Zhang:
FlowSim Simulation Benchmarking Platform. QEST 2009: 211-212 - [c68]Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106 - [c67]Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253 - 2008
- [j22]Christel Baier, Holger Hermanns:
Special issue: CONCUR 2006. Inf. Comput. 206(5): 491 (2008) - [j21]Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Log. Methods Comput. Sci. 4(4) (2008) - [j20]Holger Hermanns, Jens Palsberg:
Improving the effectiveness of system verification. Int. J. Softw. Tools Technol. Transf. 10(2): 111-112 (2008) - [j19]Christian Eisentraut, Holger Hermanns:
Teaching Concurrency Concepts to Freshmen. Trans. Petri Nets Other Model. Concurr. 1: 35-53 (2008) - [c66]Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter:
Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107 - [c65]Reza Pulungan, Holger Hermanns:
Effective Minimization of Acyclic Phase-Type Representations. ASMTA 2008: 128-143 - [c64]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Reachability in continuous-time Markov reward decision processes. Logic and Automata 2008: 53-72 - [c63]Holger Hermanns, Björn Wachter, Lijun Zhang:
Probabilistic CEGAR. CAV 2008: 162-175 - [c62]Pepijn Crouzen, Holger Hermanns, Lijun Zhang:
On the Minimisation of Acyclic Models. CONCUR 2008: 295-309 - [c61]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 - [c60]Jonathan Bogdoll, Holger Hermanns, Lijun Zhang:
An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52 - [c59]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 - [c58]Holger Hermanns, Sven Johr:
May we reach it? Or must we? In what time? With what probability? MMB 2008: 125-140 - [c57]Reza Pulungan, Holger Hermanns:
The Minimal Representation of the Maximum of Erlang Distributions. MMB 2008: 207-222 - [c56]Ralf Wimmer, Salem Derisavi, Holger Hermanns:
Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST 2008: 65-74 - [i2]Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. CoRR abs/0808.3651 (2008) - 2007
- [c55]Lijun Zhang, Holger Hermanns:
Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222 - [c54]Holger Hermanns, Sven Johr:
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. DSN 2007: 718-728 - [c53]Christian Groß, Holger Hermanns, Reza Pulungan:
Does Clock Precision Influence ZigBee's Energy Consumptions? OPODIS 2007: 174-188 - [c52]Björn Wachter, Lijun Zhang, Holger Hermanns:
Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140 - [c51]Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169 - [c50]Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen:
motor: The modestTool Environment. TACAS 2007: 500-504 - [e6]Werner Damm, Holger Hermanns:
Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4590, Springer 2007, ISBN 978-3-540-73367-6 [contents] - 2006
- [j18]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) - [c49]Manuela-Luminita Bujorianu, Henk A. P. Blom, Holger Hermanns:
Functional Abstractions of stochastic Hybrid Systems. ADHS 2006: 160-165 - [c48]Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker:
Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492 - [c47]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 - [e5]Christel Baier, Holger Hermanns:
CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Lecture Notes in Computer Science 4137, Springer 2006, ISBN 3-540-37376-4 [contents] - [e4]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. Lecture Notes in Computer Science 3920, Springer 2006, ISBN 3-540-33056-9 [contents] - [i1]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 - 2005
- [j17]Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf:
Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005) - [j16]Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns:
Axiomatising divergence. Inf. Comput. 203(2): 115-144 (2005) - [j15]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Model checking meets performance evaluation. SIGMETRICS Perform. Evaluation Rev. 32(4): 10-15 (2005) - [j14]David N. Jansen, Holger Hermanns:
QoS modelling and analysis with UML-statecharts: the StoCharts approach. SIGMETRICS Perform. Evaluation Rev. 32(4): 28-33 (2005) - [j13]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) - [c46]Husain Aljazzar, Holger Hermanns, Stefan Leue:
Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195 - [c45]Lijun Zhang, Holger Hermanns, David N. Jansen:
Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112 - [c44]Holger Hermanns, David N. Jansen, Yaroslav S. Usenko:
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. WOSP 2005: 13-23 - [c43]Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf:
Bisimulation and Simulation Relations for Markov Chains. APC 25 2005: 73-78 - [c42]Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen:
YMCA: - Why Markov Chain Algebra? - . APC 25 2005: 107-112 - 2004
- [j12]Christel Baier, Holger Hermanns, Joost-Pieter Katoen:
Probabilistic weak simulation is decidable in polynomial time. Inf. Process. Lett. 89(3): 123-130 (2004) - [c41]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 - [c40]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 - [c39]David N. Jansen, Holger Hermanns:
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? QEST 2004: 250-259 - [c38]Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns:
Embedded Software Analysis with MOTOR. SFM 2004: 268-294 - [c37]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 - [e3]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle:
Validation of Stochastic Systems - A Guide to Current Research. Lecture Notes in Computer Science 2925, Springer 2004, ISBN 3-540-22265-0 [contents] - 2003
- [j11]Salem Derisavi, Holger Hermanns, William H. Sanders:
Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6): 309-315 (2003) - [j10]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. Algebraic Methods Program. 56(1-2): 23-67 (2003) - [j9]Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle:
A tool for model-checking Markov chains. Int. J. Softw. Tools Technol. Transf. 4(2): 153-172 (2003) - [j8]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) - [c36]Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf:
Comparative Branching-Time Semantics. CONCUR 2003: 482-497 - [c35]Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren:
The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS 2003: 116-133 - [c34]Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager:
Cost-Optimization of the IPv4 Zeroconf Protocol. DSN 2003: 531-540 - [c33]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 - [c32]Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle:
ETMCC: Model Checking Performability Properties of Markov Chains. DSN 2003: 673- - [c31]Suzana Andova, Holger Hermanns, Joost-Pieter Katoen:
Discrete-Time Rewards Model-Checked. FORMATS 2003: 88-104 - [c30]Holger Hermanns, Christophe Joubert:
A Set of Performance and Dependability Analysis Components for CADP. TACAS 2003: 425-430 - [c29]David N. Jansen, Holger Hermanns, Joost-Pieter Katoen:
A QoS-Oriented Extension of UML Statecharts. UML 2003: 76-91 - 2002
- [b2]Holger Hermanns:
Interactive Markov Chains: The Quest for Quantified Quality. Lecture Notes in Computer Science 2428, Springer 2002, ISBN 3-540-44261-8 - [j7]Holger Hermanns, Joost-Pieter Katoen:
Guest editors' introduction: Model checking in a nutshell. J. Log. Algebraic Methods Program. 52-53: 1-5 (2002) - [j6]Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen:
Process algebra for performance evaluation. Theor. Comput. Sci. 274(1-2): 43-87 (2002) - [c28]Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort:
Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354 - [c27]Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier:
Model Checking Performability Properties. DSN 2002: 103-112 - [c26]Hubert Garavel, Holger Hermanns:
On Combining Functional Verification and Performance Evaluation Using CADP. FME 2002: 410-429 - [c25]David N. Jansen, Holger Hermanns, Joost-Pieter Katoen:
A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374 - [c24]Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns:
Axiomatising Divergence. ICALP 2002: 585-596 - [c23]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289 - [e2]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. Lecture Notes in Computer Science 2399, Springer 2002, ISBN 3-540-43913-7 [contents] - 2001
- [j5]Holger Hermanns:
Construction and Verification of Performance and Reliability Models. Bull. EATCS 74: 135-153 (2001) - [c22]Holger Hermanns, Joost-Pieter Katoen:
Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. CONCUR 2001: 59-81 - [c21]Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen:
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. PAPM-PROBMIV 2001: 57-70 - [c20]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 - [e1]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. Lecture Notes in Computer Science 2090, Springer 2001, ISBN 3-540-42479-2 [contents] - 2000
- [j4]Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle:
Compositional performance modelling with the TIPPtool. Perform. Evaluation 39(1-4): 5-35 (2000) - [j3]Holger Hermanns, Joost-Pieter Katoen:
Automated compositional Markov chain generation for a plain-old telephone system. Sci. Comput. Program. 36(1): 97-127 (2000) - [c19]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372 - [c18]Ed Brinksma, Holger Hermanns:
Process Algebra and Markov Chains. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 183-231 - [c17]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792 - [c16]Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle:
Towards Model Checking Stochastic Process Algebra. IFM 2000: 420-439 - [c15]Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237 - [c14]Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle:
A Markov Chain Model Checker. TACAS 2000: 347-362
1990 – 1999
- 1999
- [b1]Holger Hermanns:
Interactive Markov chains = Interaktive Markovketten. University of Erlangen-Nuremberg, Germany, IMMD 1999, pp. 1-251 - [c13]Holger Hermanns, Markus Siegle:
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ARTS 1999: 244-264 - [c12]Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle:
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. CAV 1999: 487-490 - [c11]Christel Baier, Joost-Pieter Katoen, Holger Hermanns:
Approximate Symbolic Model Checking of Continuous-Time Markov Chains. CONCUR 1999: 146-161 - [c10]Holger Hermanns, Markus Siegle:
Symbolic Minimisation of Stochastic Process Algebra Models. FBT 1999: 73-82 - 1998
- [j2]Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis:
Stochastic Process Algebras - Between LOTOS and Markov Chains. Comput. Networks 30(9-10): 901-924 (1998) - [c9]Holger Hermanns, Markus Lohrey:
Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). CONCUR 1998: 237-252 - [c8]Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle:
Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) 1998: 51-62 - [c7]Holger Hermanns, Marina Ribaudo:
Exploiting Symmetries in Stochastic Process Algebras. ESM 1998: 763-770 - [c6]Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen:
On Generative Parallel Composition. PROBMIV 1998: 30-54 - 1997
- [c5]Christel Baier, Holger Hermanns:
Weak Bisimulation for Fully Probabilistic Processes. CAV 1997: 119-130 - [c4]Christel Baier, Holger Hermanns:
Weak Bisimulation for Fully Probabilistic Processes. FBT 1997: 59-68 - [c3]Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach:
Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. PNPM 1997: 183-192 - 1996
- [c2]Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach:
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. TACAS 1996: 427-430 - 1995
- [j1]Holger Hermanns, Michael Rettelbach, Thorsten Weiss:
Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. Comput. J. 38(7): 530-541 (1995) - 1994
- [c1]Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach:
Stochastic process algebras: integrating qualitative and quantitative modelling. FORTE 1994: 449-451
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-22 00:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
