Skip to main content

Power to the People. Verified.

Searching for OpenAIRE data...

Publications

The quest for minimal quotients for probabilistic and Markov automata

Author(s): Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
Published in: Information and Computation, Issue 262, 2018, Page(s) 162-186, ISSN 0890-5401
DOI: 10.1016/j.ic.2018.08.003

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking

Author(s): Jorg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 34/09, 2020, Page(s) 13569-13575, ISSN 2374-3468
DOI: 10.1609/aaai.v34i09.7083

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: Formal Aspects of Computing, Issue 31/2, 2019, Page(s) 261-285, ISSN 0934-5043
DOI: 10.1007/s00165-018-0458-2

Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust

Author(s): Gregory Stock, Juan A. Fraire, Tobias Momke, Holger Hermanns, Fakhri Babayev, Eduardo Cruz
Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Issue 39/11, 2020, Page(s) 3762-3773, ISSN 0278-0070
DOI: 10.1109/tcad.2020.3012751

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study

Author(s): Juan A. Fraire, Gilles Nies, Carsten Gerstacker, Holger Hermanns, Kristian Bay, Morten Bisgaard
Published in: IEEE Transactions on Green Communications and Networking, Issue 4/1, 2020, Page(s) 236-245, ISSN 2473-2400
DOI: 10.1109/tgcn.2019.2954166

On the scalability of battery‐aware contact plan design for LEO satellite constellations

Author(s): Juan A. Fraire, Carsten Gerstacker, Holger Hermanns, Gilles Nies, Morten Bisgaard, Kristian Bay
Published in: International Journal of Satellite Communications and Networking, Issue 39/2, 2021, Page(s) 193-204, ISSN 1542-0973
DOI: 10.1002/sat.1374

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 Haverkort, Marijn Jongerden, Kim G. Larsen, Erik R. Wognsen
Published in: Acta Astronautica, Issue 151, 2018, Page(s) 726-735, ISSN 0094-5765
DOI: 10.1016/j.actaastro.2018.04.040

Connection models for the Internet-of-Things

Author(s): Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
Published in: Frontiers of Computer Science, Issue 14/3, 2020, ISSN 2095-2228
DOI: 10.1007/s11704-018-7395-3

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

Routing in the Space Internet: A contact graph routing tutorial

Author(s): Juan A. Fraire, Olivier De Jonckère, Scott C. Burleigh
Published in: Journal of Network and Computer Applications, Issue 174, 2021, Page(s) 102884, ISSN 1084-8045
DOI: 10.1016/j.jnca.2020.102884

Interval Markov Decision Processes with Multiple Objectives

Author(s): Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Published in: ACM Transactions on Modeling and Computer Simulation, Issue 29/4, 2019, Page(s) 1-31, ISSN 1049-3301
DOI: 10.1145/3309683

An efficient statistical model checker for nondeterminism and rare events

Author(s): Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Published in: International Journal on Software Tools for Technology Transfer, Issue 22/6, 2020, Page(s) 759-780, ISSN 1433-2779
DOI: 10.1007/s10009-020-00563-2

Automated compositional importance splitting

Author(s): Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
Published in: Science of Computer Programming, Issue 174, 2019, Page(s) 90-108, ISSN 0167-6423
DOI: 10.1016/j.scico.2019.01.006

Distributed Contact Plan Design for GNSSs

Author(s): Zhibo Yan, Juan Andres Fraire, Kanglian Zhao, Hongcheng Yan, Pablo G. Madoery, Wenfeng Li, Hong Yang
Published in: IEEE Transactions on Aerospace and Electronic Systems, Issue 56/1, 2020, Page(s) 660-672, ISSN 0018-9251
DOI: 10.1109/taes.2019.2917492

Components in Probabilistic Systems: Suitable by Construction

Author(s): Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Published in: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, Issue 12476, 2020, Page(s) 240-261
DOI: 10.1007/978-3-030-61362-4_13

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)

Author(s): Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, Issue 11429, 2019, Page(s) 69-92
DOI: 10.1007/978-3-030-17502-3_5

Efficient Monitoring of Real Driving Emissions

Author(s): Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
Published in: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings, Issue 11237, 2018, Page(s) 299-315
DOI: 10.1007/978-3-030-03769-7_17

Component-aware Input-Output Conformance

Author(s): Alexander Graf-Brill, Holger Hermanns
Published in: Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings, Issue 11535, 2019, Page(s) 111-128
DOI: 10.1007/978-3-030-21759-4_7

Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism

Author(s): Pedro R. D’Argenio, Raúl E. Monti
Published in: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Issue 11187, 2018, Page(s) 132-152
DOI: 10.1007/978-3-030-02508-3_8

Continuous-Time Markov Decisions Based on Partial Exploration

Author(s): Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Křetínský
Published in: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Issue 11138, 2018, Page(s) 317-334
DOI: 10.1007/978-3-030-01090-4_19

Conformance-Based Doping Detection for Cyber-Physical Systems

Author(s): Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
Published in: Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Issue 12136, 2020, Page(s) 59-77
DOI: 10.1007/978-3-030-50086-3_4

A Modest Approach to Modelling and Checking Markov Automata

Author(s): Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
Published in: Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings, Issue 11785, 2019, Page(s) 52-69
DOI: 10.1007/978-3-030-30281-8_4

Deep Statistical Model Checking

Author(s): Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Published in: Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Issue 12136, 2020, Page(s) 96-114
DOI: 10.1007/978-3-030-50086-3_6

Doping Tests for Cyber-Physical Systems

Author(s): Sebastian Biewer, Pedro D’Argenio, Holger Hermanns
Published in: Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings, Issue 11785, 2019, Page(s) 313-331
DOI: 10.1007/978-3-030-30281-8_18

Lightweight Statistical Model Checking in Nondeterministic Continuous Time

Author(s): Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Issue 11245, 2018, Page(s) 336-353
DOI: 10.1007/978-3-030-03421-4_22

Rare Event Simulation for Non-Markovian Repairable Fault Trees

Author(s): Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D’Argenio, Mariëlle Stoelinga
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I, Issue 12078, 2020, Page(s) 463-482
DOI: 10.1007/978-3-030-45190-5_26

Momba: JANI Meets Python

Author(s): Maximilian A. Köhl, Michaela Klauck, Holger Hermanns
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II, Issue 12652, 2021, Page(s) 389-398
DOI: 10.1007/978-3-030-72013-1_23

The 10,000 Facets of MDP Model Checking

Author(s): Christel Baier, Holger Hermanns, Joost-Pieter Katoen
Published in: Computing and Software Science - State of the Art and Perspectives, Issue 10000, 2019, Page(s) 420-451
DOI: 10.1007/978-3-319-91908-9_21

Sampling Distributed Schedulers for Resilient Space Communication

Author(s): Pedro R. D’Argenio, Juan A. Fraire, Arnd Hartmanns
Published in: NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings, Issue 12229, 2020, Page(s) 291-310
DOI: 10.1007/978-3-030-55754-6_17

The Quantitative Verification Benchmark Set

Author(s): Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I, Issue 11427, 2019, Page(s) 344-350
DOI: 10.1007/978-3-030-17462-0_20

RTLola on Board: Testing Real Driving Emissions on your Phone

Author(s): Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II, Issue 12652, 2021, Page(s) 365-372
DOI: 10.1007/978-3-030-72013-1_20

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

Concurrent Programming from pseuCo to Petri

Author(s): Felix Freiberger, Holger Hermanns
Published in: Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings, Issue 11522, 2019, Page(s) 279-297
DOI: 10.1007/978-3-030-21571-2_16

Optimal Time-Bounded Reachability Analysis for Concurrent Systems

Author(s): Yuliya Butkova, Gereon Fox
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, Issue 11428, 2019, Page(s) 191-208
DOI: 10.1007/978-3-030-17465-1_11

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification

Author(s): Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
Published in: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II, Issue 12477, 2020, Page(s) 416-439
DOI: 10.1007/978-3-030-61470-6_25

A Modest Markov Automata Tutorial

Author(s): Arnd Hartmanns, Holger Hermanns
Published in: Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures, Issue 11810, 2019, Page(s) 250-276
DOI: 10.1007/978-3-030-31423-1_8

Measuring Masking Fault-Tolerance

Author(s): Pablo F. Castro, Pedro R. D’Argenio, Ramiro Demasi, Luciano Putruele
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, Issue 11428, 2019, Page(s) 375-392
DOI: 10.1007/978-3-030-17465-1_21

Syntactic Partial Order Compression for Probabilistic Reachability

Author(s): Gereon Fox, Daniel Stan, Holger Hermanns
Published in: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings, Issue 11388, 2019, Page(s) 446-467
DOI: 10.1007/978-3-030-11245-5_21

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters

Author(s): Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Published in: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017, Page(s) 44-51
DOI: 10.1145/3150928.3150945

Cyber-Physical Doping Tests

Author(s): Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Published in: 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2018, Page(s) 18-19
DOI: 10.1109/mt-cps.2018.00016

Explainability as a Non-Functional Requirement

Author(s): Maximilian A. Kohl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender
Published in: 2019 IEEE 27th International Requirements Engineering Conference (RE), 2019, Page(s) 363-368
DOI: 10.1109/re.2019.00046

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study

Author(s): Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard
Published in: 2018 IEEE Global Communications Conference (GLOBECOM), 2018, Page(s) 1-7
DOI: 10.1109/glocom.2018.8647822

Towards the Design of Space Missions with Optimal Accessibility via Relay Satellites

Author(s): Santiago M. Henn, Juan A. Fraire, Pablo C. Marino, Maximiliano Fischer, Andrea Bianco, Holger Hermanns
Published in: 2019 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2019, Page(s) 100-105
DOI: 10.1109/smc-it.2019.00018

LEO satellite constellations to offload optical terrestrial networks in placement of popular content in 5G edge nodes

Author(s): Alexis A. Dowhuszko, Juan Fraire, Musbah Shaat, Ana Perez-Neira
Published in: 2020 22nd International Conference on Transparent Optical Networks (ICTON), 2020, Page(s) 1-6
DOI: 10.1109/icton51198.2020.9203447

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

Towards a Framework Combining Machine Ethics and Machine Explainability

Author(s): Kevin Baum, Holger Hermanns, Timo Speith
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 286, 2019, Page(s) 34-49, ISSN 2075-2180
DOI: 10.4204/eptcs.286.4

Discounted Markov Automata

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