


default search action
Holger Hermanns
Person information
- affiliation: Saarland University, Saarbrücken, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j75]Juan A. Fraire, Santiago Henn, Gregory Stock, Robin Ohs, Holger Hermanns, Felix Walter, Lynn Van Broock, Gabriel Ruffini, Federico Machado, Pablo Serratti, Jose Relloso:
Quantitative analysis of segmented satellite network architectures: A maritime surveillance case study. Comput. Networks 255: 110874 (2024) - [c201]Hubert Garavel, Holger Hermanns, David Parker:
Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe. Principles of Verification (2) 2024: 46-74 - [c200]Holger Hermanns, Marieke Huisman:
Making ETAPS Gold Open Access. Principles of Verification (3) 2024: 487-500 - [c199]Sarah Sterz
, Kevin Baum
, Sebastian Biewer
, Holger Hermanns
, Anne Lauber-Rönsberg
, Philip Meinel
, Markus Langer
:
On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. FAccT 2024: 2495-2507 - [c198]Gregory Stock, Juan A. Fraire, Santiago Henn, Holger Hermanns, Andreas Schmidt:
A Stability-First Approach to Running TCP Over Starlink. ICC Workshops 2024: 1708-1713 - [c197]Julius Wenzel, Maximilian A. Köhl
, Sarah Sterz
, Hanwei Zhang
, Andreas Schmidt
, Christof Fetzer, Holger Hermanns
:
Traceability and Accountability by Construction. ISoLA (4) 2024: 258-280 - [c196]Nazareno Garagiola
, Holger Hermanns
, Pedro R. D'Argenio
:
Coyan: Fault Tree Analysis - Exact and Scalable. SAFECOMP 2024: 235-250 - [c195]Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang:
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. SETTA 2024: 310-326 - [c194]Kevin Baum, Sebastian Biewer, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Sarah Sterz:
Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight. SPIN 2024: 3-25 - [c193]Nils Husung
, Clemens Dubslaff
, Holger Hermanns
, Maximilian A. Köhl
:
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. TACAS (3) 2024: 255-275 - [c192]Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang:
AI Act for the Working Programmer. AISoLA 2024: 74-98 - [e11]Holger Hermanns
, Jun Sun
, Lei Bu
:
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Lecture Notes in Computer Science 14464, Springer 2024, ISBN 978-981-99-8663-7 [contents] - [d8]Nazareno Garagiola
, Pedro R. D'Argenio
, Holger Hermanns
:
Artifact for "Coyan: Fault Tree Analysis - Exact and Scalable". Zenodo, 2024 - [d7]Nils Husung
, Clemens Dubslaff
, Holger Hermanns
, Maximilian A. Köhl
:
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. Version 2. Zenodo, 2024 [all versions] - [i32]Sarah Sterz, Kevin Baum
, Sebastian Biewer, Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Markus Langer:
On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives. CoRR abs/2404.04059 (2024) - [i31]Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang:
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. CoRR abs/2405.14210 (2024) - [i30]Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang:
AI Act for the Working Programmer. CoRR abs/2408.01449 (2024) - [i29]Gregory Stock, Juan A. Fraire, Santiago Henn, Holger Hermanns, Andreas Schmidt:
A Stability-first Approach to Running TCP over Starlink. CoRR abs/2408.07460 (2024) - [i28]Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns:
Configuration Monitor Synthesis. CoRR abs/2408.17368 (2024) - 2023
- [j74]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25(2): 205-218 (2023) - [j73]Timo P. Gros, Holger Hermanns
, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Analyzing neural network behavior through deep statistical model checking. Int. J. Softw. Tools Technol. Transf. 25(3): 407-426 (2023) - [j72]Santiago Henn
, Juan A. Fraire
, Holger Hermanns
:
Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing. IEEE Trans. Aerosp. Electron. Syst. 59(5): 7166-7182 (2023) - [j71]Maximilian A. Köhl
, Holger Hermanns
:
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations. ACM Trans. Embed. Comput. Syst. 22(4): 68:1-68:48 (2023) - [c191]Aaron Bies
, Holger Hermanns
, Maximilian A. Köhl
, Andreas Schmidt
:
Matching Distributions Under Structural Constraints. QEST 2023: 221-237 - [d6]Nils Husung
, Clemens Dubslaff
, Holger Hermanns
, Maximilian A. Köhl
:
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. Version 1. Zenodo, 2023 [all versions] - [i27]Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer:
On the Foundations of Cycles in Bayesian Networks. CoRR abs/2301.08608 (2023) - [i26]Sebastian Biewer, Kevin Baum
, Sarah Sterz, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Franz Lehr:
Software Doping Analysis for Human Oversight. CoRR abs/2308.06186 (2023) - 2022
- [j70]Nikolai Käfer
, Christel Baier
, Martin Diller
, Clemens Dubslaff
, Sarah Alice Gaggl
, Holger Hermanns
:
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022) - [j69]Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns
, Mohammad Reza Mousavi:
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. Log. Methods Comput. Sci. 18(1) (2022) - [c190]Gregory Stock, Juan A. Fraire, Holger Hermanns
:
Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study. ASMS/SPSC 2022: 1-8 - [c189]Christel Baier
, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
:
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design 2022: 343-363 - [c188]Timo P. Gros
, Holger Hermanns
, Jörg Hoffmann
, Michaela Klauck
, Maximilian A. Köhl
, Verena Wolf
:
MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) 2022: 430-443 - [c187]Sebastian Biewer
, Holger Hermanns
:
On the Detection of Doped Software by Falsification. FASE 2022: 71-91 - [c186]Holger Hermanns, Gilles Nies:
Quantification of Battery Depletion Risk Made Efficient. NFM 2022: 156-174 - [d5]Timo P. Gros
, Holger Hermanns
, Jörg Hoffmann
, Michaela Klauck
, Maximilian A. Köhl
, Verena Wolf
:
Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents. Zenodo, 2022 - [i25]Gregory Stock, Juan A. Fraire, Holger Hermanns
:
Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study. CoRR abs/2208.02128 (2022) - [i24]Gregory Stock, Juan A. Fraire, Holger Hermanns, Eduardo Cruz, Alastair Isaacs, Zhana Imbrosh:
On the Automation, Optimization, and In-Orbit Validation of Intelligent Satellite Constellation Operations. CoRR abs/2210.11171 (2022) - 2021
- [j68]Markus Langer
, Daniel Oster
, Timo Speith
, Holger Hermanns
, Lena Kästner
, Eva Schmidt
, Andreas Sesing
, Kevin Baum
:
What do we want from Explainable Artificial Intelligence (XAI)? - A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. Artif. Intell. 296: 103473 (2021) - [j67]Juan A. Fraire
, Carsten Gerstacker, Holger Hermanns
, Gilles Nies, Morten Bisgaard, Kristian Bay:
On the scalability of battery-aware contact plan design for LEO satellite constellations. Int. J. Satell. Commun. Netw. 39(2): 193-204 (2021) - [j66]Yuliya Butkova
, Arnd Hartmanns
, Holger Hermanns
:
A Modest Approach to Markov Automata. ACM Trans. Model. Comput. Simul. 31(3): 14:1-14:34 (2021) - [j65]Sebastian Biewer, Pedro R. D'Argenio
, Holger Hermanns
:
Doping Tests for Cyber-physical Systems. ACM Trans. Model. Comput. Simul. 31(3): 16:1-16:27 (2021) - [c185]Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li
, Jorge A. Navas, Valentin Wüstholz:
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) 2021: 201-224 - [c184]Kai Vogelgesang, Juan A. Fraire, Holger Hermanns
:
Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study. GLOBECOM 2021: 1-6 - [c183]Christel Baier
, Martin Diller
, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
, Nikolai Käfer
:
Admissibility in Probabilistic Argumentation. KR 2021: 87-98 - [c182]Felix Freiberger
, Stefan Schupp, Holger Hermanns
, Erika Ábrahám
:
Controller verification meets controller code: a case study. MEMOCODE 2021: 98-103 - [c181]Michaela Klauck
, Holger Hermanns
:
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. QEST 2021: 15-38 - [c180]Sarah Sterz, Kevin Baum
, Anne Lauber-Rönsberg
, Holger Hermanns
:
Towards Perspicuity Requirements. RE Workshops 2021: 159-163 - [c179]Sebastian Biewer
, Bernd Finkbeiner
, Holger Hermanns
, Maximilian A. Köhl
, Yannik Schnitzer
, Maximilian Schwenger
:
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) 2021: 365-372 - [c178]Maximilian A. Köhl
, Michaela Klauck
, Holger Hermanns
:
Momba: JANI Meets Python. TACAS (2) 2021: 389-398 - [d4]Timo P. Gros
, Holger Hermanns
, Michaela Klauck
, Maximilian A. Köhl
:
Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents". Zenodo, 2021 - [d3]Michaela Klauck
, Holger Hermanns
:
Artifact accompanying the paper "A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking". Zenodo, 2021 - [d2]Maximilian A. Köhl
, Michaela Klauck
, Holger Hermanns
:
(TACAS21 Artifact) Momba: JANI Meets Python. Zenodo, 2021 - [i23]Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum:
What Do We Want From Explainable Artificial Intelligence (XAI)? - A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research. CoRR abs/2102.07817 (2021) - [i22]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR abs/2111.05255 (2021) - 2020
- [j64]Christel Baier
, Pedro R. D'Argenio
, Holger Hermanns
:
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57(3-5): 465-512 (2020) - [j63]Felix Freiberger, Holger Hermanns:
LICS-ICALP 2020 Questionnaire Evaluation. Bull. EATCS 132 (2020) - [j62]Kangli He, Holger Hermanns
, Hengyang Wu, Yixiang Chen:
Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14(3): 143401 (2020) - [j61]Michaela Klauck
, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
:
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. J. Artif. Intell. Res. 68: 247-310 (2020) - [j60]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 Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3762-3773 (2020) - [j59]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 Trans. Green Commun. Netw. 4(1): 236-245 (2020) - [c177]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. AAAI 2020: 13569-13575 - [c176]Luca Aceto
, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva:
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR 2020: 5:1-5:3 - [c175]Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns:
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE 2020: 59-77 - [c174]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Deep Statistical Model Checking. FORTE 2020: 96-114 - [c173]Christel Baier
, Holger Hermanns:
From Verification to Explanation (Track Introduction). ISoLA (4) 2020: 1-7 - [c172]Christel Baier
, Clemens Dubslaff
, Holger Hermanns
, Michaela Klauck
, Sascha Klüppelholz
, Maximilian A. Köhl
:
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) 2020: 240-261 - [c171]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. ISoLA (2) 2020: 416-439 - [c170]Renjue Li, Jianlin Li
, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang
, Bai Xue, Holger Hermanns
:
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE 2020: 1630-1634 - [c169]Christel Baier
, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck:
Lab Conditions for Research on Explainable Automated Decisions. TAILOR 2020: 83-90 - [e10]Holger Hermanns
, Lijun Zhang, Naoki Kobayashi, Dale Miller:
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. ACM 2020, ISBN 978-1-4503-7104-9 [contents] - [e9]Holger Hermanns
:
Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings. Lecture Notes in Computer Science 12040, Springer 2020, ISBN 978-3-030-43023-8 [contents] - [d1]Christel Baier
, Clemens Dubslaff
, Holger Hermanns
, Michaela Klauck
, Sascha Klüppelholz
, Maximilian A. Köhl
:
Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". Zenodo, 2020 - [i21]Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi:
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. CoRR abs/2012.03910 (2020)
2010 – 2019
- 2019
- [j58]Morten Bisgaard, David Gerhardt, Holger Hermanns
, Jan Krcál, Gilles Nies
, Marvin Stenger:
Battery-aware scheduling in low orbit: the GomX-3 case. Formal Aspects Comput. 31(2): 261-285 (2019) - [j57]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 Trans. Model. Comput. Simul. 29(4): 27:1-27:31 (2019) - [c168]Felix Freiberger
, Holger Hermanns:
Concurrent Programming from pseuCo to Petri. Petri Nets 2019: 279-297 - [c167]Alexander Graf-Brill, Holger Hermanns:
Component-aware Input-Output Conformance. FORTE 2019: 111-128 - [c166]Yuliya Butkova
, Arnd Hartmanns
, Holger Hermanns
:
A Modest Approach to Modelling and Checking Markov Automata. QEST 2019: 52-69 - [c165]Sebastian Biewer, Pedro R. D'Argenio
, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. QEST 2019: 313-331 - [c164]Arnd Hartmanns
, Holger Hermanns
:
A Modest Markov Automata Tutorial. RW 2019: 250-276 - [c163]Gereon Fox, Daniel Stan
, Holger Hermanns:
Syntactic Partial Order Compression for Probabilistic Reachability. VMCAI 2019: 446-467 - [p2]Christel Baier
, Holger Hermanns, Joost-Pieter Katoen:
The 10, 000 Facets of MDP Model Checking. Computing and Software Science 2019: 420-451 - [i20]Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. CoRR abs/1904.08641 (2019) - 2018
- [j56]Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns
, Christian Eisentraut, David N. Jansen
, Jens Chr. Godskesen:
Probabilistic bisimulation for realistic schedulers. Acta Informatica 55(6): 461-488 (2018) - [j55]Christian Eisentraut, Holger Hermanns
, Johann Schuster, Andrea Turrini
, Lijun Zhang:
The quest for minimal quotients for probabilistic and Markov automata. Inf. Comput. 262: 162-186 (2018) - [c162]Michaela Klauck
, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
:
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS 2018: 150-154 - [c161]Pranav Ashok
, Yuliya Butkova
, Holger Hermanns
, Jan Kretínský
:
Continuous-Time Markov Decisions Based on Partial Exploration. ATVA 2018: 317-334 - [c160]Sebastian Biewer, Pedro R. D'Argenio
, Holger Hermanns
:
Cyber-Physical Doping Tests. MT@CPSWeek 2018: 18-19 - [c159]Juan A. Fraire, Gilles Nies, Holger Hermanns
, Kristian Bay, Morten Bisgaard:
Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. GLOBECOM 2018: 1-7 - [c158]Kevin Baum, Holger Hermanns, Timo Speith:
From Machine Ethics To Machine Explainability and Back. ISAIM 2018 - [c157]Holger Hermanns
, Sebastian Biewer, Pedro R. D'Argenio
, Maximilian A. Köhl:
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR 2018: 1-17 - [c156]Yuliya Butkova, Ralf Wimmer, Holger Hermanns:
Markov Automata on Discount! MMB 2018: 19-34 - [c155]Maximilian A. Köhl
, Holger Hermanns, Sebastian Biewer:
Efficient Monitoring of Real Driving Emissions. RV 2018: 299-315 - [c154]Kevin Baum
, Holger Hermanns
, Timo Speith
:
Towards a Framework Combining Machine Ethics and Machine Explainability. CREST@ETAPS 2018: 34-49 - [i19]Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. CoRR abs/1803.10154 (2018) - [i18]Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský:
Continuous-Time Markov Decisions based on Partial Exploration. CoRR abs/1807.09641 (2018) - 2017
- [j54]Hassan Hatefi, Ralf Wimmer
, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker
, Holger Hermanns
:
Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. 29(4): 629-649 (2017) - [j53]Holger Hermanns
, Jan Krcál, Gilles Nies
:
How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty. Leibniz Trans. Embed. Syst. 4(1): 04:1-04:28 (2017) - [c153]Sebastian Biewer, Felix Freiberger
, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students. Models, Algorithms, Logics and Tools 2017: 170-195 - [c152]Holger Hermanns:
From Lotosphere to Thermosphere. ModelEd, TestEd, TrustEd 2017: 357-367 - [c151]Kangli He, Holger Hermanns
, Yixiang Chen:
Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) 2017: 234-243 - [c150]Pedro R. D'Argenio
, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. ESOP 2017: 83-110 - [c149]Alexander Graf-Brill, Holger Hermanns:
Model-Based Testing for Asynchronous Systems. FMICS-AVoCS 2017: 66-82 - [c148]Zhengkui Zhang, Brian Nielsen
, Kim Guldstrand Larsen
, Gilles Nies
, Marvin Stenger, Holger Hermanns:
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM 2017: 481-495 - [c147]Alexander Graf-Brill, Arnd Hartmanns
, Holger Hermanns
, Steffen Rose:
Modelling and certification for electric mobility. INDIN 2017: 109-114 - [c146]Ernst Moritz Hahn, Vahid Hashemi
, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST 2017: 207-223 - [c145]Vahid Hashemi
, Andrea Turrini
, Ernst Moritz Hahn
, Holger Hermanns, Khaled M. Elbassioni
:
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA 2017: 25-41 - [c144]Yuliya Butkova, Ralf Wimmer
, Holger Hermanns:
Long-Run Rewards for Markov Automata. TACAS (2) 2017: 188-203 - [c143]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS 2017: 44-51 - [e8]Holger Hermanns
, Peter Höfner:
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 244, 2017 [contents] - [i17]Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR abs/1702.04693 (2017) - [i16]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR abs/1706.06875 (2017) - [i15]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi
, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR abs/1710.08986 (2017) - 2016
- [j52]Luis María Ferrer Fioriti, Vahid Hashemi
, Holger Hermanns
, Andrea Turrini:
Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. 28(1): 109-143 (2016) - [j51]Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
, Matteo Cimini:
PTRebeca: Modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128: 22-50 (2016) - [c142]Arnd Hartmanns
, Holger Hermanns, Jan Krcál:
Schedulers are no Prophets. Semantics, Logics, and Calculi 2016: 214-235