Stochastic process algebras: integrating qualitative and quantitative modelling. - Jane Hillston; Holger Hermanns; Ulrich Herzog; Vassilis Mertsiotakis; Michael Rettelbach (FORTE, 1994)

Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. - Holger Hermanns; Michael Rettelbach; Thorsten Weiss (Comput. J., 1995)

A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. - Holger Hermanns; Vassilis Mertsiotakis; Michael Rettelbach (TACAS, 1996)

Weak Bisimulation for Fully Probabilistic Processes. - Christel Baier; Holger Hermanns (FBT, 1997)

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. - Holger Hermanns; Ulrich Herzog; Vassilis Mertsiotakis; Michael Rettelbach (PNPM, 1997)

Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). - Holger Hermanns; Markus Lohrey (CONCUR, 1998)

Exploiting Symmetries in Stochastic Process Algebras. - Holger Hermanns; Marina Ribaudo (ESM, 1998)

Stochastic Process Algebras - Between LOTOS and Markov Chains. - Holger Hermanns; Ulrich Herzog; Vassilis Mertsiotakis (Comput. Networks, 1998)

On Generative Parallel Composition. - Pedro R. D'Argenio; Holger Hermanns; Joost-Pieter Katoen (PROBMIV, 1998)

Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. - Holger Hermanns; Markus Siegle (ARTS, 1999)

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. - Holger Hermanns; Vassilis Mertsiotakis; Markus Siegle (CAV, 1999)

Approximate Symbolic Model Checking of Continuous-Time Markov Chains. - Christel Baier; Joost-Pieter Katoen; Holger Hermanns (CONCUR, 1999)

Symbolic Minimisation of Stochastic Process Algebra Models. - Holger Hermanns; Markus Siegle (FBT, 1999)

Interactive Markov chains = Interaktive Markovketten. - Holger Hermanns (IMMD, 1999)

Model Checking Continuous-Time Markov Chains by Transient Analysis. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (CAV, 2000)

Process Algebra and Markov Chains. - Ed Brinksma; Holger Hermanns (European Educational Forum: School on Formal Methods and Performance Analysis, 2000)

On the Logical Characterisation of Performability Properties. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (ICALP, 2000)

Towards Model Checking Stochastic Process Algebra. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (IFM, 2000)

On the Use of Model Checking Techniques for Dependability Evaluation. - Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (SRDS, 2000)

A Markov Chain Model Checker. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (TACAS, 2000)

Compositional performance modelling with the TIPPtool. - Holger Hermanns; Ulrich Herzog; Ulrich Klehmet; Vassilis Mertsiotakis; Markus Siegle (Perform. Evaluation, 2000)

Automated compositional Markov chain generation for a plain-old telephone system. - Holger Hermanns; Joost-Pieter Katoen (Sci. Comput. Program., 2000)

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. - Holger Hermanns; Joost-Pieter Katoen (CONCUR, 2001)

MoDeST - A Modelling and Description Language for Stochastic Timed Systems. - Pedro R. D'Argenio; Holger Hermanns; Joost-Pieter Katoen; Ric Klaren (PAPM-PROBMIV, 2001)

Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. - Gabriel G. Infante López; Holger Hermanns; Joost-Pieter Katoen (PAPM-PROBMIV, 2001)

Construction and Verification of Performance and Reliability Models. - Holger Hermanns (Bull. EATCS, 2001)

Interactive Markov Chains: The Quest for Quantified Quality - Holger Hermanns (Springer, 2002)

Simulation for Continuous-Time Markov Chains. - Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Boudewijn R. Haverkort (CONCUR, 2002)

Model Checking Performability Properties. - Boudewijn R. Haverkort; Lucia Cloth; Holger Hermanns; Joost-Pieter Katoen; Christel Baier (DSN, 2002)

On Combining Functional Verification and Performance Evaluation Using CADP. - Hubert Garavel; Holger Hermanns (FME, 2002)

A Probabilistic Extension of UML Statecharts. - David N. Jansen; Holger Hermanns; Joost-Pieter Katoen (FTRTFT, 2002)

Automated Performance and Dependability Evaluation Using Model Checking. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Performance, 2002)

Guest editors' introduction: Model checking in a nutshell. - Holger Hermanns; Joost-Pieter Katoen (J. Log. Algebraic Methods Program., 2002)

Process algebra for performance evaluation. - Holger Hermanns; Ulrich Herzog; Joost-Pieter Katoen (Theor. Comput. Sci., 2002)

Comparative Branching-Time Semantics. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen; Verena Wolf (CONCUR, 2003)

The Modest Modeling Tool and Its Implementation. - Henrik C. Bohnenkamp; Holger Hermanns; Joost-Pieter Katoen; Ric Klaren (Computer Performance Evaluation / TOOLS, 2003)

On Integrating the MÖBIUS 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 (DSN, 2003)

Cost-Optimization of the IPv4 Zeroconf Protocol. - Henrik C. Bohnenkamp; Peter van der Stok; Holger Hermanns; Frits W. Vaandrager (DSN, 2003)

ETMCC: Model Checking Performability Properties of Markov Chains. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (DSN, 2003)

Discrete-Time Rewards Model-Checked. - Suzana Andova; Holger Hermanns; Joost-Pieter Katoen (FORMATS, 2003)

A Set of Performance and Dependability Analysis Components for CADP. - Holger Hermanns; Christophe Joubert (TACAS, 2003)

A QoS-Oriented Extension of UML Statecharts. - David N. Jansen; Holger Hermanns; Joost-Pieter Katoen (UML, 2003)

Optimal state-space lumping in Markov chains. - Salem Derisavi; Holger Hermanns; William H. Sanders (Inf. Process. Lett., 2003)

