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 Krcal, 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 (2) 2016: 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
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: 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 - 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