Holger Hermanns
#147,369
Most Influential Person Now
Researcher, member of Academia Europaea
Holger Hermanns's AcademicInfluence.com Rankings
Holger Hermannscomputer-science Degrees
Computer Science
#7502
World Rank
#7899
Historical Rank
Database
#4551
World Rank
#4730
Historical Rank

Download Badge
Computer Science
Holger Hermanns's Degrees
- PhD Computer Science Saarland University
Similar Degrees You Can Earn
Why Is Holger Hermanns Influential?
(Suggest an Edit or Addition)Holger Hermanns's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Model-Checking Algorithms for Continuous-Time Markov Chains (2002) (797)
- Interactive Markov Chains (2002) (529)
- The Ins and Outs of the Probabilistic Model Checker MRMC (2009) (367)
- A probabilistic extension of UML statecharts: Specification and Verification. (2002) (290)
- Approximate Symbolic Model Checking of Continuous-Time Markov Chains (1999) (289)
- Process algebra for performance evaluation (2002) (265)
- Optimal state-space lumping in Markov chains (2003) (210)
- Probabilistic reachability for parametric Markov models (2009) (201)
- Model Checking Continuous-Time Markov Chains by Transient Analysis (2000) (196)
- Probabilistic CEGAR (2008) (190)
- Comparative branching-time semantics for Markov chains (2005) (176)
- On Probabilistic Automata in Continuous Time (2010) (173)
- Weak Bisimulation for Fully Probabilistic Processes (1997) (168)
- MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems (2006) (162)
- Syntax , Semantics , Equivalences , and Axioms for MTIPP y (1994) (150)
- Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains (1999) (150)
- Discrete-Time Rewards Model-Checked (2003) (142)
- PARAM: A Model Checker for Parametric Markov Models (2010) (140)
- CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings (2006) (135)
- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (2005) (135)
- The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (2014) (132)
- What Do We Want From Explainable Artificial Intelligence (XAI)? - A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research (2021) (132)
- On the Logical Characterisation of Performability Properties (2000) (128)
- A compositional modelling and analysis framework for stochastic hybrid systems (2013) (122)
- Probabilistic Termination (2015) (120)
- A Markov Chain Model Checker (2000) (118)
- On the use of model checking techniques for dependability evaluation (2000) (107)
- Compositional performance modelling with the TIPPtool (2000) (103)
- A tool for model-checking Markov chains (2003) (101)
- Measurability and safety verification for stochastic hybrid systems (2011) (100)
- Safety Verification for Probabilistic Hybrid Systems (2010) (100)
- Automated compositional Markov chain generation for a plain-old telephone system (2000) (98)
- Model checking performability properties (2002) (97)
- Performance evaluation and model checking join forces (2010) (95)
- Validation of Stochastic Systems (2004) (90)
- Lectures on Formal Methods and PerformanceAnalysis (2001) (88)
- Stochastic Process Algebras - Between LOTOS and Markov Chains (1998) (87)
- On the use of MTBDDs for performability analysis and verification of stochastic systems (2003) (84)
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems (2008) (80)
- Beyond Memoryless Distributions: Model Checking Semi-Markov Chains (2001) (80)
- A Modest Approach to Checking Probabilistic Timed Automata (2009) (79)
- Process Algebra and Markov Chains (2002) (75)
- On Combining Functional Verification and Performance Evaluation Using CADP (2002) (74)
- On Generative Parallel Composition (1998) (71)
- A Semantics for Every GSPN (2013) (70)
- Time-Dependent Analysis of Attacks (2014) (67)
- Sigref- A Symbolic Bisimulation Tool Box (2006) (63)
- MoDeST - A Modelling and Description Language for Stochastic Timed Systems (2001) (63)
- The How and Why of Interactive Markov Chains (2009) (62)
- Partial Order Methods for Statistical Model Checking and Simulation (2011) (61)
- Towards Model Checking Stochastic Process Algebra (2000) (60)
- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation (1999) (60)
- Probabilistic Logical Characterization (2011) (58)
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs (2009) (58)
- Cost-optimization of the IPv4 zeroconf protocol (2003) (58)
- Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching (1995) (56)
- Concurrency and Composition in a Stochastic World (2010) (55)
- Probabilistic Model Checking Modulo Theories (2007) (54)
- Model Checking Algorithms for CTMDPs (2011) (51)
- Compositional Dependability Evaluation for STATEMATE (2009) (50)
- Modelling, Reduction and Analysis of Markov Automata (2013) (49)
- 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 (2002) (48)
- Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (2007) (47)
- Discrete-time rewards model-checked (to appear) (2003) (46)
- Automated Performance and Dependability Evaluation Using Model Checking (2002) (44)
- Counterexamples for Timed Probabilistic Reachability (2005) (44)
- PASS: Abstraction Refinement for Infinite Probabilistic Models (2010) (44)
- Logic for Programming, Artificial Intelligence, and Reasoning (2010) (43)
- Model Checking Algorithms for Markov Automata (2012) (42)
- From StoCharts to MoDeST: a comparative reliability analysis of train radio communications (2005) (42)
- A Probabilistic Extension of UML Statecharts (2002) (42)
- Time-bounded model checking of infinite-state continuous-time Markov chains (2008) (41)
- Stochastic process algebras as a tool for performance and dependability modelling (1995) (41)
- Probabilistic Bisimulation: Naturally on Distributions (2014) (40)
- Bounding the equilibrium distribution of Markov population models (2010) (39)
- Compositional Performability Evaluation for STATEMATE (2006) (36)
- INFAMY: An Infinite-State Markov Model Checker (2009) (36)
- Analysis of Timed and Long-Run Objectives for Markov Automata (2014) (36)
- Synthesis and stochastic assessment of schedules for lacquer production (2004) (35)
- A QoS-Oriented Extension of UML Statecharts (2003) (35)
- The Modest Modeling Tool and Its Implementation (2003) (35)
- Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science) (2004) (34)
- Model-Checking Algorithms for (2003) (33)
- Ten Years of Performance Evaluation for Concurrent Systems Using CADP (2010) (32)
- Stochastic process algebras: integrating qualitative and quantitative modelling (1994) (32)
- Efficient CSL Model Checking Using Stratification (2011) (32)
- The Value of Attack-Defence Diagrams (2016) (32)
- Simulation and Statistical Model Checking for Modestly Nondeterministic Models (2012) (31)
- Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems (2010) (30)
- Logic and Model Checking for Hidden Markov Models (2005) (30)
- Performability assessment by model checking of Markov reward models (2010) (29)
- Exploiting Symmetries in Stochastic Process Algebras (1998) (29)
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes (2017) (29)
- PTRebeca: Modeling and analysis of distributed and asynchronous systems (2016) (29)
- Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems (2007) (28)
- MoDeST: A compositional modeling formalism for real-time and stochastic systems (2004) (28)
- Simulation for Continuous-Time Markov Chains (2002) (28)
- Optimal Continuous Time Markov Decisions (2015) (27)
- Reachability and Reward Checking for Stochastic Timed Automata (2014) (26)
- Future design challenges for electric energy supply (2009) (26)
- Model checking meets performance evaluation (2005) (24)
- Component-based Design and Integration Platforms (2003) (24)
- Model checking for performability (2013) (23)
- Does Clock Precision Influence ZigBee's Energy Consumptions? (2007) (23)
- Battery-aware scheduling in low orbit: the GomX–3 case (2018) (23)
- A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP (1996) (23)
- Axiomatising Divergence (2002) (23)
- Proceedings of the 19th international conference on Computer aided verification (2007) (22)
- Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study (2018) (22)
- Deep Statistical Model Checking (2020) (21)
- Automata-Based CSL Model Checking (2011) (21)
- Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids (2012) (21)
- Deciding Bisimilarities on Distributions (2013) (20)
- A comparative reliability analysis of ETCS train radio communications (2005) (20)
- Probabilistic weak simulation is decidable in polynomial time (2004) (20)
- Is your software on dope? Formal analysis of surreptitiously "enhanced" programs (2017) (20)
- ETMCC: model checking performability properties of Markov chains (2003) (19)
- Verification of Open Interactive Markov Chains (2012) (19)
- A comparative analysis of decentralized power grid stabilization strategies (2012) (19)
- Process Algebra and Probabilistic Methods: Performance Modeling and Verification (2002) (18)
- Symbolic partition refinement with automatic balancing of time and space (2010) (18)
- Facets of Software Doping (2016) (18)
- Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters (2017) (18)
- Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures (2008) (18)
- Priority and maximal progress are completely axiomatisable (1998) (18)
- Polynomial time decision algorithms for probabilistic automata (2015) (17)
- May we reach it? Or must we? In what time? With what probability? (2011) (17)
- On integrating the MOBIUS and MODEST modeling tools (2003) (17)
- In the quantitative automata zoo (2015) (17)
- From Machine Ethics To Machine Explainability and Back (2018) (17)
- Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (2007) (17)
- Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract) (1998) (17)
- How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty (2017) (16)
- Battery-aware scheduling in low orbit: the GomX–3 case (2016) (16)
- A Stochastic Process Algebra Based Modelling Tool (1996) (16)
- The Quest for Minimal Quotients for Probabilistic Automata (2013) (16)
- A Set of Performance and Dependability Analysis Components for CADP (2003) (16)
- Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time (2012) (16)
- Reachability in continuous-time Markov reward decision processes (2008) (15)
- Comparative Branching-Time Semantics (2003) (15)
- A verifiedwireless safety critical hard real-time design (2011) (15)
- Deciding Simulations on Probabilistic Automata (2007) (15)
- Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage (2015) (15)
- Long-Run Rewards for Markov Automata (2017) (15)
- PRODeep: a platform for robustness verification of deep neural networks (2020) (15)
- Rare Event Simulation with Fully Automated Importance Splitting (2015) (15)
- Aggregation Ordering for Massively Compositional Models (2010) (15)
- Exploiting stochastic process algebra achievements for generalized stochastic Petri nets (1997) (15)
- Deciding probabilistic automata weak bisimulation: theory and practice (2016) (15)
- Performance Analysis of Distributed Systems Using TIPP - a Case Study (1994) (15)
- Synthesis and stochastic assessment of cost-optimal schedules (2006) (14)
- YMCA: - Why Markov Chain Algebra? - (2006) (14)
- Stochastic Process Algebras (1995) (14)
- The 10, 000 Facets of MDP Model Checking (2019) (14)
- Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains (2001) (14)
- Towards a superset of Basic Lotos for Performance Prediction (1996) (14)
- State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (2012) (13)
- QoS modelling and analysis with UML-statecharts: the StoCharts approach (2005) (13)
- Compositional Verification and Optimization of Interactive Markov Chains (2013) (13)
- Mastering operational limitations of LEO satellites – The GomX-3 approach (2018) (13)
- Dependability checking with StoCharts: is train radio reliable enough for trains? (2004) (13)
- Demand-Response Management for Dependable Power Grids (2013) (12)
- From Concurrency Models to Numbers - Performance and Dependability (2011) (12)
- Flexible support for time and costs in scenario-aware dataflow (2016) (12)
- Recharging Probably Keeps Batteries Alive (2015) (12)
- mctau: Bridging the Gap between Modest and UPPAAL (2012) (12)
- Superposition-Based Analysis of First-Order Probabilistic Timed Automata (2010) (12)
- Effective Minimization of Acyclic Phase-Type Representations (2008) (12)
- Reward-Bounded Reachability Probability for Uncertain Weighted MDPs (2016) (11)
- Probabilistic bisimulation for realistic schedulers (2015) (11)
- Improving time bounded reachability computations in interactive Markov chains (2013) (11)
- Efficient Monitoring of Real Driving Emissions (2018) (11)
- On the Minimisation of Acyclic Models (2008) (11)
- Motor: The MoDeST Tool Environment (2007) (11)
- Analysis of Large Safety-Critical Systems : A quantitative Approach ? (2006) (11)
- Towards a Framework Combining Machine Ethics and Machine Explainability (2019) (10)
- Continuous-Time Markov Decisions based on Partial Exploration (2018) (10)
- Acyclic Minimality by Construction---Almost (2009) (10)
- Cost vs. time in stochastic games and Markov automata (2015) (10)
- Modeling of Networked Automation Systems for simulation and model checking of time behavior (2012) (10)
- Interval Markov Decision Processes with Multiple Objectives (2019) (9)
- Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (2019) (9)
- Compositional Performance Modelling with TIPPtool (1998) (9)
- Effective Static and Dynamic Fault Tree Analysis (2016) (9)
- MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (2014) (9)
- Observational Congruence in a Stochastic Timed Calculus with Maximal Progress (1997) (8)
- Interactive Markov Chains in Practice (2002) (8)
- A Model-Based Certification Framework for the EnergyBus Standard (2014) (8)
- Construction and Verification of Performance and Reliability Models (2001) (8)
- Compositional Bisimulation Minimization for Interval Markov Decision Processes (2016) (8)
- Embedded Software Analysis with MOTOR (2004) (8)
- Model-Based Testing for Asynchronous Systems (2017) (8)
- Dependability Engineering of Silent Self-stabilizing Systems (2009) (8)
- Bounded Fairness for Probabilistic Distributed Algorithms (2011) (8)
- Exploiting Robust Optimization for Interval Probabilistic Bisimulation (2016) (8)
- Markovian Processes Go Algebra (1994) (8)
- On the scalability of battery‐aware contact plan design for LEO satellite constellations (2020) (7)
- Algebra of Interactive Markov Chains (2002) (7)
- 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification (2006) (7)
- Doping Tests for Cyber-physical Systems (2019) (7)
- Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking (2020) (7)
- Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification (2020) (7)
- A construction and minimization service for continuous probability distributions (2015) (7)
- Comparative Branching-Time Semantics for Markov Chains (Extended Abstract) (2003) (7)
- Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors (2014) (7)
- Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison (2020) (7)
- Hybrid modeling of a vehicle surveillance system with real-time data processing (2003) (7)
- Model Checking pathCSL (2003) (7)
- Compiling Probabilistic Model Checking into Probabilistic Planning (2018) (7)
- Bisimulation and Simulation Relations for Markov Chains (2006) (7)
- Cost Preserving Bisimulations for Probabilistic Automata (2013) (7)
- Implementing a Model Checker for Performability Behaviour (2001) (6)
- On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation (2014) (6)
- Abstraction-Based Computation of Reward Measures for Markov Automata (2015) (6)
- Transient Analysis of CTMCs: Uniformization or Matrix Exponential? (2018) (6)
- Modelling and certification for electric mobility (2017) (6)
- Transient Reward Approximation for Continuous-Time Markov Chains (2012) (6)
- An Internet Inspired Approach to Power Grid Stability / Internet-Konzepte für Stromnetzstabilität (2013) (6)
- Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust (2020) (6)
- Gspn and Spa Compared in Practice Modelling a Distributed Mail System (1995) (6)
- Model Checking CSRL-Specified Performability Properties (2001) (6)
- 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 (2006) (6)
- Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions (2018) (6)
- Symbolic Partition Refinement with Dynamic Balancing of Time and Space (2008) (6)
- Schedulers are no Prophets (2015) (5)
- Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study (2021) (5)
- TIPPtool: Compositional Specification and Analysis of Markovian Performance Models (1999) (5)
- Modelling, Reduction and Analysis of Markov Automata (extended version) (2013) (5)
- The Minimal Representation of the Maximum of Erlang Distributions (2011) (5)
- Variable Probabilistic Abstraction Refinement (2012) (5)
- A Modest Approach to Modelling and Checking Markov Automata (2019) (5)
- Probabilistic Termination Soundness , Completeness , and Compositionality Luis Marı́a (2014) (5)
- An Operator for Symmetry Representation and Exploitation in Stochastic Process Algebras (1997) (5)
- Lab Conditions for Research on Explainable Automated Decisions (2020) (5)
- Admissibility in Probabilistic Argumentation (2021) (5)
- Probabilistic CTL*: The Deductive Way (2016) (5)
- GSPN and SPA Compared in Practice (1995) (4)
- Functional Abstractions of stochastic Hybrid Systems (2006) (4)
- An Experimental Evaluation of Probabilistic Simulation (2008) (4)
- Models of Connected Things: On Priced Probabilistic Timed Reo (2017) (4)
- Components in Probabilistic Systems: Suitable by Construction (2020) (4)
- A Modest Markov Automata Tutorial (2019) (4)
- Performance and reliability model checking and model construction (2000) (4)
- Automated Safety Verification of Programs Invoking Neural Networks (2021) (4)
- motor: The modestTool Environment (2007) (3)
- Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study (2020) (3)
- A Modest Approach to Markov Automata (2021) (3)
- Heuristics for Probabilistic Timed Automata with Abstraction Refinement (2012) (3)
- Conformance-Based Doping Detection for Cyber-Physical Systems (2020) (3)
- Markov Automata on Discount! (2018) (3)
- Step-indexed Semantic Model of Types for the Functional Object Calculus (2007) (3)
- RTLola on Board: Testing Real Driving Emissions on your Phone (2021) (3)
- Pareto Optimal Reachability Analysis for Simple Priced Timed Automata (2017) (3)
- Incremental Bisimulation Abstraction Refinement (2013) (3)
- Compositional Reasoning for Interval Markov Decision Processes (2016) (3)
- Towards Perspicuity Requirements (2021) (3)
- Model he king ontinuous-time Markov hainsby transient (2006) (3)
- Cyber-Physical Doping Tests (2018) (3)
- Teaching Academic Concurrency to Amazing Students (2017) (2)
- An industrial-strength formal method -- A Modest survey (2004) (2)
- Quantitative system validation in model driven design (2010) (2)
- Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs (2017) (2)
- Stochastic Process AlgebrasConstructive Speci cation TechniquesIntegrating Functional , Performance and Dependability (2007) (2)
- Compositional Nets and Compositional Aggregation (1998) (2)
- On the Control of Self-Balancing Unicycles (2015) (2)
- Uniformization for Time-Inhomogeneous Markov Population Models (2010) (2)
- Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems (2013) (2)
- Time bound (2011) (2)
- Concurrent Programming from pseuCo to Petri (2019) (2)
- Terminating Tableaux for Modal Logic with Transitive Closure submitted (2009) (2)
- Connection models for the Internet-of-Things (2019) (1)
- A model checker for performance and dependability properties (2001) (1)
- Distributed Synthesis in Continuous Time (2016) (1)
- Teaching Concurrency Concepts to Freshmen (2008) (1)
- On the Detection of Doped Software by Falsification (2022) (1)
- On the Foundations of Cycles in Bayesian Networks (2023) (1)
- MoGym: Using Formal Models for Training and Verifying Decision-making Agents (2022) (1)
- Towards the Design of Space Missions with Optimal Accessibility via Relay Satellites (2019) (1)
- Modelling stochastic timed systems (2001) (1)
- Formal Methods in Energy Informatics (2011) (1)
- The quest for minimal quotients for probabilistic and Markov automata (2018) (1)
- CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) (2020) (1)
- Logic for Programming, Artificial Intelligence, and Reasoning (2010) (1)
- Multi-terminal decision diagrams: a data structure for numerical integration (1999) (1)
- A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking (2021) (1)
- On Generative Parallel Composition 1 (1999) (1)
- 10271 Abstracts Collection - Verification over discrete-continuous boundaries (2010) (1)
- Controller Verification meets Controller Code: A Case Study (2021) (1)
- Momba: JANI Meets Python (2021) (1)
- Quantitative Models for a Not So Dumb Grid (2012) (1)
- An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes (2003) (1)
- Conformance Relations and Hyperproperties for Doping Detection in Time and Space (2020) (1)
- Component-aware Input-Output Conformance (2019) (1)
- Guest editors' introduction: Model checking in a nutshell (2002) (1)
- Generalisation of the Well-Specified Check (2003) (1)
- Reachability analysis for incomplete networks of Markov decision processes (2011) (1)
- Cost vs. time in stochastic games and Markov automata (2017) (1)
- On the Automation, Optimization, and In-Orbit Validation of Intelligent Satellite Constellation Operations (2022) (1)
- Computing Bisimulations for Stochastic Process Algebras using Symbolic Representations (1998) (1)
- Improving the effectiveness of system verification (2008) (1)
- What Do We Want From Explainable Artificial Intelligence (XAI)? (2021) (1)
- Performance Prediction of Behavioural Descriptions with Temporal Logics (Extended Abstract) (2008) (0)
- A Compression App for Continuous Probability Distributions (2015) (0)
- Dependable Software Engineering. Theories, Tools, and Applications (2017) (0)
- Proceedings of the Second Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification (2002) (0)
- Electronic Communications of the EASST Volume 53 ( 2012 ) Proceedings of the 12 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2012 ) Model Checking Algorithms for Markov Automata (2012) (0)
- POWVER Technical Report 2018-11 Title : Efficient Monitoring of Real Driving Emissions (2019) (0)
- Probabilistic Verification with MRMC 2 . 1 . Models and Logics (2019) (0)
- Weak Bisimulation for Fully (2006) (0)
- Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study (2022) (0)
- On the road with RTLola (2023) (0)
- Deliverable no . : D 4 . 4 Title of Deliverable : Approximate Testing (2011) (0)
- Exploiting Symmetries in Stochastic Process (1998) (0)
- Verification of performance and dependability (2001) (0)
- Special Issue on "Quantitative Evaluation of SysTems" (QEST 2012) (2014) (0)
- TIPPtool: Compositional Specification and Analysis of Performance Models (1999) (0)
- CONCUR 2006 [Concurrency Theory, 16th International Conference] (2006) (0)
- POWVER Technical Report 2018-03 Title : Markov Automata on Discount ! (2018) (0)
- Preface Preface of Special issue on Automated Verification of Critical Systems ( AVoCS ’ 14 ) (2016) (0)
- Errata ” Principles of Model Checking ” ( July 2010 ) Thanks to the Model Checking (2010) (0)
- Dynamic features in large PSA studies (2016) (0)
- Proofs for Chapter 3 and Chapter 4 (2002) (0)
- My O Is Bigger Than Yours (Invited Talk) (2016) (0)
- Symbolic Minimisation of Stochastic Process Algebra (1999) (0)
- Computing k-hop Broadcast Trees Exactly (2007) (0)
- Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017 (2017) (0)
- Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011) (2011) (0)
- Efficient model checking for LTL with partial order snapshots (2006) (0)
- Transient Reward Approximation for Grids, Crowds, and Viruses (2012) (0)
- Veri cation over discrete-continuous boundaries generate automatically Dagstuhl Seminar (2010) (0)
- Deciding probabilistic automata weak bisimulation: theory and practice (2016) (0)
- POWVER Technical Report 2017-09 Title : Polynomial-Time Alternating Probabilistic Bisimulation for Interval (2018) (0)
- Analyzing neural network behavior through deep statistical model checking (2022) (0)
- Technical Report 2016-01 Title : Effective Static and Dynamic Fault Tree Analysis (2017) (0)
- Rewarding probabilistic hybrid automata (2013) (0)
- AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB / TR 14 AVACS (2010) (0)
- The Systems Validation Centre in retrospect (2003) (0)
- Mobility between Europe and Argentina applying Logics to Systems Project Acronym : MEALS Deliverable no . : 1 . 3 / 2 Title of Deliverable : Probabilistic Bisimulation for Realistic Schedulers (2015) (0)
- Comparative Branching-Time Semantics for Markov Chains 3 and Continuous Stochastic (0)
- Scheduler-Quantified Time-Bounded Reachability for Distributed Input / Output Interactive Probabilistic Chains submitted (2012) (0)
- FlowSim Simulation Benchmarking Platform (2009) (0)
- Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems: Preface (2017) (0)
- Technical Report 2018-04 Title : Cyber-Physical Doping Tests (2018) (0)
- Proofs for Chapter 5 (2002) (0)
- Functional Abstraction of Stochastic Hybrid Systems (2006) (0)
- Technical Report 2017-07 Title : Model-Based Testing for Asynchronous Systems (2017) (0)
- POWVER Technical Report 2019-01 Title : Syntactic Partial Order Compression for Probabilistic Reachability (2019) (0)
- Syntactic Partial Order Compression for Probabilistic Reachability (2019) (0)
- Technical Report 2016-05 Title : Facets of Software Doping (2017) (0)
- Probabilistic bisimulation for realistic schedulers (2018) (0)
- POWER GRID STABILITY DESPITE RENEWABLE INSTABILITY (2012) (0)
- 1 Title Quantitative Techniques for Dependable Distributed Systems ( QTDDS ) 2 Partners Country and Responsible Institutions and Participants Argentina (2008) (0)
- CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (2006) (0)
- On the probabilistic bisimulation spectrum with silent moves (2020) (0)
- Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings (2020) (0)
- A compositional modelling and analysis framework for stochastic hybrid systems (2012) (0)
- Quantification of Battery Depletion Risk Made Efficient (2022) (0)
- motor :T hemodest Tool Environment (2007) (0)
- From Lotosphere to Thermosphere (2017) (0)
- Reconciling Copying and Trailing for Constraint Programming Systems submitted (2008) (0)
- Special issue: CONCUR 2006 (2008) (0)
- From Verification to Explanation (Track Introduction) (2020) (0)
- Proceedings of the 17th international conference on Concurrency Theory (2006) (0)
- Translation Validation for Optimizing Compilers Master ’ s (2008) (0)
- POWVER Technical Report 2017-04 Title : Modelling and Certification for Electric Mobility (2017) (0)
- Construction and verification of concurrent performance and reliability models (2004) (0)
- Symbolic Minimisation of Stochastic Process Algebra Models (1999) (0)
- A construction and minimization service for continuous probability distributions (2013) (0)
- Deliverable no . : D 1 . 2 Title of Deliverable : Design Notations (2010) (0)
- Preface Special issue on Automated Verification of Critical Systems ( AVoCS ’ 14 ) (2016) (0)
- Technical Report 2018-08 Title : Compiling Probabilistic Model Checking into Probabilistic Planning (2019) (0)
- On the probabilistic bisimulation spectrum with silent moves (2020) (0)
- Deliverable no . : D 5 . 7 Title of Deliverable : Case Studies : Validation (2009) (0)
- Deliverable no . : D 4 . 6 Title of Deliverable : On-line hybrid / stochastic testing (2011) (0)
- Interactive Markov chains = Interaktive Markovketten (1999) (0)
- Title of Deliverable: Modelling Quantitative System Aspects (2009) (0)
- Performance analysis := (process algebra + model checking) x Markov chains (2001) (0)
This paper list is powered by the following services:
Other Resources About Holger Hermanns
What Schools Are Affiliated With Holger Hermanns?
Holger Hermanns is affiliated with the following schools: