2016
- Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál:
Effective Static and Dynamic Fault Tree Analysis
35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016: 266-280.
author-generated open-access pdf available as ERC-POWVER-TechRep-2016-01 - Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Exploiting Robust Optimization for Interval Probabilistic Bisimulation
13th International Conference on Quantitative Evaluation of Systems, QEST 2016: 55-71.
author-generated open-access pdf available as ERC-POWVER-TechRep-2016-02 - Gilles Nies, Marvin Stenger, Jan Krcál, Holger Hermanns, Morten Bisgaard, David Gerhardt,
Boudewijn R. Haverkort, Marijn Jongerden, Kim G. Larsen, and Erik R. Wognsen:
Mastering Operational Limitations of LEO Satellites: The GomX-3 Approach
67th International Astronautical Congress, IAC 2016.
author-generated open-access pdf available as ERC-POWVER-TechRep-2016-03 - Arnd Hartmanns, Holger Hermanns, Michael Bungert:
Flexible support for time and costs in scenario-aware dataflow
16th International Conference on Embedded Software, EMSOFT 2016: 3:1-3:10.
author-generated open-access pdf available as ERC-POWVER-TechRep-2016-04 - Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Part II: 601-608.
author-generated open-access pdf available as ERC-POWVER-TechRep-2016-05 - Holger Hermanns:
My O Is Bigger Than Yours
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016: 3:1-3:2.
open-access pdf provided by LIPIcs - Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger:
Battery-Aware Scheduling in Low Orbit: The GomX-3 Case
21st International Symposium on Formal Methods, FM 2016: 559-576.
author-generated open-access pdf available as ERC-POWVER-TechRep-2016-07 - Carlos E. Budde, Pedro R. D’Argenio, Raúl E. Monti:
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016: 30-37.
author-generated open-access pdf available as ERC-POWVER-TechRep-2016-08
2017
- Holger Hermanns, Jan Krcál, Gilles Nies:
How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty
Leibniz Transactions on Embedded Systems 4(1): 04:1-04:28 (2017).
open-access pdf provided by LITES - Yuliya Butkova, Ralf Wimmer, Holger Hermanns:
Long-run Rewards for Markov Automata
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, Part II: 188-203.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-02
supplementary material - Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is your software on dope? Formal analysis of surreptitiously “enhanced” programs
26th European Symposium on Programming – Programming Languages and Systems, ESOP 2017:83-110.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-03 - Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose:
Modelling and Certification for Electric Mobility
15th IEEE International Conference on Industrial Informatics, INDIN 2017:109-114.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-04 - Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students
Models, Algorithms, Logics and Tools – Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday: 170-195
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-05 - Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
14th International Conference on Quantitative Evaluation of Systems, QEST 2017: 207-223.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-06 - Alexander Graf-Brill, Holger Hermanns:
Model-Based Testing for Asynchronous Systems
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017: 66–82.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-07 - Holger Hermanns:
From Lotosphere to Thermosphere
ModelEd, TestEd, TrustEd – Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday: 357–367.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-08 - Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled Elbassioni:
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs
3rd International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2017: 25-41.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-09 - Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns:
Better Automated Importance Splitting for Transient Rare Events
3rd International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2017: 42–58.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-10 - Arnd Hartmanns, Sean Sedwards, Pedro R. D’Argenio:
Efficient Simulation-Based Verification of Probabilistic Timed Automata
2017 Winter Simulation Conference, WSC 2017: 1419-1430.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-11 - Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters.
11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017: 44–51.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-12 - Kangli He, Holger Hermanns, Yixiang Chen:
Models of Connected Things: On Priced Probabilistic Timed Reo
41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017: 234–243.
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-13
2018
- Yuliya Butkova:
Discounted Markov Automata, January 2018.
ERC-POWVER-TechRep-2018-01 - Kevin Baum, Holger Hermanns, Timo Speith:
From Machine Ethics To Machine Explainability and Back
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018: 384-402.
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-02 - Yuliya Butkova, Ralf Wimmer, Holger Hermanns:
Markov Automata on Discount!
19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018: 19-34.
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-03 - Sebastian Biewer, Pedro D’Argenio, Holger Hermanns:
Cyber-Physical Doping Tests
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018: 18-19.
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-04 - Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards:
A Statistical Model Checker for Nondeterminism and Rare Events
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Part II: 340-358.
open-access pdf at Springer-Verlag provided by ETAPS - Pedro R. D’Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards:
A Hierarchy of Scheduler Classes for Stochastic Automata
21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018: 384-402.
open-access pdf at Springer-Verlag provided by ETAPS - Kevin Baum, Holger Hermanns, Timo Speith:
Towards a Framework Combining Machine Ethics and Machine Explainability
3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018: 34–49. open-access pdf provided as part of EPTCS 286 - Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Compiling Probabilistic Model Checking into Probabilistic Planning
28th International Conference on Automated Planning and Scheduling, ICAPS 2018: 150-154.
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-08 - Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Křetínský:
Continuous-Time Markov Decisions based on Partial Exploration
16th International Conference on Automated Technology for Verification and Analysis, ATVA 2018: 317-334.
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-09 - Holger Hermanns, Sebastian Biewer, Pedro R. D’Argenio, Maximilian A. Köhl:
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2018: 1–17.
open-access pdf provided by EasyChair - Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer:
Efficient Monitoring of Real Driving Emissions
18th International Conference on Runtime Verification, RV 2018: 299-315.
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-11 - Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang:
The quest for minimal quotients for probabilistic and Markov automata
Information and Computation 262(1): 162-186 (2018).
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-12 - Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard:
Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study
IEEE Global Communications Conference, GLOBECOM 2018, 1-7.
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-13 - Pedro R. D’Argenio, Raúl E. Monti:
Input/Output Stochastic Automata with Urgency: Confluence and weak determinism
15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, 132-152.
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-14 - Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards:
Lightweight Statistical Model Checking in Nondeterministic Continuous Time
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2018, 336-353.
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-15 - Gilles Nies, Marvin Stenger, Jan Krcál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn Haverkort, Marijn Jongerden, Kim G. Larsen, Erik R. Wognsen:
Mastering Operational Limitations of LEO Satellites – The GomX-3 Approach.
Acta Astronautica 151: 726–735 (2018).
author-generated open-access pdf available as ERC-POWVER-TechRep-2018-16
2019
- Gereon Fox, Daniel Stan, Holger Hermanns:
Syntactic Partial Order Compression for Probabilistic Reachability
20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019: 446-467.
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-01 - Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns:
Automated Compositional Importance Splitting
Science of Computer Programming 174: 90-108 (2019).
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-02 - Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters:
The Quantitative Verification Benchmark Set
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Part I: 344-350.
open-access pdf at Springer-Verlag provided by ETAPS - Pablo F. Castro, Pedro R. D’Argenio, Ramiro Demasi, Luciano Putruele:
Measuring Masking Fault-Tolerance
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Part II: 69-92.
open-access pdf at Springer-Verlag provided by ETAPS - Yuliya Butkova, Gereon Fox:
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Part II: 191-358.
open-access pdf at Springer-Verlag provided by ETAPS - Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz:
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models – (QComp 2019 Competition Report)
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Part III: 69-92.
open-access pdf at Springer-Verlag provided by ETAPS - Felix Freiberger, Holger Hermanns:
Concurrent Programming from pseuCo to Petri
40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019: 279–297.
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-07 - Morten Bisgaard, David Gerhardt, Holger Hermanns, Gilles Nies, Jan Krcál, Marvin Stenger:
Battery-Aware Scheduling in Low Orbit: The GomX–3 Case
Formal Aspects of Computing 31(2): 162-186 (2019).
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-08 - Alexander Graf-Brill, Holger Hermanns:
Component-aware Input-Output Conformance
39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019:111-128.
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-09 - Sebastian Biewer, Pedro D’Argenio, Holger Hermann:
Doping Tests for Cyber-Physical Systems
16th International Conference on Quantitative Evaluation of Systems, QEST 2019: 313-331.
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-10 - Yuliya Butkova, Arnd Hartmanns, Holger Hermanns:
A Modest Approach to Modelling and Checking Markov Automata
16th International Conference on Quantitative Evaluation of Systems, QEST 2019: 52-69.
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-11 - Arnd Hartmanns, Holger Hermanns:
A Modest Markov Automata Tutorial
15th International Reasoning Web Summer School 2019: 250-276.
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-12 - Christel Baier, Holger Hermanns, Joost-Pieter Katoen:
The 10,000 Facets of MDP Model Checking
Computing and Software Science – State of the Art and Perspectives. 162-186 (2019).
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-13