Power to the People. Verified.

Publications

Peer reviewed articles (1)

How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty

Author(s): Holger Hermanns, Jan Krcál, Gilles Nies
Published in: Leibniz Transactions on Embedded Systems, Issue Vol 4, Issue 1, 2017, ISSN 2199-2002
DOI: 10.4230/lites-v004-i001-a004

Conference proceedings (20)

Is your software on dope? Formal analysis of surreptitiously “enhanced” programs

Author(s): Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Published in: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Issue LNCS 10201, 2017, Page(s) 83-110
DOI: 10.1007/978-3-662-54434-1_4

Long-Run Rewards for Markov Automata

Author(s): Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Issue LNCS 10206, 2017, Page(s) 188-203
DOI: 10.1007/978-3-662-54580-5_11

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes

Author(s): Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Published in: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Issue LNCS 10503, 2017, Page(s) 207-223
DOI: 10.1007/978-3-319-66335-7_13

Model-Based Testing for Asynchronous Systems

Author(s): Alexander Graf-Brill, Holger Hermanns
Published in: Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Work- shop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Issue LNCS 10471, 2017, Page(s) 66-82
DOI: 10.1007/978-3-319-67113-0_5

Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs

Author(s): Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled Elbassioni
Published in: Dependable Software Engineering. Theories, Tools, and Applications - 3rd International Symposium, SETTA 2017, Issue LNCS 10606, 2017, Page(s) 25-41
DOI: 10.1007/978-3-319-69483-2_2

Models of Connected Things: On Priced Probabilistic Timed Reo

Author(s): Kangli He, Holger Hermanns, Yixiang Chen
Published in: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), 2017, Page(s) 234-243
DOI: 10.1109/compsac.2017.172

Compositional Construction of Importance Functions in Fully Automated Importance Splitting

Author(s): Carlos Budde, Pedro D'Argenio, Raúl Monti
Published in: Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
DOI: 10.4108/eai.25-10-2016.2266501

Efficient simulation-based verification of probabilistic timed automata

Author(s): Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
Published in: 2017 Winter Simulation Conference (WSC), 2017, Page(s) 1419-1430
DOI: 10.1109/wsc.2017.8247885

A Statistical Model Checker for Nondeterminism and Rare Events

Author(s): Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Published in: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Issue LNCS 10806, 2018, Page(s) 340-358
DOI: 10.1007/978-3-319-89963-3_20

A Hierarchy of Scheduler Classes for Stochastic Automata

Author(s): Pedro R. D’Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
Published in: 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018, Issue LNCS 10803, 2018, Page(s) 384-402
DOI: 10.1007/978-3-319-89366-2_21

From Machine Ethics To Machine Explainability and Back

Author(s): Kevin Baum, Holger Hermanns, Timo Speith
Published in: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, 2018, Page(s) 384-402

Compiling Probabilistic Model Checking into Probabilistic Planning

Author(s): Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Published in: International Conference on Automated Planning and Scheduling, 2018, Page(s) 150-154

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions

Author(s): Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
Published in: EPiC Series in Computing volume 57, 2018, Page(s) 1--17
DOI: 10.29007/6zxt

Effective Static and Dynamic Fault Tree Analysis

Author(s): Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krčál, Pavel Krčál
Published in: 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, Issue LNCS 9922, 2016, Page(s) 266-280
DOI: 10.1007/978-3-319-45477-1_21

Exploiting Robust Optimization for Interval Probabilistic Bisimulation

Author(s): Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Published in: 13th International Conference on Quantitative Evaluation of Systems, QEST 2016, Issue LNCS 9826, 2016, Page(s) 55-71
DOI: 10.1007/978-3-319-43425-4_4

Mastering Operational Limitations of LEO Satellites: The GomX-3 Approach

Author(s): Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn R. Haverkort, Marijn Jongerden, Kim G. Larsen, and Erik R. Wognsen
Published in: 67th International Astronautical Congress, IAC 2016, 2016

Flexible support for time and costs in scenario-aware dataflow

Author(s): Arnd Hartmanns, Holger Hermanns, Michael Bungert
Published in: Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16, 2016, Page(s) 1-10
DOI: 10.1145/2968478.2968496

Facets of Software Doping

Author(s): Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns
Published in: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA (2) 2016, Issue LNCS 9953, 2016, Page(s) 601-608
DOI: 10.1007/978-3-319-47169-3_46

My O Is Bigger Than Yours

Author(s): Holger Hermanns
Published in: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, 2016
DOI: 10.4230/LIPIcs.FSTTCS.2016.3

Battery-Aware Scheduling in Low Orbit: The GomX-3 Case

Author(s): Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krčál, Gilles Nies, Marvin Stenger
Published in: 21st International Symposium on Formal Methods, FM 2016, Issue LNCS 9995, 2016, Page(s) 559-576
DOI: 10.1007/978-3-319-48989-6_34

Book chapters (5)

A Model-Based Certification Framework for the EnergyBus Standard

Author(s): Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
Published in: Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, Issue 8461, 2014, Page(s) 84-99
DOI: 10.1007/978-3-662-43613-4_6

Teaching Academic Concurrency to Amazing Students

Author(s): Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
Published in: Models, Algorithms, Logics and Tools, Issue 10460, 2017, Page(s) 170-195
DOI: 10.1007/978-3-319-63121-9_9

From Lotosphere to Thermosphere

Author(s): Holger Hermanns
Published in: ModelEd, TestEd, TrustEd, Issue 10500, 2017, Page(s) 357-367
DOI: 10.1007/978-3-319-68270-9_18

Better Automated Importance Splitting for Transient Rare Events

Author(s): Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns
Published in: Dependable Software Engineering. Theories, Tools, and Applications, Issue 10606, 2017, Page(s) 42-58
DOI: 10.1007/978-3-319-69483-2_3

Markov Automata on Discount!

Author(s): Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Published in: Measurement, Modelling and Evaluation of Computing Systems, Issue 10740, 2018, Page(s) 19-34
DOI: 10.1007/978-3-319-74947-1_2

Other (1)

Discounted Markov Automata

Author(s): Yuliya Butkova
Published in: POWVER Technical Report, 2018