On the use of MTBDDs for performability analysis and verification of stochastic systems. - Holger Hermanns; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Markus Siegle (J. Log. Algebraic Methods Program., 2003)

A tool for model-checking Markov chains. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (Int. J. Softw. Tools Technol. Transf., 2003)

Model-Checking Algorithms for Continuous-Time Markov Chains. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (IEEE Trans. Software Eng., 2003)

An industrial-strength formal method – A Modest survey. - Henrik C. Bohnenkamp; Holger Hermanns; David N. Jansen; Joost-Pieter Katoen; Yaroslav S. Usenko (ISoLA (Preliminary proceedings), 2004)

Synthesis and Stochastic Assessment of Schedules for Lacquer Production. - Henrik C. Bohnenkamp; Holger Hermanns; Ric Klaren; Angelika Mader; Yaroslav S. Usenko (QEST, 2004)

Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? - David N. Jansen; Holger Hermanns (QEST, 2004)

Embedded Software Analysis with MOTOR. - Joost-Pieter Katoen; Henrik C. Bohnenkamp; Ric Klaren; Holger Hermanns (SFM, 2004)

Probabilistic weak simulation is decidable in polynomial time. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen (Inf. Process. Lett., 2004)

Counterexamples for Timed Probabilistic Reachability. - Husain Aljazzar; Holger Hermanns; Stefan Leue (FORMATS, 2005)

Logic and Model Checking for Hidden Markov Models. - Lijun Zhang 001; Holger Hermanns; David N. Jansen (FORTE, 2005)

From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. - Holger Hermanns; David N. Jansen; Yaroslav S. Usenko (WOSP, 2005)

Bisimulation and Simulation Relations for Markov Chains. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen; Verena Wolf (APC 25, 2005)

YMCA: - Why Markov Chain Algebra? - . - Mario Bravetti; Holger Hermanns; Joost-Pieter Katoen (APC 25, 2005)

Comparative branching-time semantics for Markov chains. - Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Verena Wolf (Inf. Comput., 2005)

Axiomatising divergence. - Markus Lohrey; Pedro R. D'Argenio; Holger Hermanns (Inf. Comput., 2005)

Model checking meets performance evaluation. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (SIGMETRICS Perform. Evaluation Rev., 2005)

QoS modelling and analysis with UML-statecharts: the StoCharts approach. - David N. Jansen; Holger Hermanns (SIGMETRICS Perform. Evaluation Rev., 2005)

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen; Boudewijn R. Haverkort (Theor. Comput. Sci., 2005)

Functional Abstractions of stochastic Hybrid Systems. - Manuela-Luminita Bujorianu; Henk A. P. Blom; Holger Hermanns (ADHS, 2006)

Sigref- A Symbolic Bisimulation Tool Box. - Ralf Wimmer 001; Marc Herbstritt; Holger Hermanns; Kelley Strampp; Bernd Becker 001 (ATVA, 2006)

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. - 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 (Simulation and Verification of Dynamic Systems, 2006)

Compositional Performability Evaluation for STATEMATE. - Eckard Böde; Marc Herbstritt; Holger Hermanns; Sven Johr; Thomas Peikenkamp; Reza Pulungan; Ralf Wimmer 001; Bernd Becker 001 (QEST, 2006)

MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. - Henrik C. Bohnenkamp; Pedro R. D'Argenio; Holger Hermanns; Joost-Pieter Katoen (IEEE Trans. Software Eng., 2006)

Deciding Simulations on Probabilistic Automata. - Lijun Zhang 001; Holger Hermanns (ATVA, 2007)

Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. - Holger Hermanns; Sven Johr (DSN, 2007)

Does Clock Precision Influence ZigBee's Energy Consumptions? - Christian Groß 007; Holger Hermanns; Reza Pulungan (OPODIS, 2007)

Probabilistic Model Checking Modulo Theories. - Björn Wachter; Lijun Zhang 001; Holger Hermanns (QEST, 2007)

motor: The modestTool Environment. - Henrik C. Bohnenkamp; Holger Hermanns; Joost-Pieter Katoen (TACAS, 2007)

Effective Minimization of Acyclic Phase-Type Representations. - Reza Pulungan; Holger Hermanns (ASMTA, 2008)

Reachability in continuous-time Markov reward decision processes. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Logic and Automata, 2008)

Probabilistic CEGAR. - Holger Hermanns; Björn Wachter; Lijun Zhang 001 (CAV, 2008)

On the Minimisation of Acyclic Models. - Pepijn Crouzen; Holger Hermanns; Lijun Zhang 001 (CONCUR, 2008)

Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. - Nicolas Coste; Hubert Garavel; Holger Hermanns; Richard Hersemeule; Yvain Thonnart; Meriem Zidouni (DATE, 2008)

An Experimental Evaluation of Probabilistic Simulation. - Jonathan Bogdoll; Holger Hermanns; Lijun Zhang 001 (FORTE, 2008)

Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. - Martin Fränzle; Holger Hermanns; Tino Teige (HSCC, 2008)

May we reach it? Or must we? In what time? With what probability? - Holger Hermanns; Sven Johr (MMB, 2008)

The Minimal Representation of the Maximum of Erlang Distributions. - Reza Pulungan; Holger Hermanns (MMB, 2008)

Symbolic Partition Refinement with Dynamic Balancing of Time and Space. - Ralf Wimmer 001; Salem Derisavi; Holger Hermanns (QEST, 2008)

Special issue: CONCUR 2006. - Christel Baier; Holger Hermanns (Inf. Comput., 2008)

Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. - Lijun Zhang 001; Holger Hermanns; Friedrich Eisenbrand; David N. Jansen (Log. Methods Comput. Sci., 2008)

