Holger Hermanns

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 123

Top Venues

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

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 (2024)
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 (2024)
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)
Gregory Stock, Juan A. Fraire, Santiago Henn, Holger Hermanns, Andreas Schmidt
A Stability-First Approach to Running TCP Over Starlink. ICC Workshops (2024)
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)
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) (2023)
Santiago Henn, Juan A. Fraire, Holger Hermanns
Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing. IEEE Trans. Aerosp. Electron. Syst. 59 (5) (2023)
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 (2023)
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) (2023)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
On the Foundations of Cycles in Bayesian Networks. CoRR (2023)
Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt
Matching Distributions Under Structural Constraints. QEST (2023)
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) (2023)
Gregory Stock, Juan A. Fraire, Holger Hermanns
Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study. CoRR (2022)
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)
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 (2022)
Gregory Stock, Juan A. Fraire, Holger Hermanns
Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study. ASMS/SPSC (2022)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design (2022)
Holger Hermanns, Gilles Nies
Quantification of Battery Depletion Risk Made Efficient. NFM (2022)
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)
Sebastian Biewer, Holger Hermanns
On the Detection of Doped Software by Falsification. FASE (2022)
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022)
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)
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)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Doping Tests for Cyber-physical Systems. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
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 (2021)
Michaela Klauck, Holger Hermanns
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. QEST (2021)
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 (2021)
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation. KR (2021)
Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám
Controller verification meets controller code: a case study. MEMOCODE (2021)
Kai Vogelgesang, Juan A. Fraire, Holger Hermanns
Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study. GLOBECOM (2021)
Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
A Modest Approach to Markov Automata. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Maximilian A. Köhl, Michaela Klauck, Holger Hermanns
Momba: JANI Meets Python. TACAS (2) (2021)
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 (2021)
Sarah Sterz, Kevin Baum, Anne Lauber-Rönsberg, Holger Hermanns
Towards Perspicuity Requirements. RE Workshops (2021)
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) (2021)
Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE (2020)
Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14 (3) (2020)
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 (2020)
Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR (2020)
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) (2020)
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) (2020)
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)
Christel Baier, Holger Hermanns
From Verification to Explanation (Track Introduction). ISoLA (4) (2020)
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 (2020)
Christel Baier, Pedro R. D'Argenio, Holger Hermanns
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57 (3-5) (2020)
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)
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)
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)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Deep Statistical Model Checking. FORTE (2020)
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)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Doping Tests for Cyber-Physical Systems. QEST (2019)
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) (2019)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Doping Tests for Cyber-Physical Systems. CoRR (2019)
Arnd Hartmanns, Holger Hermanns
A Modest Markov Automata Tutorial. Reasoning Web (2019)
Felix Freiberger, Holger Hermanns
Concurrent Programming from pseuCo to Petri. Petri Nets (2019)
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) (2019)
Alexander Graf-Brill, Holger Hermanns
Component-aware Input-Output Conformance. FORTE (2019)
Gereon Fox, Daniel Stan, Holger Hermanns
Syntactic Partial Order Compression for Probabilistic Reachability. VMCAI (2019)
Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
A Modest Approach to Modelling and Checking Markov Automata. QEST (2019)
Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
The quest for minimal quotients for probabilistic and Markov automata. Inf. Comput. 262 (2018)
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
Continuous-Time Markov Decisions based on Partial Exploration. CoRR (2018)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Cyber-Physical Doping Tests. MT@CPSWeek (2018)
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) (2018)
Kevin Baum, Holger Hermanns, Timo Speith
Towards a Framework Combining Machine Ethics and Machine Explainability. CREST@ETAPS (2018)
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Markov Automata on Discount! MMB (2018)
Kevin Baum, Holger Hermanns, Timo Speith
From Machine Ethics To Machine Explainability and Back. ISAIM (2018)
Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
Efficient Monitoring of Real Driving Emissions. RV (2018)
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
Facets of Software Doping. CoRR (2018)
Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR (2018)
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
Continuous-Time Markov Decisions Based on Partial Exploration. ATVA (2018)
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)
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS (2018)
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS (2017)
Alexander Graf-Brill, Holger Hermanns
Model-Based Testing for Asynchronous Systems. FMICS-AVoCS (2017)
Holger Hermanns, Jan Krcál, Gilles Nies
How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty. Leibniz Trans. Embed. Syst. 4 (1) (2017)
Kangli He, Holger Hermanns, Yixiang Chen
Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) (2017)
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR (2017)
Holger Hermanns
From Lotosphere to Thermosphere. ModelEd, TestEd, TrustEd (2017)
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) (2017)
Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA (2017)
Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose
Modelling and certification for electric mobility. INDIN (2017)
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Long-Run Rewards for Markov Automata. TACAS (2) (2017)
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR (2017)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR (2017)
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)
Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
Teaching Academic Concurrency to Amazing Students. Models, Algorithms, Logics and Tools (2017)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST (2017)
Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM (2017)
Vahid Hashemi, Holger Hermanns, Lei Song
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. VMCAI (2016)
Vahid Hashemi, Holger Hermanns, Andrea Turrini
Compositional Reasoning for Interval Markov Decision Processes. CoRR (2016)
Arnd Hartmanns, Holger Hermanns, Michael Bungert
Flexible support for time and costs in scenario-aware dataflow. EMSOFT (2016)
Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. 28 (1) (2016)
Arnd Hartmanns, Holger Hermanns, Jan Krcál
Schedulers are no Prophets. Semantics, Logics, and Calculi (2016)
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
Facets of Software Doping. ISoLA (2) (2016)
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini
PTRebeca: Modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128 (2016)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST (2016)
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)
Holger Hermanns, Jan Krcál, Steen Vester
Distributed Synthesis in Continuous Time. CoRR (2016)
Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
: The Deductive Way. TACAS (2016)
Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga
The Value of Attack-Defence Diagrams. POST (2016)

Holger Hermanns.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Holger Hermanns