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:
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:
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:
author-generated open-access pdf available as ERC-POWVER-TechRep-2017-04