Holger Hermanns

345 papers A* 20A 20B 38C 17Misc 9Journal 114Unranked 116

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Bluetooth Low Energy for Safety-Critical Real-Time Applications. Engineering Safe and Trustworthy Cyber Physical Systems Holger Hermanns, Michaela Klauck, Govinda Sicheneder
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Holger Hermanns. Let's Talk AI Holger Hermanns, Barbara Steffen
2026	A*	`conf`	Probabilistic Safety Verification of Neural Policies via Predicate Abstraction. AAAI Marcel Vinzent, Holger Hermanns, Jörg Hoffmann
2026	A*	`conf`	SL-CBM: Enhancing Concept Bottleneck Models with Semantic Locality for Better Interpretability. AAAI Hanwei Zhang, Luo Cheng, Rui Wen, Yang Zhang, Lijun Zhang, Holger Hermanns
2026	J	`jnl`	SL-CBM: Enhancing Concept Bottleneck Models with Semantic Locality for Better Interpretability. CoRR Hanwei Zhang, Luo Cheng, Rui Wen, Yang Zhang, Lijun Zhang, Holger Hermanns
2025	J	`jnl`	A Workflow for Full Traceability of AI Decisions. CoRR Julius Wenzel, Syeda Umaima Alam, Andreas Schmidt, Hanwei Zhang, Holger Hermanns
2025	B	`conf`	Automata Learning - Expect Delays! iFM Gabriel Dengler, Sven Apel, Holger Hermanns
2025	J	`jnl`	Automata Learning - Expect Delays! CoRR Gabriel Dengler, Sven Apel, Holger Hermanns
2025	J	`jnl`	Dirty Bits in Low-Earth Orbit: The Carbon Footprint of Launching Computers. CoRR Robin Ohs, Gregory F. Stock, Andreas Schmidt, Juan A. Fraire, Holger Hermanns
2025	J	`jnl`	Eidos revisited: Expanding Efficient, imperceptible adversarial attacks on 3D point clouds. J. Syst. Archit. Luo Cheng, Hanwei Zhang, Qisong He, Wei Huang, Renjue Li, Xiaowei Huang, Holger Hermanns, Lijun Zhang
2025	C	`conf`	LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. FORTE Melane Navaratnarajah, Ma'ayan Armony, Sebastian Biewer, Holger Hermanns, Mohammad Reza Mousavi
2025	—	`conf`	Nondeterminism in Interactive Markov Chains, with Application to the Erlangen Mainframe. Principles of Formal Quantitative Analysis Hubert Garavel, Holger Hermanns
2025	J	`jnl`	On the Role of AI in Managing Satellite Constellations: Insights from the ConstellAI Project. CoRR Gregory F. Stock, Juan A. Fraire, Holger Hermanns, Jedrzej Mosiezny, Yusra Al-Khazraji, Julio Ramirez Molina, Evridiki Vasileia Ntagiou
2025	—	`conf`	POMDP-Based Routing for DTNs with Partial Knowledge and Dependent Failures. WiSEE Gregory F. Stock, Alexander Haberl, Juan A. Fraire, Holger Hermanns
2025	J	`jnl`	POMDP-Based Routing for DTNs with Partial Knowledge and Dependent Failures. CoRR Gregory F. Stock, Alexander Haberl, Juan A. Fraire, Holger Hermanns
2025	—	`conf`	PhantomLink: Emulating Virtual End-to-End Links on Ground and in Orbit. ANRW Robin Ohs, Gregory F. Stock, Juan A. Fraire, Holger Hermanns, Andreas Schmidt
2025	J	`jnl`	Revisiting Physically Realizable Adversarial Object Attack against LiDAR-based Detection: Clarifying Problem Formulation and Experimental Protocols. CoRR Luo Cheng, Hanwei Zhang, Lijun Zhang, Holger Hermanns
2025	J	`jnl`	Software doping analysis for human oversight. Formal Methods Syst. Des. Sebastian Biewer, Kevin Baum, Sarah Sterz, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Franz Lehr
2025	—	`conf`	When to Sample from Feature Diagrams? VaMoS Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns
2024	—	`conf`	A Stability-First Approach to Running TCP Over Starlink. ICC Workshops Gregory Stock, Juan A. Fraire, Santiago Henn, Holger Hermanns, Andreas Schmidt
2024	J	`jnl`	A Stability-first Approach to Running TCP over Starlink. CoRR Gregory Stock, Juan A. Fraire, Santiago Henn, Holger Hermanns, Andreas Schmidt
2024	—	`conf`	AI Act for the Working Programmer. AISoLA Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang
2024	J	`jnl`	AI Act for the Working Programmer. CoRR Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang
2024	—	`conf`	Configuration Monitor Synthesis. ATVA (2) Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns
2024	J	`jnl`	Configuration Monitor Synthesis. CoRR Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns
2024	B	`conf`	Coyan: Fault Tree Analysis - Exact and Scalable. SAFECOMP Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio
2024	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings SETTA Holger Hermanns, Jun Sun, Lei Bu
2024	Misc	`conf`	Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. SETTA Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang
2024	J	`jnl`	Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. CoRR Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang
2024	—	`conf`	Making ETAPS Gold Open Access. Principles of Verification (3) Holger Hermanns, Marieke Huisman
2024	—	`conf`	On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. FAccT Sarah Sterz, Kevin Baum, Sebastian Biewer, Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Markus Langer
2024	J	`jnl`	On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. CoRR Sarah Sterz, Kevin Baum, Sebastian Biewer, Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Markus Langer
2024	—	`conf`	OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. TACAS (3) Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl
2024	J	`jnl`	Quantitative analysis of segmented satellite network architectures: A maritime surveillance case study. Comput. Networks Juan A. Fraire, Santiago Henn, Gregory Stock, Robin Ohs, Holger Hermanns, Felix Walter, Lynn Van Broock, Gabriel Ruffini, Federico Machado, Pablo Serratti, Jose Relloso
2024	—	`conf`	Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe. Principles of Verification (2) Hubert Garavel, Holger Hermanns, David Parker
2024	C	`conf`	Saliency Maps Give a False Sense of Explanability to Image Classifiers: An Empirical Evaluation across Methods and Metrics. ACML Hanwei Zhang, Felipe Torres Figueroa, Holger Hermanns
2024	—	`conf`	Stochastic Optimization of Hybrid Product Programs with Prepaid Contracts. OR Alexander Baumeister, Holger Hermanns, Ralf Jung
2024	—	`conf`	Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight. SPIN Kevin Baum, Sebastian Biewer, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Sarah Sterz
2024	—	`conf`	Traceability and Accountability by Construction. ISoLA (4) Julius Wenzel, Maximilian A. Köhl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns
2023	J	`jnl`	Analyzing neural network behavior through deep statistical model checking. Int. J. Softw. Tools Technol. Transf. Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2023	—	`conf`	Matching Distributions Under Structural Constraints. QEST Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt
2023	J	`jnl`	Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations. ACM Trans. Embed. Comput. Syst. Maximilian A. Köhl, Holger Hermanns
2023	J	`jnl`	On the Foundations of Cycles in Bayesian Networks. CoRR Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
2023	J	`jnl`	On the road with RTLola. Int. J. Softw. Tools Technol. Transf. Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2023	J	`jnl`	Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing. IEEE Trans. Aerosp. Electron. Syst. Santiago Henn, Juan A. Fraire, Holger Hermanns
2023	J	`jnl`	Software Doping Analysis for Human Oversight. CoRR Sebastian Biewer, Kevin Baum, Sarah Sterz, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Franz Lehr
2022	J	`jnl`	Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
2022	J	`jnl`	Conformance Relations and Hyperproperties for Doping Detection in Time and Space. Log. Methods Comput. Sci. Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
2022	—	`conf`	Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study. ASMS/SPSC Gregory Stock, Juan A. Fraire, Holger Hermanns
2022	J	`jnl`	Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study. CoRR Gregory Stock, Juan A. Fraire, Holger Hermanns
2022	—	`conf`	MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf
2022	J	`jnl`	On the Automation, Optimization, and In-Orbit Validation of Intelligent Satellite Constellation Operations. CoRR Gregory Stock, Juan A. Fraire, Holger Hermanns, Eduardo Cruz, Alastair Isaacs, Zhana Imbrosh
2022	B	`conf`	On the Detection of Doped Software by Falsification. FASE Sebastian Biewer, Holger Hermanns
2022	—	`conf`	On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
2022	—	`conf`	Quantification of Battery Depletion Risk Made Efficient. NFM Holger Hermanns, Gilles Nies
2021	—	`conf`	A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. QEST Michaela Klauck, Holger Hermanns
2021	J	`jnl`	A Modest Approach to Markov Automata. ACM Trans. Model. Comput. Simul. Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
2021	A*	`conf`	Admissibility in Probabilistic Argumentation. KR Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
2021	—	`conf`	Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
2021	C	`conf`	Controller verification meets controller code: a case study. MEMOCODE Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám
2021	J	`jnl`	Doping Tests for Cyber-physical Systems. ACM Trans. Model. Comput. Simul. Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
2021	—	`conf`	Momba: JANI Meets Python. TACAS (2) Maximilian A. Köhl, Michaela Klauck, Holger Hermanns
2021	J	`jnl`	On the scalability of battery-aware contact plan design for LEO satellite constellations. Int. J. Satell. Commun. Netw. Juan A. Fraire, Carsten Gerstacker, Holger Hermanns, Gilles Nies, Morten Bisgaard, Kristian Bay
2021	—	`conf`	RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2021	J	`jnl`	RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2021	—	`conf`	Towards Perspicuity Requirements. RE Workshops Sarah Sterz, Kevin Baum, Anne Lauber-Rönsberg, Holger Hermanns
2021	B	`conf`	Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study. GLOBECOM Kai Vogelgesang, Juan A. Fraire, Holger Hermanns
2021	J	`jnl`	What Do We Want From Explainable Artificial Intelligence (XAI)? - A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research. CoRR Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum
2021	J	`jnl`	What do we want from Explainable Artificial Intelligence (XAI)? - A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. Artif. Intell. Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum
2020	J	`jnl`	Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. IEEE Trans. Green Commun. Netw. Juan A. Fraire, Gilles Nies, Carsten Gerstacker, Holger Hermanns, Kristian Bay, Morten Bisgaard
2020	J	`jnl`	Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. J. Artif. Intell. Res. Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
2020	B	`conf`	CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva
2020	—	`conf`	Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
2020	J	`jnl`	Conformance Relations and Hyperproperties for Doping Detection in Time and Space. CoRR Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
2020	C	`conf`	Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
2020	J	`jnl`	Connection models for the Internet-of-Things. Frontiers Comput. Sci. Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
2020	C	`conf`	Deep Statistical Model Checking. FORTE Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2020	—	`conf`	From Verification to Explanation (Track Introduction). ISoLA (4) Christel Baier, Holger Hermanns
2020	A*	`ed.`	LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. LICS Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller
2020	J	`jnl`	LICS-ICALP 2020 Questionnaire Evaluation. Bull. EATCS Felix Freiberger, Holger Hermanns
2020	—	`conf`	Lab Conditions for Research on Explainable Automated Decisions. TAILOR Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck
2020	A*	`conf`	Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
2020	J	`jnl`	Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gregory Stock, Juan A. Fraire, Tobias Mömke, Holger Hermanns, Fakhri Babayev, Eduardo Cruz
2020	—	`ed.`	Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings MMB Holger Hermanns
2020	J	`jnl`	On the probabilistic bisimulation spectrum with silent moves. Acta Informatica Christel Baier, Pedro R. D'Argenio, Holger Hermanns
2020	—	`conf`	PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns
2020	—	`conf`	Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
2019	—	`conf`	A Modest Approach to Modelling and Checking Markov Automata. QEST Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
2019	—	`conf`	A Modest Markov Automata Tutorial. RW Arnd Hartmanns, Holger Hermanns
2019	J	`jnl`	Battery-aware scheduling in low orbit: the GomX-3 case. Formal Aspects Comput. Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger
2019	C	`conf`	Component-aware Input-Output Conformance. FORTE Alexander Graf-Brill, Holger Hermanns
2019	B	`conf`	Concurrent Programming from pseuCo to Petri. Petri Nets Felix Freiberger, Holger Hermanns
2019	—	`conf`	Doping Tests for Cyber-Physical Systems. QEST Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
2019	J	`jnl`	Doping Tests for Cyber-Physical Systems. CoRR Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
2019	J	`jnl`	Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. ACM Trans. Model. Comput. Simul. Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2019	B	`conf`	Syntactic Partial Order Compression for Probabilistic Reachability. VMCAI Gereon Fox, Daniel Stan, Holger Hermanns
2019	—	`ch.`	The 10, 000 Facets of MDP Model Checking. Computing and Software Science Christel Baier, Holger Hermanns, Joost-Pieter Katoen
2018	B	`conf`	Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. GLOBECOM Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard
2018	A*	`conf`	Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
2018	B	`conf`	Continuous-Time Markov Decisions Based on Partial Exploration. ATVA Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
2018	J	`jnl`	Continuous-Time Markov Decisions based on Partial Exploration. CoRR Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
2018	—	`conf`	Cyber-Physical Doping Tests. MT@CPSWeek Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
2018	B	`conf`	Efficient Monitoring of Real Driving Emissions. RV Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
2018	J	`jnl`	Facets of Software Doping. CoRR Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
2018	Misc	`conf`	From Machine Ethics To Machine Explainability and Back. ISAIM Kevin Baum, Holger Hermanns, Timo Speith
2018	—	`conf`	Markov Automata on Discount! MMB Yuliya Butkova, Ralf Wimmer, Holger Hermanns
2018	J	`jnl`	Probabilistic bisimulation for realistic schedulers. Acta Informatica Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen
2018	J	`jnl`	The quest for minimal quotients for probabilistic and Markov automata. Inf. Comput. Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
2018	—	`conf`	Towards a Framework Combining Machine Ethics and Machine Explainability. CREST Kevin Baum, Holger Hermanns, Timo Speith
2018	B	`conf`	Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
2017	J	`jnl`	Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns
2017	—	`conf`	From Lotosphere to Thermosphere. ModelEd, TestEd, TrustEd Holger Hermanns
2017	J	`jnl`	How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty. Leibniz Trans. Embed. Syst. Holger Hermanns, Jan Krcál, Gilles Nies
2017	A	`conf`	Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. ESOP Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
2017	J	`jnl`	Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
2017	—	`conf`	Long-Run Rewards for Markov Automata. TACAS (2) Yuliya Butkova, Ralf Wimmer, Holger Hermanns
2017	—	`conf`	Model-Based Testing for Asynchronous Systems. FMICS-AVoCS Alexander Graf-Brill, Holger Hermanns
2017	C	`conf`	Modelling and certification for electric mobility. INDIN Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose
2017	—	`conf`	Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) Kangli He, Holger Hermanns, Yixiang Chen
2017	—	`conf`	Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
2017	J	`jnl`	Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
2017	—	`conf`	Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2017	J	`jnl`	Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2017	C	`conf`	Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
2017	Misc	`conf`	Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni
2017	—	`ed.`	Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. MARS Holger Hermanns, Peter Höfner
2017	—	`conf`	Teaching Academic Concurrency to Amazing Students. Models, Algorithms, Logics and Tools Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
2016	B	`conf`	Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. FM Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger
2016	C	`conf`	Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski
2016	J	`jnl`	Compositional Reasoning for Interval Markov Decision Processes. CoRR Vahid Hashemi, Holger Hermanns, Andrea Turrini
2016	J	`jnl`	Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini
2016	B	`conf`	Distributed Synthesis in Continuous Time. FoSSaCS Holger Hermanns, Jan Krcál, Steen Vester
2016	J	`jnl`	Distributed Synthesis in Continuous Time. CoRR Holger Hermanns, Jan Krcál, Steen Vester
2016	B	`conf`	Effective Static and Dynamic Fault Tree Analysis. SAFECOMP Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál
2016	—	`conf`	Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
2016	—	`conf`	Facets of Software Doping. ISoLA (2) Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
2016	Misc	`conf`	Flexible support for time and costs in scenario-aware dataflow. EMSOFT Arnd Hartmanns, Holger Hermanns, Michael Bungert
2016	—	`conf`	My O Is Bigger Than Yours (Invited Talk). FSTTCS Holger Hermanns
2016	J	`jnl`	PTRebeca: Modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini
2016	A	`conf`	Probabilistic CTL TACAS Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
2016	B	`conf`	Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. VMCAI Vahid Hashemi, Holger Hermanns, Lei Song
2016	—	`conf`	Schedulers are no Prophets. Semantics, Logics, and Calculi Arnd Hartmanns, Holger Hermanns, Jan Krcál
2016	—	`conf`	The Value of Attack-Defence Diagrams. POST Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga
2015	—	`conf`	A Compression App for Continuous Probability Distributions. QEST Michael Bungert, Holger Hermanns, Reza Pulungan
2015	J	`jnl`	A construction and minimization service for continuous probability distributions. Int. J. Softw. Tools Technol. Transf. Reza Pulungan, Holger Hermanns
2015	B	`conf`	Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
2015	Misc	`conf`	Cost vs. Time in Stochastic Games and Markov Automata. SETTA Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
2015	—	`conf`	Energieinformatik im erdnahen Orbit. GI-Jahrestagung Holger Hermanns
2015	B	`conf`	Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. ATVA Arnd Hartmanns, Holger Hermanns
2015	J	`jnl`	Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage. CoRR Arnd Hartmanns, Holger Hermanns
2015	J	`jnl`	Improving time bounded reachability computations in interactive Markov chains. Sci. Comput. Program. Hassan Hatefi, Holger Hermanns
2015	J	`jnl`	In the quantitative automata zoo. Sci. Comput. Program. Arnd Hartmanns, Holger Hermanns
2015	—	`conf`	On the Control of Self-Balancing Unicycles. MARS Felix Freiberger, Holger Hermanns
2015	B	`conf`	Optimal Continuous Time Markov Decisions. ATVA Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál
2015	J	`jnl`	Optimal Continuous Time Markov Decisions. CoRR Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál
2015	J	`jnl`	Polynomial time decision algorithms for probabilistic automata. Inf. Comput. Andrea Turrini, Holger Hermanns
2015	B	`conf`	Probabilistic Bisimulation for Realistic Schedulers. FM Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang
2015	A*	`conf`	Probabilistic Termination: Soundness, Completeness, and Compositionality. POPL Luis María Ferrer Fioriti, Holger Hermanns
2015	—	`conf`	Rare Event Simulation with Fully Automated Importance Splitting. EPEW Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns
2015	—	`conf`	Recharging Probably Keeps Batteries Alive. CyPhy Holger Hermanns, Jan Krcál, Gilles Nies
2015	J	`jnl`	Recharging Probably Keeps Batteries Alive. CoRR Holger Hermanns, Jan Krcál, Gilles Nies
2015	J	`jnl`	Transient Reward Approximation for Continuous-Time Markov Chains. IEEE Trans. Reliab. Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
2014	C	`conf`	A Model-Based Certification Framework for the EnergyBus Standard. FORTE Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
2014	J	`jnl`	Analysis of Timed and Long-Run Objectives for Markov Automata. Log. Methods Comput. Sci. Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
2014	J	`jnl`	Cost Preserving Bisimulations for Probabilistic Automata. Log. Methods Comput. Sci. Andrea Turrini, Holger Hermanns
2014	J	`jnl`	Incremental Bisimulation Abstraction Refinement. ACM Trans. Embed. Comput. Syst. Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen
2014	—	`conf`	MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. QAPL Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
2014	J	`jnl`	Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
2014	B	`conf`	Probabilistic Bisimulation: Naturally on Distributions. CONCUR Holger Hermanns, Jan Krcál, Jan Kretínský
2014	J	`jnl`	Probabilistic Bisimulation: Naturally on Distributions. CoRR Holger Hermanns, Jan Krcál, Jan Kretínský
2014	J	`jnl`	Reachability and Reward Checking for Stochastic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns
2014	J	`jnl`	Special Issue on "Quantitative Evaluation of SysTems" (QEST 2012). Perform. Evaluation Giuliano Casale, Ludmila Cherkasova, Holger Hermanns
2014	A	`conf`	The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. TACAS Arnd Hartmanns, Holger Hermanns
2014	—	`conf`	Time-Dependent Analysis of Attacks. POST Florian Arnold, Holger Hermanns, Reza Pulungan, Mariëlle Stoelinga
2013	B	`conf`	A Semantics for Every GSPN. Petri Nets Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang
2013	J	`jnl`	A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen
2013	J	`jnl`	An Internet Inspired Approach to Power Grid Stability. it Inf. Technol. Holger Hermanns, Arnd Hartmanns
2013	B	`conf`	Compositional Verification and Optimization of Interactive Markov Chains. CONCUR Holger Hermanns, Jan Krcál, Jan Kretínský
2013	J	`jnl`	Compositional Verification and Optimization of Interactive Markov Chains. CoRR Holger Hermanns, Jan Krcál, Jan Kretínský
2013	B	`conf`	Cost Preserving Bisimulations for Probabilistic Automata. CONCUR Holger Hermanns, Andrea Turrini
2013	—	`conf`	Deciding Bisimilarities on Distributions. QEST Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang
2013	—	`conf`	Improving Time Bounded Reachability Computations in Interactive Markov Chains. FSEN Hassan Hatefi, Holger Hermanns
2013	—	`conf`	Incremental Bisimulation Abstraction Refinement. ACSD Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen
2013	J	`jnl`	Model checking for performability. Math. Struct. Comput. Sci. Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2013	J	`jnl`	Modelling, Reduction and Analysis of Markov Automata (extended version) CoRR Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
2013	—	`conf`	Modelling, Reduction and Analysis of Markov Automata. QEST Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
2013	J	`jnl`	On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Vahid Hashemi, Holger Hermanns, Andrea Turrini
2013	—	`conf`	Rewarding probabilistic hybrid automata. HSCC Ernst Moritz Hahn, Holger Hermanns
2013	A	`conf`	The Quest for Minimal Quotients for Probabilistic Automata. TACAS Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
2012	Misc	`conf`	A comparative analysis of decentralized power grid stabilization strategies. WSC Arnd Hartmanns, Holger Hermanns, Pascal Berrang
2012	J	`jnl`	Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time CoRR Holger Hermanns, Andrea Turrini
2012	—	`conf`	Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time. FSTTCS Holger Hermanns, Andrea Turrini
2012	—	`conf`	Heuristics for Probabilistic Timed Automata with Abstraction Refinement. MMB/DFT Luis María Ferrer Fioriti, Holger Hermanns
2012	J	`jnl`	Model Checking Algorithms for Markov Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hassan Hatefi, Holger Hermanns
2012	—	`conf`	Modeling of Networked Automation Systems for simulation and model checking of time behavior. SSD Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns
2012	—	`conf`	Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. ISoLA (1) Arnd Hartmanns, Holger Hermanns
2012	A	`conf`	Quantitative Models for a Not So Dumb Grid. TACAS Holger Hermanns
2012	J	`jnl`	Safety Verification for Probabilistic Hybrid Systems. Eur. J. Control Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
2012	—	`conf`	Simulation and Statistical Model Checking for Modestly Nondeterministic Models. MMB/DFT Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns
2012	A	`conf`	State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
2012	J	`jnl`	Transient Reward Approximation for Grids, Crowds, and Viruses CoRR Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
2012	B	`conf`	Variable Probabilistic Abstraction Refinement. ATVA Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter
2012	—	`conf`	Verification of Open Interactive Markov Chains. FSTTCS Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák
2012	—	`conf`	mctau: Bridging the Gap between Modest and UPPAAL. SPIN Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
2011	C	`conf`	A verified wireless safety critical hard real-time design. WOWMOM Hernan Baro Graf, Holger Hermanns, Juhi Kulshrestha, Jens Peter, Anjo Vahldiek, Aravind Vasudevan
2011	J	`jnl`	Automata-Based CSL Model Checking Log. Methods Comput. Sci. Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns
2011	—	`conf`	Automata-Based CSL Model Checking. ICALP (2) Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns
2011	—	`conf`	Bounded Fairness for Probabilistic Distributed Algorithms. ACSD Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
2011	J	`jnl`	Bounding the equilibrium distribution of Markov population models. Numer. Linear Algebra Appl. Tugrul Dayar, Holger Hermanns, David Spieler, Verena Wolf
2011	B	`conf`	Formal Methods in Energy Informatics. SEFM Holger Hermanns
2011	—	`ch.`	From Concurrency Models to Numbers - Performance and Dependability. Software and Systems Safety - Specification and Verification Holger Hermanns, Lijun Zhang
2011	—	`conf`	Measurability and safety verification for stochastic hybrid systems. HSCC Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang
2011	A*	`conf`	Model Checking Algorithms for CTMDPs. CAV Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
2011	J	`jnl`	Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Dagstuhl Reports Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell
2011	—	`conf`	Partial Order Methods for Statistical Model Checking and Simulation. FMOODS/FORTE Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns
2011	J	`jnl`	Probabilistic Logical Characterization. Inf. Comput. Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang
2011	J	`jnl`	Probabilistic reachability for parametric Markov models. Int. J. Softw. Tools Technol. Transf. Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
2011	C	`conf`	Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker
2011	J	`jnl`	The ins and outs of the probabilistic model checker MRMC. Perform. Evaluation Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
2010	—	`conf`	10271 Abstracts Collection - Verification over discrete-continuous boundaries. Verification over discrete-continuous boundaries Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar
2010	—	`conf`	Aggregation Ordering for Massively Compositional Models. ACSD Pepijn Crouzen, Holger Hermanns
2010	B	`conf`	Concurrency and Composition in a Stochastic World. CONCUR Christian Eisentraut, Holger Hermanns, Lijun Zhang
2010	A*	`conf`	On Probabilistic Automata in Continuous Time. LICS Christian Eisentraut, Holger Hermanns, Lijun Zhang
2010	A*	`conf`	PARAM: A Model Checker for Parametric Markov Models. CAV Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
2010	A	`conf`	PASS: Abstraction Refinement for Infinite Probabilistic Models. TACAS Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
2010	J	`jnl`	Performability assessment by model checking of Markov reward models. Formal Methods Syst. Des. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2010	J	`jnl`	Performance evaluation and model checking join forces. Commun. ACM Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2010	Misc	`conf`	Quantitative system validation in model driven design. EMSOFT Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans
2010	A*	`conf`	Safety Verification for Probabilistic Hybrid Systems. CAV Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
2010	—	`conf`	Superposition-Based Analysis of First-Order Probabilistic Timed Automata. LPAR (Yogyakarta) Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach
2010	—	`conf`	Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
2010	J	`jnl`	Symbolic partition refinement with automatic balancing of time and space. Perform. Evaluation Ralf Wimmer, Salem Derisavi, Holger Hermanns
2010	J	`jnl`	Synthesis and stochastic assessment of cost-optimal schedules. Int. J. Softw. Tools Technol. Transf. Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns
2010	—	`conf`	Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2010	—	`ed.`	Verification over discrete-continuous boundaries, 04.07. - 09.07.2010 Verification over discrete-continuous boundaries Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar
2009	—	`conf`	A Modest Approach to Checking Probabilistic Timed Automata. QEST Arnd Hartmanns, Holger Hermanns
2009	—	`conf`	Acyclic Minimality by Construction---Almost. QEST Reza Pulungan, Holger Hermanns
2009	J	`jnl`	Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker
2009	C	`conf`	Dependability Engineering of Silent Self-stabilizing Systems. SSS Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
2009	—	`conf`	FlowSim Simulation Benchmarking Platform. QEST Jonathan Bogdoll, Holger Hermanns, Lijun Zhang
2009	C	`conf`	Future Design Challenges for Electric Energy Supply. ETFA Holger Hermanns, Holger Wiechmann
2009	A*	`conf`	INFAMY: An Infinite-State Markov Model Checker. CAV Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
2009	—	`conf`	Probabilistic Reachability for Parametric Markov Models. SPIN Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
2009	—	`conf`	The How and Why of Interactive Markov Chains. FMCO Holger Hermanns, Joost-Pieter Katoen
2009	—	`conf`	The Ins and Outs of the Probabilistic Model Checker MRMC. QEST Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
2009	J	`jnl`	Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundam. Informaticae Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
2009	A*	`conf`	Towards Performance Prediction of Compositional Models in Industrial GALS Designs. CAV Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe
2008	C	`conf`	An Experimental Evaluation of Probabilistic Simulation. FORTE Jonathan Bogdoll, Holger Hermanns, Lijun Zhang
2008	—	`conf`	Effective Minimization of Acyclic Phase-Type Representations. ASMTA Reza Pulungan, Holger Hermanns
2008	J	`jnl`	Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen
2008	J	`jnl`	Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Log. Methods Comput. Sci. Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen
2008	J	`jnl`	Improving the effectiveness of system verification. Int. J. Softw. Tools Technol. Transf. Holger Hermanns, Jens Palsberg
2008	—	`conf`	May we reach it? Or must we? In what time? With what probability? MMB Holger Hermanns, Sven Johr
2008	B	`conf`	On the Minimisation of Acyclic Models. CONCUR Pepijn Crouzen, Holger Hermanns, Lijun Zhang
2008	A*	`conf`	Probabilistic CEGAR. CAV Holger Hermanns, Björn Wachter, Lijun Zhang
2008	A	`conf`	Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. DATE Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni
2008	—	`conf`	Reachability in continuous-time Markov reward decision processes. Logic and Automata Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2008	J	`jnl`	Special issue: CONCUR 2006. Inf. Comput. Christel Baier, Holger Hermanns
2008	—	`conf`	Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. HSCC Martin Fränzle, Holger Hermanns, Tino Teige
2008	—	`conf`	Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST Ralf Wimmer, Salem Derisavi, Holger Hermanns
2008	J	`jnl`	Teaching Concurrency Concepts to Freshmen. Trans. Petri Nets Other Model. Concurr. Christian Eisentraut, Holger Hermanns
2008	—	`conf`	The Minimal Representation of the Maximum of Erlang Distributions. MMB Reza Pulungan, Holger Hermanns
2008	—	`conf`	Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter
2007	A*	`ed.`	Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings CAV Werner Damm, Holger Hermanns
2007	B	`conf`	Deciding Simulations on Probabilistic Automata. ATVA Lijun Zhang, Holger Hermanns
2007	B	`conf`	Does Clock Precision Influence ZigBee's Energy Consumptions? OPODIS Christian Groß, Holger Hermanns, Reza Pulungan
2007	A	`conf`	Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen
2007	—	`conf`	Probabilistic Model Checking Modulo Theories. QEST Björn Wachter, Lijun Zhang, Holger Hermanns
2007	A	`conf`	Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. DSN Holger Hermanns, Sven Johr
2007	A	`conf`	motor: The modestTool Environment. TACAS Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
2006	—	`conf`	06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 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
2006	B	`ed.`	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings CONCUR Christel Baier, Holger Hermanns
2006	—	`conf`	Compositional Performability Evaluation for STATEMATE. QEST Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
2006	—	`conf`	Functional Abstractions of stochastic Hybrid Systems. ADHS Manuela-Luminita Bujorianu, Henk A. P. Blom, Holger Hermanns
2006	J	`jnl`	MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
2006	B	`conf`	Sigref- A Symbolic Bisimulation Tool Box. ATVA Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
2006	A	`ed.`	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 TACAS Holger Hermanns, Jens Palsberg
2005	J	`jnl`	Axiomatising divergence. Inf. Comput. Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
2005	—	`conf`	Bisimulation and Simulation Relations for Markov Chains. APC 25 Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
2005	J	`jnl`	Comparative branching-time semantics for Markov chains. Inf. Comput. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
2005	—	`conf`	Counterexamples for Timed Probabilistic Reachability. FORMATS Husain Aljazzar, Holger Hermanns, Stefan Leue
2005	J	`jnl`	Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort
2005	—	`conf`	From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. WOSP Holger Hermanns, David N. Jansen, Yaroslav S. Usenko
2005	C	`conf`	Logic and Model Checking for Hidden Markov Models. FORTE Lijun Zhang, Holger Hermanns, David N. Jansen
2005	J	`jnl`	Model checking meets performance evaluation. SIGMETRICS Perform. Evaluation Rev. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2005	J	`jnl`	QoS modelling and analysis with UML-statecharts: the StoCharts approach. SIGMETRICS Perform. Evaluation Rev. David N. Jansen, Holger Hermanns
2005	—	`conf`	YMCA: - Why Markov Chain Algebra? - . APC 25 Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen
2004	—	`conf`	An industrial-strength formal method -- A Modest survey. ISoLA (Preliminary proceedings) Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko
2004	—	`conf`	Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? QEST David N. Jansen, Holger Hermanns
2004	A	`conf`	Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. TACAS Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2004	—	`conf`	Embedded Software Analysis with MOTOR. SFM Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
2004	J	`jnl`	Probabilistic weak simulation is decidable in polynomial time. Inf. Process. Lett. Christel Baier, Holger Hermanns, Joost-Pieter Katoen
2004	—	`conf`	Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
2004	—	`ed.`	Validation of Stochastic Systems - A Guide to Current Research Validation of Stochastic Systems Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
2003	—	`conf`	A QoS-Oriented Extension of UML Statecharts. UML David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
2003	A	`conf`	A Set of Performance and Dependability Analysis Components for CADP. TACAS Holger Hermanns, Christophe Joubert
2003	J	`jnl`	A tool for model-checking Markov chains. Int. J. Softw. Tools Technol. Transf. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2003	B	`conf`	Comparative Branching-Time Semantics. CONCUR Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
2003	A	`conf`	Cost-Optimization of the IPv4 Zeroconf Protocol. DSN Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager
2003	—	`conf`	Discrete-Time Rewards Model-Checked. FORMATS Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
2003	A	`conf`	ETMCC: Model Checking Performability Properties of Markov Chains. DSN Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2003	J	`jnl`	Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2003	A	`conf`	On Integrating the MÖBIUS and MODEST Modeling Tools. DSN Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders
2003	J	`jnl`	On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebraic Methods Program. Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
2003	J	`jnl`	Optimal state-space lumping in Markov chains. Inf. Process. Lett. Salem Derisavi, Holger Hermanns, William H. Sanders
2003	—	`conf`	The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
2002	—	`conf`	A Probabilistic Extension of UML Statecharts. FTRTFT David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
2002	Misc	`conf`	Automated Performance and Dependability Evaluation Using Model Checking. Performance Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2002	A*	`conf`	Axiomatising Divergence. ICALP Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
2002	J	`jnl`	Guest editors' introduction: Model checking in a nutshell. J. Log. Algebraic Methods Program. Holger Hermanns, Joost-Pieter Katoen
2002	—	`book`	Interactive Markov Chains: The Quest for Quantified Quality Holger Hermanns
2002	A	`conf`	Model Checking Performability Properties. DSN Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
2002	—	`conf`	On Combining Functional Verification and Performance Evaluation Using CADP. FME Hubert Garavel, Holger Hermanns
2002	—	`ed.`	Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings PAPM-PROBMIV Holger Hermanns, Roberto Segala
2002	J	`jnl`	Process algebra for performance evaluation. Theor. Comput. Sci. Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen
2002	B	`conf`	Simulation for Continuous-Time Markov Chains. CONCUR Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort
2001	—	`conf`	Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. PAPM-PROBMIV Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen
2001	J	`jnl`	Construction and Verification of Performance and Reliability Models. Bull. EATCS Holger Hermanns
2001	—	`ed.`	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 Euro Summer School on Trends in Computer Science Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
2001	—	`conf`	MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
2001	B	`conf`	Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. CONCUR Holger Hermanns, Joost-Pieter Katoen
2000	A	`conf`	A Markov Chain Model Checker. TACAS Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2000	J	`jnl`	Automated compositional Markov chain generation for a plain-old telephone system. Sci. Comput. Program. Holger Hermanns, Joost-Pieter Katoen
2000	J	`jnl`	Compositional performance modelling with the TIPPtool. Perform. Evaluation Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
2000	A*	`conf`	Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000	A*	`conf`	On the Logical Characterisation of Performability Properties. ICALP Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000	B	`conf`	On the Use of Model Checking Techniques for Dependability Evaluation. SRDS Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000	—	`conf`	Process Algebra and Markov Chains. European Educational Forum: School on Formal Methods and Performance Analysis Ed Brinksma, Holger Hermanns
2000	B	`conf`	Towards Model Checking Stochastic Process Algebra. IFM Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
1999	B	`conf`	Approximate Symbolic Model Checking of Continuous-Time Markov Chains. CONCUR Christel Baier, Joost-Pieter Katoen, Holger Hermanns
1999	—	`conf`	Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ARTS Holger Hermanns, Markus Siegle
1999	—	`—`	Interactive Markov chains = Interaktive Markovketten. Holger Hermanns
1999	—	`conf`	Symbolic Minimisation of Stochastic Process Algebra Models. FBT Holger Hermanns, Markus Siegle
1999	A*	`conf`	TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. CAV Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle
1998	—	`conf`	Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
1998	—	`conf`	Exploiting Symmetries in Stochastic Process Algebras. ESM Holger Hermanns, Marina Ribaudo
1998	—	`conf`	On Generative Parallel Composition. PROBMIV Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
1998	B	`conf`	Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). CONCUR Holger Hermanns, Markus Lohrey
1998	J	`jnl`	Stochastic Process Algebras - Between LOTOS and Markov Chains. Comput. Networks Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis
1997	—	`conf`	Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. PNPM Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
1997	A*	`conf`	Weak Bisimulation for Fully Probabilistic Processes. CAV Christel Baier, Holger Hermanns
1997	—	`conf`	Weak Bisimulation for Fully Probabilistic Processes. FBT Christel Baier, Holger Hermanns
1996	A	`conf`	A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. TACAS Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach
1995	J	`jnl`	Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. Comput. J. Holger Hermanns, Michael Rettelbach, Thorsten Weiss
1994	C	`conf`	Stochastic process algebras: integrating qualitative and quantitative modelling. FORTE Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach