Power to the People. Verified.

Pubblicazioni

The quest for minimal quotients for probabilistic and Markov automata

Autori: Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
Pubblicato in: Information and Computation, Numero 262, 2018, Pagina/e 162-186, ISSN 0890-5401
Editore: Academic Press
DOI: 10.1016/j.ic.2018.08.003

Doping Tests for Cyber-physical Systems

Autori: Sebastian Biewer, Pedro R. D’argenio, Holger Hermanns
Pubblicato in: ACM Transactions on Modeling and Computer Simulation, Numero 31/3, 2021, Pagina/e 1-27, ISSN 1049-3301
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3449354

Centralized and Decentralized Routing Solutions for Present and Future Space Information Networks

Autori: Juan A. Fraire, Elias L. Gasparini
Pubblicato in: IEEE Network, Numero 35/4, 2021, Pagina/e 110-117, ISSN 0890-8044
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/mnet.011.2100102

Routing in Delay-Tolerant Networks under uncertain contact plans

Autori: Fernando D. Raverta, Juan A. Fraire, Pablo G. Madoery, Ramiro A. Demasi, Jorge M. Finochietto, Pedro R. D’Argenio
Pubblicato in: Ad Hoc Networks, Numero 123, 2021, Pagina/e 102663, ISSN 1570-8705
Editore: Elsevier BV
DOI: 10.1016/j.adhoc.2021.102663

Revising Computer Science Networking Hands-On Courses in the Context of the Future Internet

Autori: Juan A. Fraire, Juan E. Duran
Pubblicato in: IEEE Transactions on Education, Numero 64/2, 2021, Pagina/e 133-138, ISSN 0018-9359
Editore: IEEE Education Society
DOI: 10.1109/te.2020.3015673

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

Autori: Jorg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, Numero 34/09, 2020, Pagina/e 13569-13575, ISSN 2374-3468
Editore: Association for the Advancement of Artificial Intelligence
DOI: 10.1609/aaai.v34i09.7083

Battery-aware scheduling in low orbit: the GomX–3 case

Autori: Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krčál, Gilles Nies, Marvin Stenger
Pubblicato in: Formal Aspects of Computing, Numero 31/2, 2019, Pagina/e 261-285, ISSN 0934-5043
Editore: Springer Verlag
DOI: 10.1007/s00165-018-0458-2

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

Autori: Gregory Stock, Juan A. Fraire, Tobias Momke, Holger Hermanns, Fakhri Babayev, Eduardo Cruz
Pubblicato in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Numero 39/11, 2020, Pagina/e 3762-3773, ISSN 0278-0070
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2020.3012751

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

Autori: Juan A. Fraire, Gilles Nies, Carsten Gerstacker, Holger Hermanns, Kristian Bay, Morten Bisgaard
Pubblicato in: IEEE Transactions on Green Communications and Networking, Numero 4/1, 2020, Pagina/e 236-245, ISSN 2473-2400
Editore: IEEE
DOI: 10.1109/tgcn.2019.2954166

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

Autori: Juan A. Fraire, Carsten Gerstacker, Holger Hermanns, Gilles Nies, Morten Bisgaard, Kristian Bay
Pubblicato in: International Journal of Satellite Communications and Networking, Numero 39/2, 2021, Pagina/e 193-204, ISSN 1542-0973
Editore: John Wiley & Sons Inc.
DOI: 10.1002/sat.1374

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison

Autori: Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Pubblicato in: Journal of Artificial Intelligence Research, Numero 68, 2020, Pagina/e 247-310, ISSN 1076-9757
Editore: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.11595

Mastering operational limitations of LEO satellites – The GomX-3 approach

Autori: Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn Haverkort, Marijn Jongerden, Kim G. Larsen, Erik R. Wognsen
Pubblicato in: Acta Astronautica, Numero 151, 2018, Pagina/e 726-735, ISSN 0094-5765
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.actaastro.2018.04.040

Connection models for the Internet-of-Things

Autori: Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
Pubblicato in: Frontiers of Computer Science, Numero 14/3, 2020, ISSN 2095-2228
Editore: Springer Verlag
DOI: 10.1007/s11704-018-7395-3

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

Autori: Holger Hermanns, Jan Krcál, Gilles Nies
Pubblicato in: Leibniz Transactions on Embedded Systems, Numero Vol 4, Numero 1, 2017, ISSN 2199-2002
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI)
DOI: 10.4230/lites-v004-i001-a004

Routing in the Space Internet: A contact graph routing tutorial

Autori: Juan A. Fraire, Olivier De Jonckère, Scott C. Burleigh
Pubblicato in: Journal of Network and Computer Applications, Numero 174, 2021, Pagina/e 102884, ISSN 1084-8045
Editore: Academic Press
DOI: 10.1016/j.jnca.2020.102884

Interval Markov Decision Processes with Multiple Objectives

Autori: Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Pubblicato in: ACM Transactions on Modeling and Computer Simulation, Numero 29/4, 2019, Pagina/e 1-31, ISSN 1049-3301
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3309683

A Modest Approach to Markov Automata

Autori: Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
Pubblicato in: ACM Transactions on Modeling and Computer Simulation, Numero 31/3, 2021, Pagina/e 1-34, ISSN 1049-3301
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3449355

What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research

Autori: Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum
Pubblicato in: Artificial Intelligence, Numero 296, 2021, Pagina/e 103473, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2021.103473

An efficient statistical model checker for nondeterminism and rare events

Autori: Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Pubblicato in: International Journal on Software Tools for Technology Transfer, Numero 22/6, 2020, Pagina/e 759-780, ISSN 1433-2779
Editore: Springer Verlag
DOI: 10.1007/s10009-020-00563-2

Automated compositional importance splitting

Autori: Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
Pubblicato in: Science of Computer Programming, Numero 174, 2019, Pagina/e 90-108, ISSN 0167-6423
Editore: Elsevier BV
DOI: 10.1016/j.scico.2019.01.006

Distributed Contact Plan Design for GNSSs

Autori: Zhibo Yan, Juan Andres Fraire, Kanglian Zhao, Hongcheng Yan, Pablo G. Madoery, Wenfeng Li, Hong Yang
Pubblicato in: IEEE Transactions on Aerospace and Electronic Systems, Numero 56/1, 2020, Pagina/e 660-672, ISSN 0018-9251
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/taes.2019.2917492

Faster (1+µ)-Approximation for Unsplittable Flow on a Path via Resource Augmentation and Back

Autori: Fabrizio Grandoni, Tobias Mömke, Andreas Wiese
Pubblicato in: 29th Annual European Symposium on Algorithms (ESA 2021), Numero LIPICS 204, 2021, Pagina/e 49:1--49:15
Editore: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.esa.2021.49

Components in Probabilistic Systems: Suitable by Construction

Autori: Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Pubblicato 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, Numero 12476, 2020, Pagina/e 240-261, ISBN 978-3-030-61361-7
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-61362-4_13

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

Autori: Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Pubblicato in: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017, Pagina/e 44-51, ISBN 9781450363464
Editore: ACM
DOI: 10.1145/3150928.3150945

Cyber-Physical Doping Tests

Autori: Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Pubblicato in: 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2018, Pagina/e 18-19, ISBN 978-1-5386-6748-4
Editore: IEEE
DOI: 10.1109/mt-cps.2018.00016

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

Autori: Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
Pubblicato 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, Numero 11429, 2019, Pagina/e 69-92, ISBN 978-3-030-17501-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-17502-3_5

Explainability as a Non-Functional Requirement

Autori: Maximilian A. Kohl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender
Pubblicato in: 2019 IEEE 27th International Requirements Engineering Conference (RE), 2019, Pagina/e 363-368, ISBN 978-1-7281-3912-8
Editore: IEEE
DOI: 10.1109/re.2019.00046

Efficient Monitoring of Real Driving Emissions

Autori: Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
Pubblicato in: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings, Numero 11237, 2018, Pagina/e 299-315, ISBN 978-3-030-03768-0
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-03769-7_17

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

Autori: Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard
Pubblicato in: 2018 IEEE Global Communications Conference (GLOBECOM), 2018, Pagina/e 1-7, ISBN 978-1-5386-4727-1
Editore: IEEE
DOI: 10.1109/glocom.2018.8647822

Component-aware Input-Output Conformance

