Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHolger 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
- 2023
[j70]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)- [c191]Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt:
Matching Distributions Under Structural Constraints. QEST 2023: 221-237 - [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
- [j69]Nikolai Käfer
, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns:
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022) - [j68]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 - [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
- [j67]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) - [j66]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) - [j65]Yuliya Butkova, Arnd Hartmanns, Holger Hermanns:
A Modest Approach to Markov Automata. ACM Trans. Model. Comput. Simul. 31(3): 14:1-14:34 (2021) - [j64]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 - [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
- [j63]Christel Baier, Pedro R. D'Argenio, Holger Hermanns:
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57(3-5): 465-512 (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] - [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. Reasoning Web 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 - [c141]Arnd Hartmanns, Holger Hermanns, Michael Bungert:
Flexible support for time and costs in scenario-aware dataflow. EMSOFT 2016: 3:1-3:10 - [c140]Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger:
Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. FM 2016: 559-576 - [c139]Holger Hermanns, Jan Krcál, Steen Vester:
Distributed Synthesis in Continuous Time. FoSSaCS 2016: 353-369 - [c138]Holger Hermanns:
My O Is Bigger Than Yours (Invited Talk). FSTTCS 2016: 3:1-3:2 - [c137]Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. ISoLA (2) 2016: 601-608 - [c136]Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski:
Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA 2016: 114-126 - [c135]Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga:
The Value of Attack-Defence Diagrams. POST 2016: 163-185 - [c134]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST 2016: 55-71 - [c133]Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál:
Effective Static and Dynamic Fault Tree Analysis. SAFECOMP 2016: 266-280 - [c132]Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar:
Probabilistic CTL*: The Deductive Way. TACAS 2016: 280-296 - [c131]Vahid Hashemi, Holger Hermanns, Lei Song:
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. VMCAI 2016: 351-371 - [i14]Holger Hermanns, Jan Krcál, Steen Vester:
Distributed Synthesis in Continuous Time. CoRR abs/1601.01587 (2016) - [i13]Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Compositional Reasoning for Interval Markov Decision Processes. CoRR abs/1607.08484 (2016) - 2015
- [j50]Andrea Turrini, Holger Hermanns:
Polynomial time decision algorithms for probabilistic automata. Inf. Comput. 244: 134-171 (2015) - [j49]Arnd Hartmanns, Holger Hermanns:
In the quantitative automata zoo. Sci. Comput. Program. 112: 3-23 (2015) - [j48]Hassan Hatefi, Holger Hermanns:
Improving time bounded reachability computations in interactive Markov chains. Sci. Comput. Program. 112: 58-74 (2015) - [j47]Reza Pulungan, Holger Hermanns:
A construction and minimization service for continuous probability distributions. Int. J. Softw. Tools Technol. Transf. 17(1): 77-90 (2015) - [j46]Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Transient Reward Approximation for Continuous-Time Markov Chains. IEEE Trans. Reliab. 64(4): 1254-1275 (2015) - [c130]Arnd Hartmanns, Holger Hermanns:
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. ATVA 2015: 131-147 - [c129]Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions. ATVA 2015: 166-182 - [c128]Holger Hermanns, Jan Krcál, Gilles Nies:
Recharging Probably Keeps Batteries Alive. CyPhy 2015: 83-98 - [c127]Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns:
Rare Event Simulation with Fully Automated Importance Splitting. EPEW 2015: 275-290 - [c126]Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang:
Probabilistic Bisimulation for Realistic Schedulers. FM 2015: 248-264 - [c125]Holger Hermanns:
Energieinformatik im erdnahen Orbit. GI-Jahrestagung 2015: 41 - [c124]Luis María Ferrer Fioriti, Holger Hermanns:
Probabilistic Termination: Soundness, Completeness, and Compositionality. POPL 2015: 489-501 - [c123]Michael Bungert, Holger Hermanns, Reza Pulungan:
A Compression App for Continuous Probability Distributions. QEST 2015: 113-121 - [c122]Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker:
Cost vs. Time in Stochastic Games and Markov Automata. SETTA 2015: 19-34 - [c121]Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns:
Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI 2015: 172-189 - [c120]Felix Freiberger, Holger Hermanns:
On the Control of Self-Balancing Unicycles. MARS 2015: 25-36 - [i12]Holger Hermanns, Jan Krcál, Gilles Nies:
Recharging Probably Keeps Batteries Alive. CoRR abs/1502.07120 (2015) - [i11]Arnd Hartmanns, Holger Hermanns:
Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage. CoRR abs/1504.02861 (2015) - [i10]Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions. CoRR abs/1507.02876 (2015) - 2014
- [j45]Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer:
Analysis of Timed and Long-Run Objectives for Markov Automata. Log. Methods Comput. Sci. 10(3) (2014) - [j44]Andrea Turrini, Holger Hermanns:
Cost Preserving Bisimulations for Probabilistic Automata. Log. Methods Comput. Sci. 10(4) (2014) - [j43]Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns:
Reachability and Reward Checking for Stochastic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j42]