Improving the effectiveness of system verification. - Holger Hermanns; Jens Palsberg (Int. J. Softw. Tools Technol. Transf., 2008)

Teaching Concurrency Concepts to Freshmen. - Christian Eisentraut; Holger Hermanns (Trans. Petri Nets Other Model. Concurr., 2008)

Towards Performance Prediction of Compositional Models in Industrial GALS Designs. - Nicolas Coste; Holger Hermanns; Etienne Lantreibecq; Wendelin Serwe (CAV, 2009)

INFAMY: An Infinite-State Markov Model Checker. - Ernst Moritz Hahn; Holger Hermanns; Björn Wachter; Lijun Zhang 001 (CAV, 2009)

Future Design Challenges for Electric Energy Supply. - Holger Hermanns; Holger Wiechmann (ETFA, 2009)

The How and Why of Interactive Markov Chains. - Holger Hermanns; Joost-Pieter Katoen (FMCO, 2009)

FlowSim Simulation Benchmarking Platform. - Jonathan Bogdoll; Holger Hermanns; Lijun Zhang 001 (QEST, 2009)

A Modest Approach to Checking Probabilistic Timed Automata. - Arnd Hartmanns; Holger Hermanns (QEST, 2009)

Acyclic Minimality by Construction—Almost. - Reza Pulungan; Holger Hermanns (QEST, 2009)

Dependability Engineering of Silent Self-stabilizing Systems. - Abhishek Dhama; Oliver E. Theel; Pepijn Crouzen; Holger Hermanns; Ralf Wimmer 001; Bernd Becker 001 (SSS, 2009)

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. - Ernst Moritz Hahn; Holger Hermanns; Björn Wachter; Lijun Zhang 001 (Fundam. Informaticae, 2009)

Compositional Dependability Evaluation for STATEMATE. - Eckard Böde; Marc Herbstritt; Holger Hermanns; Sven Johr; Thomas Peikenkamp; Reza Pulungan; Jan-Hendrik Rakow; Ralf Wimmer 001; Bernd Becker 001 (IEEE Trans. Software Eng., 2009)

Aggregation Ordering for Massively Compositional Models. - Pepijn Crouzen; Holger Hermanns (ACSD, 2010)

PARAM: A Model Checker for Parametric Markov Models. - Ernst Moritz Hahn; Holger Hermanns; Björn Wachter; Lijun Zhang 001 (CAV, 2010)

Concurrency and Composition in a Stochastic World. - Christian Eisentraut; Holger Hermanns; Lijun Zhang 001 (CONCUR, 2010)

10271 Abstracts Collection - Verification over discrete-continuous boundaries. - Bernd Becker 001; Luca Cardelli; Holger Hermanns; Sofiène Tahar (Verification over discrete-continuous boundaries, 2010)

Quantitative system validation in model driven design. - Holger Hermanns; Kim Guldstrand Larsen; Jean-François Raskin; Jan Tretmans (EMSOFT, 2010)

Ten Years of Performance Evaluation for Concurrent Systems Using CADP. - Nicolas Coste; Hubert Garavel; Holger Hermanns; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (ISoLA (2), 2010)

On Probabilistic Automata in Continuous Time. - Christian Eisentraut; Holger Hermanns; Lijun Zhang 001 (LICS, 2010)

Superposition-Based Analysis of First-Order Probabilistic Timed Automata. - Arnaud Fietzke; Holger Hermanns; Christoph Weidenbach (LPAR (Yogyakarta), 2010)

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. - Ralf Wimmer 001; Bettina Braitling; Bernd Becker 001; Ernst Moritz Hahn; Pepijn Crouzen; Holger Hermanns; Abhishek Dhama; Oliver E. Theel (QEST, 2010)

PASS: Abstraction Refinement for Infinite Probabilistic Models. - Ernst Moritz Hahn; Holger Hermanns; Björn Wachter; Lijun Zhang 001 (TACAS, 2010)

Performance evaluation and model checking join forces. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Commun. ACM, 2010)

Performability assessment by model checking of Markov reward models. - Christel Baier; Lucia Cloth; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Formal Methods Syst. Des., 2010)

Symbolic partition refinement with automatic balancing of time and space. - Ralf Wimmer 001; Salem Derisavi; Holger Hermanns (Perform. Evaluation, 2010)

Synthesis and stochastic assessment of cost-optimal schedules. - Angelika Mader; Henrik C. Bohnenkamp; Yaroslav S. Usenko; David N. Jansen; Johann L. Hurink; Holger Hermanns (Int. J. Softw. Tools Technol. Transf., 2010)

Bounded Fairness for Probabilistic Distributed Algorithms. - Pepijn Crouzen; Ernst Moritz Hahn; Holger Hermanns; Abhishek Dhama; Oliver E. Theel; Ralf Wimmer 001; Bettina Braitling; Bernd Becker 001 (ACSD, 2011)

Model Checking Algorithms for CTMDPs. - Peter Buchholz 001; Ernst Moritz Hahn; Holger Hermanns; Lijun Zhang 001 (CAV, 2011)

Partial Order Methods for Statistical Model Checking and Simulation. - Jonathan Bogdoll; Luis María Ferrer Fioriti; Arnd Hartmanns; Holger Hermanns (FMOODS/FORTE, 2011)

Measurability and safety verification for stochastic hybrid systems. - Martin Fränzle; Ernst Moritz Hahn; Holger Hermanns; Nicolás Wolovick; Lijun Zhang 001 (HSCC, 2011)

Reachability analysis for incomplete networks of Markov decision processes. - Ralf Wimmer 001; Ernst Moritz Hahn; Holger Hermanns; Bernd Becker 001 (MEMOCODE, 2011)

Formal Methods in Energy Informatics. - Holger Hermanns (SEFM, 2011)

A verified wireless safety critical hard real-time design. - Hernan Baro Graf; Holger Hermanns; Juhi Kulshrestha; Jens Peter; Anjo Vahldiek; Aravind Vasudevan (WOWMOM, 2011)

Automata-Based CSL Model Checking - Lijun Zhang 001; David N. Jansen; Flemming Nielson; Holger Hermanns (Log. Methods Comput. Sci., 2011)

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). - Hans-Juergen Boehm; Ursula Goltz; Holger Hermanns; Peter Sewell (Dagstuhl Reports, 2011)

Probabilistic Logical Characterization. - Holger Hermanns; Augusto Parma; Roberto Segala; Björn Wachter; Lijun Zhang 001 (Inf. Comput., 2011)

Bounding the equilibrium distribution of Markov population models. - Tugrul Dayar; Holger Hermanns; David Spieler; Verena Wolf (Numer. Linear Algebra Appl., 2011)

The ins and outs of the probabilistic model checker MRMC. - Joost-Pieter Katoen; Ivan S. Zapreev; Ernst Moritz Hahn; Holger Hermanns; David N. Jansen (Perform. Evaluation, 2011)

Probabilistic reachability for parametric Markov models. - Ernst Moritz Hahn; Holger Hermanns; Lijun Zhang 001 (Int. J. Softw. Tools Technol. Transf., 2011)

From Concurrency Models to Numbers - Performance and Dependability. - Holger Hermanns; Lijun Zhang 001 (Software and Systems Safety - Specification and Verification, 2011)

Modeling of Networked Automation Systems for simulation and model checking of time behavior. - Birgit Vogel-Heuser; Jens Folmer; Georg Frey; Liu Liu 019; Holger Hermanns; Arnd Hartmanns (SSD, 2012)

Variable Probabilistic Abstraction Refinement. - Luis María Ferrer Fioriti; Ernst Moritz Hahn; Holger Hermanns; Björn Wachter (ATVA, 2012)

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 (DATE, 2012)

Verification of Open Interactive Markov Chains. - Tomás Brázdil; Holger Hermanns; Jan Krcál; Jan Kretínský; Vojtech Rehák (FSTTCS, 2012)

Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time. - Holger Hermanns; Andrea Turrini (FSTTCS, 2012)

Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. - Arnd Hartmanns; Holger Hermanns (ISoLA (1), 2012)

Simulation and Statistical Model Checking for Modestly Nondeterministic Models. - Jonathan Bogdoll; Arnd Hartmanns; Holger Hermanns (MMB/DFT, 2012)

Heuristics for Probabilistic Timed Automata with Abstraction Refinement. - Luis María Ferrer Fioriti; Holger Hermanns (MMB/DFT, 2012)

mctau: Bridging the Gap between Modest and UPPAAL. - Jonathan Bogdoll; Alexandre David; Arnd Hartmanns; Holger Hermanns (SPIN, 2012)

Quantitative Models for a Not So Dumb Grid. - Holger Hermanns (TACAS, 2012)

A comparative analysis of decentralized power grid stabilization strategies. - Arnd Hartmanns; Holger Hermanns; Pascal Berrang (WSC, 2012)

Transient Reward Approximation for Grids, Crowds, and Viruses - Ernst Moritz Hahn; Holger Hermanns; Ralf Wimmer 001; Bernd Becker 001 (CoRR, 2012)

Model Checking Algorithms for Markov Automata. - Hassan Hatefi; Holger Hermanns (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Safety Verification for Probabilistic Hybrid Systems. - Lijun Zhang 001; Zhikun She; Stefan Ratschan; Holger Hermanns; Ernst Moritz Hahn (Eur. J. Control, 2012)

A Semantics for Every GSPN. - Christian Eisentraut; Holger Hermanns; Joost-Pieter Katoen; Lijun Zhang 001 (Petri Nets, 2013)

Compositional Verification and Optimization of Interactive Markov Chains. - Holger Hermanns; Jan Krcál; Jan Kretínský (CONCUR, 2013)

Rewarding probabilistic hybrid automata. - Ernst Moritz Hahn; Holger Hermanns (HSCC, 2013)

Deciding Bisimilarities on Distributions. - Christian Eisentraut; Holger Hermanns; Julia Krämer; Andrea Turrini; Lijun Zhang 001 (QEST, 2013)

Modelling, Reduction and Analysis of Markov Automata. - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (QEST, 2013)

The Quest for Minimal Quotients for Probabilistic Automata. - Christian Eisentraut; Holger Hermanns; Johann Schuster; Andrea Turrini; Lijun Zhang 001 (TACAS, 2013)

Modelling, Reduction and Analysis of Markov Automata (extended version) - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (CoRR, 2013)

On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. - Vahid Hashemi; Holger Hermanns; Andrea Turrini (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A compositional modelling and analysis framework for stochastic hybrid systems. - Ernst Moritz Hahn; Arnd Hartmanns; Holger Hermanns; Joost-Pieter Katoen (Formal Methods Syst. Des., 2013)

An Internet Inspired Approach to Power Grid Stability. - Holger Hermanns; Arnd Hartmanns (it Inf. Technol., 2013)

Model checking for performability. - Christel Baier; Ernst Moritz Hahn; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Math. Struct. Comput. Sci., 2013)

Probabilistic Bisimulation: Naturally on Distributions. - Holger Hermanns; Jan Krcál; Jan Kretínský (CONCUR, 2014)

A Model-Based Certification Framework for the EnergyBus Standard. - Alexander Graf-Brill; Holger Hermanns; Hubert Garavel (FORTE, 2014)

Time-Dependent Analysis of Attacks. - Florian Arnold; Holger Hermanns; Reza Pulungan; Mariëlle Stoelinga (POST, 2014)

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. - Arnd Hartmanns; Holger Hermanns (TACAS, 2014)

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. - Bettina Braitling; Luis María Ferrer Fioriti; Hassan Hatefi; Ralf Wimmer 001; Bernd Becker 001; Holger Hermanns (QAPL, 2014)

Analysis of Timed and Long-Run Objectives for Markov Automata. - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (Log. Methods Comput. Sci., 2014)

Cost Preserving Bisimulations for Probabilistic Automata. - Andrea Turrini; Holger Hermanns (Log. Methods Comput. Sci., 2014)

Reachability and Reward Checking for Stochastic Timed Automata. - Ernst Moritz Hahn; Arnd Hartmanns; Holger Hermanns (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. - Ali Jafari; Ehsan Khamespanah; Marjan Sirjani; Holger Hermanns (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Special Issue on "Quantitative Evaluation of SysTems" (QEST 2012). - Giuliano Casale; Ludmila Cherkasova; Holger Hermanns (Perform. Evaluation, 2014)

Incremental Bisimulation Abstraction Refinement. - Lei Song 001; Lijun Zhang 001; Holger Hermanns; Jens Chr. Godskesen (ACM Trans. Embed. Comput. Syst., 2014)

Optimal Continuous Time Markov Decisions. - Yuliya Butkova; Hassan Hatefi; Holger Hermanns; Jan Krcál (ATVA, 2015)

Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. - Arnd Hartmanns; Holger Hermanns (ATVA, 2015)

Recharging Probably Keeps Batteries Alive. - Holger Hermanns; Jan Krcál; Gilles Nies (CyPhy, 2015)

Rare Event Simulation with Fully Automated Importance Splitting. - Carlos E. Budde; Pedro R. D'Argenio; Holger Hermanns (EPEW, 2015)

Probabilistic Bisimulation for Realistic Schedulers. - Christian Eisentraut; Jens Chr. Godskesen; Holger Hermanns; Lei Song 001; Lijun Zhang 001 (FM, 2015)

Energieinformatik im erdnahen Orbit. - Holger Hermanns (GI-Jahrestagung, 2015)

Probabilistic Termination: Soundness, Completeness, and Compositionality. - Luis María Ferrer Fioriti; Holger Hermanns (POPL, 2015)

A Compression App for Continuous Probability Distributions. - Michael Bungert; Holger Hermanns; Reza Pulungan (QEST, 2015)

Abstraction-Based Computation of Reward Measures for Markov Automata. - Bettina Braitling; Luis María Ferrer Fioriti; Hassan Hatefi; Ralf Wimmer 001; Bernd Becker 001; Holger Hermanns (VMCAI, 2015)

On the Control of Self-Balancing Unicycles. - Felix Freiberger; Holger Hermanns (MARS, 2015)

Polynomial time decision algorithms for probabilistic automata. - Andrea Turrini; Holger Hermanns (Inf. Comput., 2015)

In the quantitative automata zoo. - Arnd Hartmanns; Holger Hermanns (Sci. Comput. Program., 2015)

Improving time bounded reachability computations in interactive Markov chains. - Hassan Hatefi; Holger Hermanns (Sci. Comput. Program., 2015)

A construction and minimization service for continuous probability distributions. - Reza Pulungan; Holger Hermanns (Int. J. Softw. Tools Technol. Transf., 2015)

Transient Reward Approximation for Continuous-Time Markov Chains. - Ernst Moritz Hahn; Holger Hermanns; Ralf Wimmer 001; Bernd Becker 001 (IEEE Trans. Reliab., 2015)

Schedulers are no Prophets. - Arnd Hartmanns; Holger Hermanns; Jan Krcál (Semantics, Logics, and Calculi, 2016)

Flexible support for time and costs in scenario-aware dataflow. - Arnd Hartmanns; Holger Hermanns; Michael Bungert (EMSOFT, 2016)

Distributed Synthesis in Continuous Time. - Holger Hermanns; Jan Krcál; Steen Vester (FoSSaCS, 2016)

My O Is Bigger Than Yours (Invited Talk). - Holger Hermanns (FSTTCS, 2016)

Facets of Software Doping. - Gilles Barthe; Pedro R. D'Argenio; Bernd Finkbeiner; Holger Hermanns (ISoLA (2), 2016)

Compositional Bisimulation Minimization for Interval Markov Decision Processes. - Vahid Hashemi; Holger Hermanns; Lei Song 001; K. Subramani 001; Andrea Turrini; Piotr Wojciechowski 002 (LATA, 2016)

The Value of Attack-Defence Diagrams. - Holger Hermanns; Julia Krämer; Jan Krcál; Mariëlle Stoelinga (POST, 2016)

Exploiting Robust Optimization for Interval Probabilistic Bisimulation. - Ernst Moritz Hahn; Vahid Hashemi; Holger Hermanns; Andrea Turrini (QEST, 2016)

Effective Static and Dynamic Fault Tree Analysis. - Ola Bäckström; Yuliya Butkova; Holger Hermanns; Jan Krcál; Pavel Krcál (SAFECOMP, 2016)

Probabilistic CTL*: The Deductive Way. - Rayna Dimitrova; Luis María Ferrer Fioriti; Holger Hermanns; Rupak Majumdar (TACAS, 2016)

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. - Vahid Hashemi; Holger Hermanns; Lei Song 001 (VMCAI, 2016)

Compositional Reasoning for Interval Markov Decision Processes. - Vahid Hashemi; Holger Hermanns; Andrea Turrini (CoRR, 2016)

Deciding probabilistic automata weak bisimulation: theory and practice. - Luis María Ferrer Fioriti; Vahid Hashemi; Holger Hermanns; Andrea Turrini (Formal Aspects Comput., 2016)

PTRebeca: Modeling and analysis of distributed and asynchronous systems. - Ali Jafari; Ehsan Khamespanah; Marjan Sirjani; Holger Hermanns; Matteo Cimini (Sci. Comput. Program., 2016)

Teaching Academic Concurrency to Amazing Students. - Sebastian Biewer; Felix Freiberger; Pascal Leo Held; Holger Hermanns (Models, Algorithms, Logics and Tools, 2017)

From Lotosphere to Thermosphere. - Holger Hermanns (ModelEd, TestEd, TrustEd, 2017)

Models of Connected Things: On Priced Probabilistic Timed Reo. - Kangli He; Holger Hermanns; Yixiang Chen 001 (COMPSAC (1), 2017)

Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. - Pedro R. D'Argenio; Gilles Barthe; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns (ESOP, 2017)

Model-Based Testing for Asynchronous Systems. - Alexander Graf-Brill; Holger Hermanns (FMICS-AVoCS, 2017)

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. - Zhengkui Zhang; Brian Nielsen; Kim Guldstrand Larsen; Gilles Nies; Marvin Stenger; Holger Hermanns (ICFEM, 2017)

Modelling and certification for electric mobility. - Alexander Graf-Brill; Arnd Hartmanns; Holger Hermanns; Steffen Rose (INDIN, 2017)

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. - Ernst Moritz Hahn; Vahid Hashemi; Holger Hermanns; Morteza Lahijanian; Andrea Turrini (QEST, 2017)

Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. - Vahid Hashemi; Andrea Turrini; Ernst Moritz Hahn; Holger Hermanns; Khaled M. Elbassioni (SETTA, 2017)

Long-Run Rewards for Markov Automata. - Yuliya Butkova; Ralf Wimmer 001; Holger Hermanns (TACAS (2), 2017)

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. - Dimitri Scheftelowitsch; Peter Buchholz 001; Vahid Hashemi; Holger Hermanns (VALUETOOLS, 2017)

Cost vs. time in stochastic games and Markov automata. - Hassan Hatefi; Ralf Wimmer 001; Bettina Braitling; Luis María Ferrer Fioriti; Bernd Becker 001; Holger Hermanns (Formal Aspects Comput., 2017)

How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty. - Holger Hermanns; Jan Krcál; Gilles Nies (Leibniz Trans. Embed. Syst., 2017)

Compiling Probabilistic Model Checking into Probabilistic Planning. - Michaela Klauck; Marcel Steinmetz; Jörg Hoffmann 001; Holger Hermanns (ICAPS, 2018)

Continuous-Time Markov Decisions Based on Partial Exploration. - Pranav Ashok; Yuliya Butkova; Holger Hermanns; Jan Kretínský (ATVA, 2018)

Cyber-Physical Doping Tests. - Sebastian Biewer; Pedro R. D'Argenio; Holger Hermanns (MT@CPSWeek, 2018)

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. - Juan A. Fraire; Gilles Nies; Holger Hermanns; Kristian Bay; Morten Bisgaard (GLOBECOM, 2018)

From Machine Ethics To Machine Explainability and Back. - Kevin Baum 001; Holger Hermanns; Timo Speith (ISAIM, 2018)

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. - Holger Hermanns; Sebastian Biewer; Pedro R. D'Argenio; Maximilian A. Köhl (LPAR, 2018)

Markov Automata on Discount! - Yuliya Butkova; Ralf Wimmer 001; Holger Hermanns (MMB, 2018)

Efficient Monitoring of Real Driving Emissions. - Maximilian A. Köhl; Holger Hermanns; Sebastian Biewer (RV, 2018)

Probabilistic bisimulation for realistic schedulers. - Lijun Zhang 001; Pengfei Yang 002; Lei Song 001; Holger Hermanns; Christian Eisentraut; David N. Jansen; Jens Chr. Godskesen (Acta Informatica, 2018)

Towards a Framework Combining Machine Ethics and Machine Explainability. - Kevin Baum 001; Holger Hermanns; Timo Speith (CREST@ETAPS, 2018)

The quest for minimal quotients for probabilistic and Markov automata. - Christian Eisentraut; Holger Hermanns; Johann Schuster; Andrea Turrini; Lijun Zhang 001 (Inf. Comput., 2018)

Concurrent Programming from pseuCo to Petri. - Felix Freiberger; Holger Hermanns (Petri Nets, 2019)

Component-aware Input-Output Conformance. - Alexander Graf-Brill; Holger Hermanns (FORTE, 2019)

A Modest Approach to Modelling and Checking Markov Automata. - Yuliya Butkova; Arnd Hartmanns; Holger Hermanns (QEST, 2019)

A Modest Markov Automata Tutorial. - Arnd Hartmanns; Holger Hermanns (RW, 2019)

Syntactic Partial Order Compression for Probabilistic Reachability. - Gereon Fox; Daniel Stan; Holger Hermanns (VMCAI, 2019)

Battery-aware scheduling in low orbit: the GomX-3 case. - Morten Bisgaard; David Gerhardt; Holger Hermanns; Jan Krcál; Gilles Nies; Marvin Stenger (Formal Aspects Comput., 2019)

Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. - Ernst Moritz Hahn; Vahid Hashemi; Holger Hermanns; Morteza Lahijanian; Andrea Turrini (ACM Trans. Model. Comput. Simul., 2019)

The 10, 000 Facets of MDP Model Checking. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen (Computing and Software Science, 2019)

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. - Jörg Hoffmann 001; Holger Hermanns; Michaela Klauck; Marcel Steinmetz; Erez Karpas; Daniele Magazzeni (AAAI, 2020)

CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). - Luca Aceto; Jos C. M. Baeten; Patricia Bouyer-Decitre; Holger Hermanns; Alexandra Silva 001 (CONCUR, 2020)

Conformance-Based Doping Detection for Cyber-Physical Systems. - Rayna Dimitrova; Maciej Gazda; Mohammad Reza Mousavi 001; Sebastian Biewer; Holger Hermanns (FORTE, 2020)

Deep Statistical Model Checking. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Marcel Steinmetz (FORTE, 2020)

Components in Probabilistic Systems: Suitable by Construction. - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (ISoLA (1), 2020)

From Verification to Explanation (Track Introduction). - Christel Baier; Holger Hermanns (ISoLA (4), 2020)

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. - Rasha Faqeh; Christof Fetzer; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Marcel Steinmetz; Christoph Weidenbach (ISoLA (2), 2020)

PRODeep: a platform for robustness verification of deep neural networks. - Renjue Li; Jianlin Li; Cheng-Chao Huang; Pengfei Yang 002; Xiaowei Huang 001; Lijun Zhang 001; Bai Xue 001; Holger Hermanns (ESEC/SIGSOFT FSE, 2020)

Lab Conditions for Research on Explainable Automated Decisions. - Christel Baier; Maria Christakis; Timo P. Gros; David Groß; Stefan Gumhold; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck (TAILOR, 2020)

On the probabilistic bisimulation spectrum with silent moves. - Christel Baier; Pedro R. D'Argenio; Holger Hermanns (Acta Informatica, 2020)

LICS-ICALP 2020 Questionnaire Evaluation. - Felix Freiberger; Holger Hermanns (Bull. EATCS, 2020)

Connection models for the Internet-of-Things. - Kangli He; Holger Hermanns; Hengyang Wu; Yixiang Chen 001 (Frontiers Comput. Sci., 2020)

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. - Michaela Klauck; Marcel Steinmetz; Jörg Hoffmann 001; Holger Hermanns (J. Artif. Intell. Res., 2020)

Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust. - Gregory Stock 002; Juan A. Fraire; Tobias Mömke; Holger Hermanns; Fakhri Babayev; Eduardo Cruz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. - Juan A. Fraire; Gilles Nies; Carsten Gerstacker; Holger Hermanns; Kristian Bay; Morten Bisgaard (IEEE Trans. Green Commun. Netw., 2020)

Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (Zenodo, 2020)

Automated Safety Verification of Programs Invoking Neural Networks. - Maria Christakis; Hasan Ferit Eniser; Holger Hermanns; Jörg Hoffmann 001; Yugesh Kothari; Jianlin Li; Jorge A. Navas; Valentin Wüstholz (CAV (1), 2021)

Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study. - Kai Vogelgesang; Juan A. Fraire; Holger Hermanns (GLOBECOM, 2021)

Controller verification meets controller code: a case study. - Felix Freiberger; Stefan Schupp; Holger Hermanns; Erika Ábrahám (MEMOCODE, 2021)

A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. - Michaela Klauck; Holger Hermanns (QEST, 2021)

Towards Perspicuity Requirements. - Sarah Sterz; Kevin Baum 001; Anne Lauber-Rönsberg; Holger Hermanns (RE Workshops, 2021)

RTLola on Board: Testing Real Driving Emissions on your Phone. - Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger (TACAS (2), 2021)

Momba: JANI Meets Python. - Maximilian A. Köhl; Michaela Klauck; Holger Hermanns (TACAS (2), 2021)

What do we want from Explainable Artificial Intelligence (XAI)? - A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. - Markus Langer; Daniel Oster; Timo Speith; Holger Hermanns; Lena Kästner; Eva Schmidt; Andreas Sesing; Kevin Baum 001 (Artif. Intell., 2021)

On the scalability of battery-aware contact plan design for LEO satellite constellations. - Juan A. Fraire; Carsten Gerstacker; Holger Hermanns; Gilles Nies; Morten Bisgaard; Kristian Bay (Int. J. Satell. Commun. Netw., 2021)

Doping Tests for Cyber-physical Systems. - Sebastian Biewer; Pedro R. D'Argenio; Holger Hermanns (ACM Trans. Model. Comput. Simul., 2021)

A Modest Approach to Markov Automata. - Yuliya Butkova; Arnd Hartmanns; Holger Hermanns (ACM Trans. Model. Comput. Simul., 2021)

(TACAS21 Artifact) Momba: JANI Meets Python. - Maximilian A. Köhl; Michaela Klauck; Holger Hermanns (Zenodo, 2021)

Artifact accompanying the paper "A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking". - Michaela Klauck; Holger Hermanns (Zenodo, 2021)

Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents". - Timo P. Gros; Holger Hermanns; Michaela Klauck; Maximilian A. Köhl (Zenodo, 2021)

Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study. - Gregory Stock 002; Juan A. Fraire; Holger Hermanns (ASMS/SPSC, 2022)

On the Foundations of Cycles in Bayesian Networks. - Christel Baier; Clemens Dubslaff; Holger Hermanns; Nikolai Käfer (Principles of Systems Design, 2022)

MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf (CAV (2), 2022)

On the Detection of Doped Software by Falsification. - Sebastian Biewer; Holger Hermanns (FASE, 2022)

Quantification of Battery Depletion Risk Made Efficient. - Holger Hermanns; Gilles Nies (NFM, 2022)

On the Automation, Optimization, and In-Orbit Validation of Intelligent Satellite Constellation Operations. - Gregory Stock 002; Juan A. Fraire; Holger Hermanns; Eduardo Cruz; Alastair Isaacs; Zhana Imbrosh (CoRR, 2022)

Admissibility in Probabilistic Argumentation. - Nikolai Käfer; Christel Baier; Martin Diller; Clemens Dubslaff; Sarah Alice Gaggl; Holger Hermanns (J. Artif. Intell. Res., 2022)

Conformance Relations and Hyperproperties for Doping Detection in Time and Space. - Sebastian Biewer; Rayna Dimitrova; Michael Fries; Maciej Gazda; Thomas Heinze; Holger Hermanns; Mohammad Reza Mousavi 001 (Log. Methods Comput. Sci., 2022)

Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf (Zenodo, 2022)

Matching Distributions Under Structural Constraints. - Aaron Bies; Holger Hermanns; Maximilian A. Köhl; Andreas Schmidt 003 (QEST, 2023)

On the road with RTLola. - Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger (Int. J. Softw. Tools Technol. Transf., 2023)

Analyzing neural network behavior through deep statistical model checking. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Marcel Steinmetz (Int. J. Softw. Tools Technol. Transf., 2023)

Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations. - Maximilian A. Köhl; Holger Hermanns (ACM Trans. Embed. Comput. Syst., 2023)

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. - Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl (Zenodo, 2023)

Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing. - Santiago Henn; Juan A. Fraire; Holger Hermanns (IEEE Trans. Aerosp. Electron. Syst., 2023)

Saliency Maps Give a False Sense of Explanability to Image Classifiers: An Empirical Evaluation across Methods and Metrics. - Hanwei Zhang 001; Felipe Torres Figueroa; Holger Hermanns (ACML, 2024)

Configuration Monitor Synthesis. - Maximilian A. Köhl; Clemens Dubslaff; Holger Hermanns (ATVA (2), 2024)

Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe. - Hubert Garavel; Holger Hermanns; David Parker 001 (Principles of Verification (2), 2024)

Making ETAPS Gold Open Access. - Holger Hermanns; Marieke Huisman (Principles of Verification (3), 2024)

On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. - Sarah Sterz; Kevin Baum 001; Sebastian Biewer; Holger Hermanns; Anne Lauber-Rönsberg; Philip Meinel; Markus Langer (FAccT, 2024)

A Stability-First Approach to Running TCP Over Starlink. - Gregory Stock 002; Juan A. Fraire; Santiago Henn; Holger Hermanns; Andreas Schmidt 003 (ICC Workshops, 2024)

Traceability and Accountability by Construction. - Julius Wenzel; Maximilian A. Köhl; Sarah Sterz; Hanwei Zhang 001; Andreas Schmidt 003; Christof Fetzer; Holger Hermanns (ISoLA (4), 2024)

Coyan: Fault Tree Analysis - Exact and Scalable. - Nazareno Garagiola; Holger Hermanns; Pedro R. D'Argenio (SAFECOMP, 2024)

Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. - Hanwei Zhang 001; Luo Cheng; Qisong He; Wei Huang 035; Renjue Li; Ronan Sicre; Xiaowei Huang 001; Holger Hermanns; Lijun Zhang 001 (SETTA, 2024)

Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight. - Kevin Baum 001; Sebastian Biewer; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Sarah Sterz (SPIN, 2024)

OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. - Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl (TACAS (3), 2024)

AI Act for the Working Programmer. - Holger Hermanns; Anne Lauber-Rönsberg; Philip Meinel; Sarah Sterz; Hanwei Zhang 001 (AISoLA, 2024)

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. - Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl (Zenodo, 2024)

Quantitative analysis of segmented satellite network architectures: A maritime surveillance case study. - Juan A. Fraire; Santiago Henn; Gregory Stock 002; Robin Ohs; Holger Hermanns; Felix Walter; Lynn Van Broock; Gabriel Ruffini; Federico Machado; Pablo Serratti; Jose Relloso (Comput. Networks, 2024)

Artifact for "Coyan: Fault Tree Analysis - Exact and Scalable". - Nazareno Garagiola; Pedro R. D'Argenio; Holger Hermanns (Zenodo, 2024)

PhantomLink: Emulating Virtual End-to-End Links on Ground and in Orbit. - Robin Ohs; Gregory F. Stock; Juan A. Fraire; Holger Hermanns; Andreas Schmidt 003 (ANRW, 2025)

LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. - Melane Navaratnarajah; Ma'ayan Armony; Sebastian Biewer; Holger Hermanns; Mohammad Reza Mousavi 001 (FORTE, 2025)

When to Sample from Feature Diagrams? - Nikolai Käfer; Sven Apel; Christel Baier; Clemens Dubslaff; Holger Hermanns (VaMoS, 2025)

Software doping analysis for human oversight. - Sebastian Biewer; Kevin Baum 001; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr (Formal Methods Syst. Des., 2025)

On the Role of AI in Managing Satellite Constellations: Insights from the ConstellAI Project. - Gregory F. Stock; Juan A. Fraire; Holger Hermanns; Jedrzej Mosiezny; Yusra Al-Khazraji; Julio Ramirez Molina; Evridiki V. Ntagiou (CoRR, 2025)

Revisiting Physically Realizable Adversarial Object Attack against LiDAR-based Detection: Clarifying Problem Formulation and Experimental Protocols. - Luo Cheng; Hanwei Zhang 001; Lijun Zhang 001; Holger Hermanns (CoRR, 2025)

Dirty Bits in Low-Earth Orbit: The Carbon Footprint of Launching Computers. - Robin Ohs; Gregory F. Stock; Andreas Schmidt 003; Juan A. Fraire; Holger Hermanns (CoRR, 2025)