2016
- Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál:
Effective Static and Dynamic Fault Tree Analysis
35th International Conferenceon 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 - 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 - 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