Autori: Alexander Graf-Brill, Holger Hermanns
Pubblicato 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, Numero 11535, 2019, Pagina/e 111-128, ISBN 978-3-030-21758-7
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-21759-4_7

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

Autori: Pedro R. D’Argenio, Raúl E. Monti
Pubblicato in: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Numero 11187, 2018, Pagina/e 132-152, ISBN 978-3-030-02507-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_8

Continuous-Time Markov Decisions Based on Partial Exploration

Autori: Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Křetínský
Pubblicato in: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Numero 11138, 2018, Pagina/e 317-334, ISBN 978-3-030-01089-8
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-01090-4_19

Conformance-Based Doping Detection for Cyber-Physical Systems

Autori: Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
Pubblicato 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, Numero 12136, 2020, Pagina/e 59-77, ISBN 978-3-030-50085-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-50086-3_4

Breaking the Barrier of 2 for the Storage Allocation Problem

Autori: Tobias Mömke, Andreas Wiese
Pubblicato in: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, Numero LIPICS 168, 2020, Pagina/e 86:1--86:19
Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2020.86

A Modest Approach to Modelling and Checking Markov Automata

Autori: Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
Pubblicato in: Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings, Numero 11785, 2019, Pagina/e 52-69, ISBN 978-3-030-30280-1
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-30281-8_4

Deep Statistical Model Checking

Autori: Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Pubblicato 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, Numero 12136, 2020, Pagina/e 96-114, ISBN 978-3-030-50085-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-50086-3_6

Doping Tests for Cyber-Physical Systems

Autori: Sebastian Biewer, Pedro D’Argenio, Holger Hermanns
Pubblicato in: Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings, Numero 11785, 2019, Pagina/e 313-331, ISBN 978-3-030-30280-1
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-30281-8_18

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

Autori: Santiago M. Henn, Juan A. Fraire, Pablo C. Marino, Maximiliano Fischer, Andrea Bianco, Holger Hermanns
Pubblicato in: 2019 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2019, Pagina/e 100-105, ISBN 978-1-7281-1545-0
Editore: IEEE
DOI: 10.1109/smc-it.2019.00018

Lightweight Statistical Model Checking in Nondeterministic Continuous Time

Autori: Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Pubblicato in: Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Numero 11245, 2018, Pagina/e 336-353, ISBN 978-3-030-03420-7
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-03421-4_22

Rare Event Simulation for Non-Markovian Repairable Fault Trees

Autori: Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D’Argenio, Mariëlle Stoelinga
Pubblicato 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, Numero 12078, 2020, Pagina/e 463-482, ISBN 978-3-030-45189-9
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-45190-5_26

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

Autori: Alexis A. Dowhuszko, Juan Fraire, Musbah Shaat, Ana Perez-Neira
Pubblicato in: 2020 22nd International Conference on Transparent Optical Networks (ICTON), 2020, Pagina/e 1-6, ISBN 978-1-7281-8423-4
Editore: IEEE
DOI: 10.1109/icton51198.2020.9203447

Momba: JANI Meets Python

Autori: Maximilian A. Köhl, Michaela Klauck, Holger Hermanns
Pubblicato 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, Numero 12652, 2021, Pagina/e 389-398, ISBN 978-3-030-72012-4
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-72013-1_23

The 10,000 Facets of MDP Model Checking

Autori: Christel Baier, Holger Hermanns, Joost-Pieter Katoen
Pubblicato in: Computing and Software Science - State of the Art and Perspectives, Numero 10000, 2019, Pagina/e 420-451, ISBN 978-3-319-91907-2
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-91908-9_21

Sampling Distributed Schedulers for Resilient Space Communication

Autori: Pedro R. D’Argenio, Juan A. Fraire, Arnd Hartmanns
Pubblicato in: NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings, Numero 12229, 2020, Pagina/e 291-310, ISBN 978-3-030-55753-9
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-55754-6_17

The Quantitative Verification Benchmark Set

Autori: Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
Pubblicato 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, Numero 11427, 2019, Pagina/e 344-350, ISBN 978-3-030-17461-3
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-17462-0_20

RTLola on Board: Testing Real Driving Emissions on your Phone

Autori: Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
Pubblicato 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, Numero 12652, 2021, Pagina/e 365-372, ISBN 978-3-030-72012-4
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-72013-1_20

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

Autori: Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Pubblicato in: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Numero LNCS 10201, 2017, Pagina/e 83-110
Editore: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54434-1_4

Long-Run Rewards for Markov Automata

Autori: Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Pubblicato in: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Numero LNCS 10206, 2017, Pagina/e 188-203, ISBN 978-3-662-54580-5
Editore: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54580-5_11

A Model-Based Certification Framework for the EnergyBus Standard

Autori: Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
Pubblicato 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, Numero 8461, 2014, Pagina/e 84-99, ISBN 978-3-662-43612-7
Editore: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-43613-4_6

Teaching Academic Concurrency to Amazing Students

Autori: Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
Pubblicato in: Models, Algorithms, Logics and Tools, Numero 10460, 2017, Pagina/e 170-195
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-63121-9_9

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes

Autori: Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Pubblicato in: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Numero LNCS 10503, 2017, Pagina/e 207-223, ISBN 978-3-319-66334-0
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-66335-7_13

Model-Based Testing for Asynchronous Systems

Autori: Alexander Graf-Brill, Holger Hermanns
Pubblicato 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, Numero LNCS 10471, 2017, Pagina/e 66-82, ISBN 978-3-319-67112-3
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-67113-0_5

From Lotosphere to Thermosphere

Autori: Holger Hermanns
Pubblicato in: ModelEd, TestEd, TrustEd, Numero 10500, 2017, Pagina/e 357-367, ISBN 978-3-319-68269-3
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-68270-9_18

Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs

Autori: Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled Elbassioni
Pubblicato in: Dependable Software Engineering. Theories, Tools, and Applications - 3rd International Symposium, SETTA 2017, Numero LNCS 10606, 2017, Pagina/e 25-41, ISBN 978-3-319-69482-5
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-69483-2_2

Models of Connected Things: On Priced Probabilistic Timed Reo

Autori: Kangli He, Holger Hermanns, Yixiang Chen
Pubblicato in: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), 2017, Pagina/e 234-243, ISBN 978-1-5386-0367-3
Editore: IEEE
DOI: 10.1109/compsac.2017.172

Compositional Construction of Importance Functions in Fully Automated Importance Splitting

Autori: Carlos Budde, Pedro D'Argenio, Raúl Monti
Pubblicato in: Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017, ISBN 978-1-63190-141-6
Editore: ACM
DOI: 10.4108/eai.25-10-2016.2266501

Better Automated Importance Splitting for Transient Rare Events

Autori: Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns
Pubblicato in: Dependable Software Engineering. Theories, Tools, and Applications, Numero 10606, 2017, Pagina/e 42-58, ISBN 978-3-319-69482-5
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-69483-2_3

Efficient simulation-based verification of probabilistic timed automata

Autori: Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
Pubblicato in: 2017 Winter Simulation Conference (WSC), 2017, Pagina/e 1419-1430, ISBN 978-1-5386-3428-8
Editore: IEEE
DOI: 10.1109/wsc.2017.8247885

Markov Automata on Discount!

Autori: Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Pubblicato in: Measurement, Modelling and Evaluation of Computing Systems, Numero 10740, 2018, Pagina/e 19-34
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-74947-1_2

A Statistical Model Checker for Nondeterminism and Rare Events

Autori: Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Pubblicato in: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Numero LNCS 10806, 2018, Pagina/e 340-358, ISBN 978-3-319-89963-3
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-89963-3_20

A Hierarchy of Scheduler Classes for Stochastic Automata

Autori: Pedro R. D’Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
Pubblicato in: 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018, Numero LNCS 10803, 2018, Pagina/e 384-402, ISBN 978-3-319-89366-2
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-89366-2_21

From Machine Ethics To Machine Explainability and Back

Autori: Kevin Baum, Holger Hermanns, Timo Speith
Pubblicato in: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, 2018, Pagina/e 384-402
Editore: International Symposium on Artificial Intelligence and Mathematics

Compiling Probabilistic Model Checking into Probabilistic Planning

Autori: Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Pubblicato in: International Conference on Automated Planning and Scheduling, 2018, Pagina/e 150-154
Editore: AAAI Publications

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions

Autori: Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
Pubblicato in: EPiC Series in Computing volume 57, 2018, Pagina/e 1--17
Editore: EasyChair
DOI: 10.29007/6zxt

Effective Static and Dynamic Fault Tree Analysis

Autori: Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krčál, Pavel Krčál
Pubblicato in: 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, Numero LNCS 9922, 2016, Pagina/e 266-280
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-45477-1_21

Exploiting Robust Optimization for Interval Probabilistic Bisimulation

Autori: Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Pubblicato in: 13th International Conference on Quantitative Evaluation of Systems, QEST 2016, Numero LNCS 9826, 2016, Pagina/e 55-71
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-43425-4_4

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

Autori: 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
Pubblicato in: 67th International Astronautical Congress, IAC 2016, 2016
Editore: International Astronautical Foundation

Flexible support for time and costs in scenario-aware dataflow

Autori: Arnd Hartmanns, Holger Hermanns, Michael Bungert
Pubblicato in: Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16, 2016, Pagina/e 1-10, ISBN 9781-450344852
Editore: ACM Press
DOI: 10.1145/2968478.2968496

Facets of Software Doping

Autori: Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns
Pubblicato in: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA (2) 2016, Numero LNCS 9953, 2016, Pagina/e 601-608
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-47169-3_46

My O Is Bigger Than Yours

Autori: Holger Hermanns
Pubblicato in: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, 2016
Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSTTCS.2016.3

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

Autori: Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krčál, Gilles Nies, Marvin Stenger
Pubblicato in: 21st International Symposium on Formal Methods, FM 2016, Numero LNCS 9995, 2016, Pagina/e 559-576
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-48989-6_34

Concurrent Programming from pseuCo to Petri

Autori: Felix Freiberger, Holger Hermanns
Pubblicato in: Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings, Numero 11522, 2019, Pagina/e 279-297, ISBN 978-3-030-21570-5
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-21571-2_16

Admissibility in Probabilistic Argumentation

Autori: Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Pubblicato in: Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning, 2021, Pagina/e 87-98, ISBN 978-1-956792-99-7
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2021/9

Optimal Time-Bounded Reachability Analysis for Concurrent Systems

Autori: Yuliya Butkova, Gereon Fox
Pubblicato 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, Numero 11428, 2019, Pagina/e 191-208, ISBN 978-3-030-17464-4
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-17465-1_11

Controller Verification meets Controller Code: A Case Study

Autori: Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám
Pubblicato in: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2021
Editore: ACM
DOI: 10.1145/3487212.3487337

A compositional semantics for Repairable Fault Trees with general distributions

Autori: Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio
Pubblicato in: EPiC Series in Computing volume 73, 2020, Pagina/e 354-334
Editore: EasyChair
DOI: 10.29007/p16v

Towards a Framework Combining Machine Ethics and Machine Explainability

Autori: Kevin Baum, Holger Hermanns, Timo Speith
Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 286, 2019, Pagina/e 34-49, ISSN 2075-2180
Editore: Open Publishing Association
DOI: 10.4204/eptcs.286.4

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification

Autori: Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
Pubblicato 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, Numero 12477, 2020, Pagina/e 416-439, ISBN 978-3-030-61469-0
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-61470-6_25

A Modest Markov Automata Tutorial

Autori: Arnd Hartmanns, Holger Hermanns
Pubblicato in: Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures, Numero 11810, 2019, Pagina/e 250-276, ISBN 978-3-030-31422-4
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-31423-1_8

A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking

Autori: Michaela Klauck, Holger Hermanns
Pubblicato in: Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings, Numero 12846, 2021, Pagina/e 15-38, ISBN 978-3-030-85171-2
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-85172-9_2

Measuring Masking Fault-Tolerance

Autori: Pablo F. Castro, Pedro R. D’Argenio, Ramiro Demasi, Luciano Putruele
Pubblicato 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, Numero 11428, 2019, Pagina/e 375-392, ISBN 978-3-030-17464-4
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-17465-1_21

Syntactic Partial Order Compression for Probabilistic Reachability

Autori: Gereon Fox, Daniel Stan, Holger Hermanns
Pubblicato in: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings, Numero 11388, 2019, Pagina/e 446-467, ISBN 978-3-030-11244-8
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-11245-5_21

È in corso la ricerca di dati su OpenAIRE...

Pubblicazioni

Condividi questa pagina

Scarica