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 (2016).
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 (2016).
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: 1-15 (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 (2016).
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 (2016).
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 (2016).
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 (2016).
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 (2016).
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 (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:83-110 (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:109-114 (2017).
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 (2017).
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 (2017).
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 (2017).
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 (2017).
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 (2017).
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 (2017).
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 (2017).
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 (2017).
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 (2017).
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 (2018).
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 (2018).
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 (2018).
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 (2018).
open-access pdf at Springer Nature 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 (2018).
open-access pdf at Springer Nature 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 (2018). 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 (2018).
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 (2018).
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 (2018).
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 (2018).
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 (2018).
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 (2018).
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 (2018).
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 (2019).
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 (2019).
open-access pdf at Springer Nature 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 (2019).
open-access pdf at Springer Nature 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 (2019).
open-access pdf at Springer Nature 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
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Part III: 69-92 (2019).
open-access pdf at Springer Nature 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 (2019).
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 (2019).
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-09 - Sebastian Biewer, Pedro D’Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems
16th International Conference on Quantitative Evaluation of Systems, QEST 2019: 313-331 (2019).
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 (2019).
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 (2019).
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 - Maximilian A. Köhl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender:
Explainability as a Non-Functional Requirement
27th IEEE International Requirements Engineering Conference, RE 2019. 363-368 (2019).
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-14 - Santiago M. Henn, Juan A. Fraire, Pablo C. Marino, Maximiliano Fischer, Andrea Bianco, Holger Hermanns:
Towards the Design of Space Missions with Optimal Accessibility via Relay Satellites
7th IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2019. 100-105 (2019).
author-generated open-access pdf available as ERC-POWVER-TechRep-2019-15 - Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves
ACM Transactions on Modeling and Computer Simulation 29(4): 27:1-27:31 (2019).
open-access pdf at ACM
2020
- Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl:
Components in Probabilistic Systems: Suitable by Construction
9th International Symposium on Leveraging Applications of Formal Methods, ISOLA 2020, Part I: 240-261 (2020).
author-generated open-access pdf available as ERC-POWVER-TechRep-2020-01 - Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach:
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification
9th International Symposium on Leveraging Applications of Formal Methods, ISOLA 2020, Part II: 416-439 (2020).
author-generated open-access pdf available as ERC-POWVER-TechRep-2020-02 - Juan A. Fraire, Gilles Nies, Carsten Gerstacker, Holger Hermanns, Kristian Bay, Morten Bisgaard:
Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study
IEEE Transactions on Green Communications and Networking 4: 236-245 (2020).
open-access pdf at IEEE - Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
Journal of Artificial Intelligence Research 68: 274-310 (2020).
open-access pdf at JAIR - Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D’Argenio, Mariëlle Stoelinga:
Rare Event Simulation for Non-Markovian Repairable Fault Trees
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, Part I: 463-482 (2020).
open-access pdf at Springer Nature provided by ETAPS - Gregory Stock, Juan A. Fraire, Tobias Mömke, Holger Hermanns, Fakhri Babayev, Eduardo Cruz:
Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (11): 3762-3773 (2020).
author-generated open-access pdf available as ERC-POWVER-TechRep-2020-06 - Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns:
Conformance-Based Doping Detection for Cyber-Physical Systems
40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020: 59-77 (2020).
open-access pdf at Springer Nature - Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Deep Statistical Model Checking
40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020: 96-114 (2020).
author-generated open-access pdf available as ERC-POWVER-TechRep-2020-08 - Tobias Mömke, Andreas Wiese:
Breaking the Barrier of 2 for the Storage Allocation Problem
47th International Colloquium on Automata, Languages, and Programming, ICALP 2020: 86:1-86:19 (2020).
open-access pdf provided by LIPIcs - Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards:
An efficient statistical model checker for nondeterminism and rare events
International Journal on Software Tools for Technology Transfer 22: 759–780 (2020).
open-access pdf at Springer Nature - Zhibo Yan, Juan A. Fraire, Kanglian Zhao, Hongcheng Yan, Pablo G. Madoery, Wenfeng Li, Hong Yang:
Distributed Contact Plan Design for GNSSs
IEEE Transactions on Aerospace and Electronic Systems 56(1): 660-672 (2020).
author-generated open-access pdf available as ERC-POWVER-TechRep-2020-11 - Juan A. Fraire, Olivier De Jonckère, Scott C. Burleigh:
Routing in the Space Internet: A contact graph routing tutorial
Journal of Network and Computer Applications 174: 102884 (2020).
author-generated open-access pdf available as ERC-POWVER-TechRep-2020-12 - Alexis Alfredo Dowhuszko, Juan A. Fraire, Musbah Shaat, Ana Pérez-Neira:
LEO satellite constellations to offload optical terrestrial networks in placement of popular content in 5G edge nodes
22nd International Conference on Transparent Optical Networks, ICTON 2020: 1-6 (2020).
author-generated open-access pdf available as ERC-POWVER-TechRep-2020-13 - Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni:
Let’s Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking
34th AAAI Conference on Artificial Intelligence, AAAI 2020: 13569-13575 (2020).
open-access pdf provided by AAAI Press - Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen:
Connection Models for the Internet-of-Things
Frontiers of Computer Science 14: 143401 (2020).
author-generated open-access pdf available as ERC-POWVER-TechRep-2020-15 - Pedro R. D’Argenio, Juan A. Fraire, Arnd Hartmanns:
Sampling Distributed Schedulers for Resilient Space Communication
12th International NASA Formal Methods Symposium, NFM 2020: 291-310 (2020).
author-generated open-access pdf available as ERC-POWVER-TechRep-2020-16 - Raúl E. Monti, Carlos E. Budde, Pedro R. D’Argenio:
A Compositional Semantics for Repairable Fault Trees with General Distributions
23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2020: 354-372 (2020).
open-access pdf provided by Easychair
2021
- Juan A. Fraire, Carsten Gerstacker, Holger Hermanns, Gilles Nies, Morten Bisgaard, Eduardo Cruz:
On the Scalability of Battery-Aware Contact Plan Design for LEO Satellite Constellations
International Journal of Satellite Communications and Networking 39(2):193-204 (2021).
author-generated open-access pdf available as ERC-POWVER-TechRep-2021-01 - Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, Part II: 365-372 (2021).
open-access pdf at Springer Nature provided by ETAPS - Maximilian A. Köhl, Michaela Klauck, Holger Hermanns:
Momba: JANI Meets Python
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, Part II: 389-398 (2021).
open-access pdf at Springer Nature provided by ETAPS