Holger Hermanns
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
122
Venues
45
Active years
1994–2026
Best venue rank
A*
Where they publish
- ATACAS15 papers
- A*CAV12 papers
- BCONCUR11 papers
- CFORTE9 papers
- CISoLA8 papers
- BATVA7 papers
- ADSN5 papers
- A*AAAI3 papers
- NationalSETTA3 papers
- BVMCAI3 papers
- BFM3 papers
- A*ICALP3 papers
- BIFM2 papers
- BSAFECOMP2 papers
- BGLOBECOM2 papers
- CMEMOCODE2 papers
- BLPAR2 papers
- Journal PublishedEMSOFT2 papers
- ADATE2 papers
- A*SIGCOMM1 paper
- CACML1 paper
- CVECoS1 paper
- BFASE1 paper
- A*KR1 paper
- ARE1 paper
- NationalISAIM1 paper
- BRV1 paper
- BCOMPSAC1 paper
- AESOP1 paper
- CFMICS1 paper
- CICFEM1 paper
- CINDIN1 paper
- BFOSSACS1 paper
- CLATA1 paper
- BGI1 paper
- A*POPL1 paper
- NationalWSC1 paper
- CWoWMoM1 paper
- BSEFM1 paper
- A*LICS1 paper
- CETFA1 paper
- CSSS1 paper
- BOPODIS1 paper
- Journal PublishedPERFORMANCE1 paper
- BSRDS1 paper
Papers
122 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Probabilistic Safety Verification of Neural Policies via Predicate Abstraction. | Marcel Vinzent, Holger Hermanns, Jrg Hoffmann |
| 2026 | AAAI | SL-CBM: Enhancing Concept Bottleneck Models with Semantic Locality for Better Interpretability. | Hanwei Zhang, Luo Cheng, Rui Wen, Yang Zhang, Lijun Zhang, Holger Hermanns |
| 2026 | CAV | Over-Approximation of Weakly-Hard Constraints for Control Systems Verification. | Rieke de Maeyer, Holger Hermanns, Martina Maggio |
| 2026 | SIGCOMM | Dark Clouds Rising in Low-Earth Orbit: On Environmental Limits to Massive Orbital AI. | Robin Ohs, Gregory F. Stock, Andreas Schmidt, Juan A. Fraire, Jrg Ott, Holger Hermanns |
| 2025 | FORTE | LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. | Melane Navaratnarajah, Ma'ayan Armony, Sebastian Biewer, Holger Hermanns, Mohammad Reza Mousavi |
| 2025 | IFM | Automata Learning - Expect Delays! | Gabriel Dengler, Sven Apel, Holger Hermanns |
| 2024 | ACML | Saliency Maps Give a False Sense of Explanability to Image Classifiers: An Empirical Evaluation across Methods and Metrics. | Hanwei Zhang, Felipe Torres Figueroa, Holger Hermanns |
| 2024 | ATVA | Configuration Monitor Synthesis. | Maximilian A. Khl, Clemens Dubslaff, Holger Hermanns |
| 2024 | ISoLA | Traceability and Accountability by Construction. | Julius Wenzel, Maximilian A. Khl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns |
| 2024 | SAFECOMP | Coyan: Fault Tree Analysis - Exact and Scalable. | Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio |
| 2024 | SETTA | Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. | Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang |
| 2024 | TACAS | OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. | Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Khl |
| 2024 | VECoS | AI Act for the Working Programmer. | Holger Hermanns, Anne Lauber-Rnsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang |
| 2022 | CAV | MoGym: Using Formal Models for Training and Verifying Decision-making Agents. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Verena Wolf |
| 2022 | FASE | On the Detection of Doped Software by Falsification. | Sebastian Biewer, Holger Hermanns |
| 2021 | CAV | Automated Safety Verification of Programs Invoking Neural Networks. | Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jrg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wstholz |
| 2021 | GLOBECOM | Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study. | Kai Vogelgesang, Juan A. Fraire, Holger Hermanns |
| 2021 | KR | Admissibility in Probabilistic Argumentation. | Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Kfer |
| 2021 | MEMOCODE | Controller verification meets controller code: a case study. | Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika brahm |
| 2021 | RE | Towards Perspicuity Requirements. | Sarah Sterz, Kevin Baum, Anne Lauber-Rnsberg, Holger Hermanns |
| 2021 | TACAS | RTLola on Board: Testing Real Driving Emissions on your Phone. | Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Khl, Yannik Schnitzer, Maximilian Schwenger |
| 2021 | TACAS | Momba: JANI Meets Python. | Maximilian A. Khl, Michaela Klauck, Holger Hermanns |
| 2020 | AAAI | Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. | Jrg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni |
| 2020 | CONCUR | CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). | Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva |
| 2020 | FORTE | Conformance-Based Doping Detection for Cyber-Physical Systems. | Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns |
| 2020 | FORTE | Deep Statistical Model Checking. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | ISoLA | Components in Probabilistic Systems: Suitable by Construction. | Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klppelholz, Maximilian A. Khl |
| 2020 | ISoLA | From Verification to Explanation (Track Introduction). | Christel Baier, Holger Hermanns |
| 2020 | ISoLA | Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. | Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Marcel Steinmetz, Christoph Weidenbach |
| 2019 | FORTE | Component-aware Input-Output Conformance. | Alexander Graf-Brill, Holger Hermanns |
| 2019 | VMCAI | Syntactic Partial Order Compression for Probabilistic Reachability. | Gereon Fox, Daniel Stan, Holger Hermanns |
| 2018 | ATVA | Continuous-Time Markov Decisions Based on Partial Exploration. | Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretnsk |
| 2018 | GLOBECOM | Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. | Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard |
| 2018 | ISAIM | From Machine Ethics To Machine Explainability and Back. | Kevin Baum, Holger Hermanns, Timo Speith |
| 2018 | LPAR | Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. | Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Khl |
| 2018 | RV | Efficient Monitoring of Real Driving Emissions. | Maximilian A. Khl, Holger Hermanns, Sebastian Biewer |
| 2017 | COMPSAC | Models of Connected Things: On Priced Probabilistic Timed Reo. | Kangli He, Holger Hermanns, Yixiang Chen |
| 2017 | ESOP | Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. | Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns |
| 2017 | FMICS | Model-Based Testing for Asynchronous Systems. | Alexander Graf-Brill, Holger Hermanns |
| 2017 | ICFEM | Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. | Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns |
| 2017 | INDIN | Modelling and certification for electric mobility. | Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose |
| 2017 | SETTA | Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. | Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni |
| 2017 | TACAS | Long-Run Rewards for Markov Automata. | Yuliya Butkova, Ralf Wimmer, Holger Hermanns |
| 2016 | EMSOFT | Flexible support for time and costs in scenario-aware dataflow. | Arnd Hartmanns, Holger Hermanns, Michael Bungert |
| 2016 | FM | Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. | Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcl, Gilles Nies, Marvin Stenger |
| 2016 | FOSSACS | Distributed Synthesis in Continuous Time. | Holger Hermanns, Jan Krcl, Steen Vester |
| 2016 | ISoLA | Facets of Software Doping. | Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns |
| 2016 | LATA | Compositional Bisimulation Minimization for Interval Markov Decision Processes. | Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski |
| 2016 | SAFECOMP | Effective Static and Dynamic Fault Tree Analysis. | Ola Bckstrm, Yuliya Butkova, Holger Hermanns, Jan Krcl, Pavel Krcl |
| 2016 | TACAS | Probabilistic CTL | Rayna Dimitrova, Luis Mara Ferrer Fioriti, Holger Hermanns, Rupak Majumdar |
| 2016 | VMCAI | Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. | Vahid Hashemi, Holger Hermanns, Lei Song |
| 2015 | ATVA | Optimal Continuous Time Markov Decisions. | Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcl |
| 2015 | ATVA | Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. | Arnd Hartmanns, Holger Hermanns |
| 2015 | FM | Probabilistic Bisimulation for Realistic Schedulers. | Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang |
| 2015 | GI | Energieinformatik im erdnahen Orbit. | Holger Hermanns |
| 2015 | POPL | Probabilistic Termination: Soundness, Completeness, and Compositionality. | Luis Mara Ferrer Fioriti, Holger Hermanns |
| 2015 | SETTA | Cost vs. Time in Stochastic Games and Markov Automata. | Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Mara Ferrer Fioriti, Holger Hermanns, Bernd Becker |
| 2015 | VMCAI | Abstraction-Based Computation of Reward Measures for Markov Automata. | Bettina Braitling, Luis Mara Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns |
| 2014 | CONCUR | Probabilistic Bisimulation: Naturally on Distributions. | Holger Hermanns, Jan Krcl, Jan Kretnsk |
| 2014 | FORTE | A Model-Based Certification Framework for the EnergyBus Standard. | Alexander Graf-Brill, Holger Hermanns, Hubert Garavel |
| 2014 | TACAS | The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. | Arnd Hartmanns, Holger Hermanns |
| 2013 | CONCUR | Compositional Verification and Optimization of Interactive Markov Chains. | Holger Hermanns, Jan Krcl, Jan Kretnsk |
| 2013 | CONCUR | Cost Preserving Bisimulations for Probabilistic Automata. | Holger Hermanns, Andrea Turrini |
| 2013 | TACAS | The Quest for Minimal Quotients for Probabilistic Automata. | Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang |
| 2012 | ATVA | Variable Probabilistic Abstraction Refinement. | Luis Mara Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter |
| 2012 | DATE | State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. | Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans |
| 2012 | ISoLA | Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. | Arnd Hartmanns, Holger Hermanns |
| 2012 | WSC | A comparative analysis of decentralized power grid stabilization strategies. | Arnd Hartmanns, Holger Hermanns, Pascal Berrang |
| 2012 | TACAS | Quantitative Models for a Not So Dumb Grid. | Holger Hermanns |
| 2011 | CAV | Model Checking Algorithms for CTMDPs. | Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
| 2011 | FORTE | Partial Order Methods for Statistical Model Checking and Simulation. | Jonathan Bogdoll, Luis Mara Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns |
| 2011 | ICALP | Automata-Based CSL Model Checking. | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
| 2011 | MEMOCODE | Reachability analysis for incomplete networks of Markov decision processes. | Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker |
| 2011 | WoWMoM | A verified wireless safety critical hard real-time design. | Hernan Baro Graf, Holger Hermanns, Juhi Kulshrestha, Jens Peter, Anjo Vahldiek, Aravind Vasudevan |
| 2011 | SEFM | Formal Methods in Energy Informatics. | Holger Hermanns |
| 2010 | CAV | PARAM: A Model Checker for Parametric Markov Models. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2010 | CAV | Safety Verification for Probabilistic Hybrid Systems. | Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn |
| 2010 | CONCUR | Concurrency and Composition in a Stochastic World. | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
| 2010 | EMSOFT | Quantitative system validation in model driven design. | Holger Hermanns, Kim Guldstrand Larsen, Jean-Franois Raskin, Jan Tretmans |
| 2010 | ISoLA | Ten Years of Performance Evaluation for Concurrent Systems Using CADP. | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frdric Lang, Radu Mateescu, Wendelin Serwe |
| 2010 | LICS | On Probabilistic Automata in Continuous Time. | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
| 2010 | LPAR | Superposition-Based Analysis of First-Order Probabilistic Timed Automata. | Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach |
| 2010 | TACAS | PASS: Abstraction Refinement for Infinite Probabilistic Models. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2009 | CAV | Towards Performance Prediction of Compositional Models in Industrial GALS Designs. | Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe |
| 2009 | CAV | INFAMY: An Infinite-State Markov Model Checker. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2009 | ETFA | Future Design Challenges for Electric Energy Supply. | Holger Hermanns, Holger Wiechmann |
| 2009 | SSS | Dependability Engineering of Silent Self-stabilizing Systems. | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker |
| 2008 | CAV | Probabilistic CEGAR. | Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2008 | CONCUR | On the Minimisation of Acyclic Models. | Pepijn Crouzen, Holger Hermanns, Lijun Zhang |
| 2008 | DATE | Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. | Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni |
| 2008 | FORTE | An Experimental Evaluation of Probabilistic Simulation. | Jonathan Bogdoll, Holger Hermanns, Lijun Zhang |
| 2007 | ATVA | Deciding Simulations on Probabilistic Automata. | Lijun Zhang, Holger Hermanns |
| 2007 | DSN | Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. | Holger Hermanns, Sven Johr |
| 2007 | OPODIS | Does Clock Precision Influence ZigBee's Energy Consumptions? | Christian Gro, Holger Hermanns, Reza Pulungan |
| 2007 | TACAS | motor: The modestTool Environment. | Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen |
| 2007 | TACAS | Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
| 2006 | ATVA | Sigref- A Symbolic Bisimulation Tool Box. | Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker |
| 2005 | FORTE | Logic and Model Checking for Hidden Markov Models. | Lijun Zhang, Holger Hermanns, David N. Jansen |
| 2004 | ISoLA | An industrial-strength formal method -- A Modest survey. | Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko |
| 2004 | TACAS | Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2003 | CONCUR | Comparative Branching-Time Semantics. | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
| 2003 | DSN | On Integrating the MBIUS and MODEST Modeling Tools. | Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders |
| 2003 | DSN | Cost-Optimization of the IPv4 Zeroconf Protocol. | Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager |
| 2003 | DSN | ETMCC: Model Checking Performability Properties of Markov Chains. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 2003 | TACAS | A Set of Performance and Dependability Analysis Components for CADP. | Holger Hermanns, Christophe Joubert |
| 2002 | CONCUR | Simulation for Continuous-Time Markov Chains. | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort |
| 2002 | DSN | Model Checking Performability Properties. | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier |
| 2002 | FM | On Combining Functional Verification and Performance Evaluation Using CADP. | Hubert Garavel, Holger Hermanns |
| 2002 | ICALP | Axiomatising Divergence. | Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns |
| 2002 | PERFORMANCE | Automated Performance and Dependability Evaluation Using Model Checking. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2001 | CONCUR | Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. | Holger Hermanns, Joost-Pieter Katoen |
| 2000 | CAV | Model Checking Continuous-Time Markov Chains by Transient Analysis. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | ICALP | On the Logical Characterisation of Performability Properties. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | IFM | Towards Model Checking Stochastic Process Algebra. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 2000 | SRDS | On the Use of Model Checking Techniques for Dependability Evaluation. | Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | TACAS | A Markov Chain Model Checker. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 1999 | CAV | TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. | Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle |
| 1999 | CONCUR | Approximate Symbolic Model Checking of Continuous-Time Markov Chains. | Christel Baier, Joost-Pieter Katoen, Holger Hermanns |
| 1998 | CONCUR | Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). | Holger Hermanns, Markus Lohrey |
| 1997 | CAV | Weak Bisimulation for Fully Probabilistic Processes. | Christel Baier, Holger Hermanns |
| 1996 | TACAS | A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. | Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach |
| 1994 | FORTE | Stochastic process algebras: integrating qualitative and quantitative modelling. | Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach |