Google
Google Scholar
Semantic Scholar
MS Academic
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
- 2020
[j66]Christel Baier, Pedro R. D'Argenio, Holger Hermanns:
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57(3-5): 465-512 (2020)- [j65]Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen:
Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14(3): 143401 (2020) - [j64]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) - [j63]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) - [j62]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) - [c172]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 - [c171]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 - [c170]Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns:
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE 2020: 59-77 - [c169]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Deep Statistical Model Checking. FORTE 2020: 96-114 - [c168]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 - [c167]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 - [c166]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 - [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
- [j61]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) - [j60]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) - [c165]Felix Freiberger, Holger Hermanns:
Concurrent Programming from pseuCo to Petri. Petri Nets 2019: 279-297 - [c164]Alexander Graf-Brill, Holger Hermanns:
Component-aware Input-Output Conformance. FORTE 2019: 111-128 - [c163]Yuliya Butkova, Arnd Hartmanns, Holger Hermanns:
A Modest Approach to Modelling and Checking Markov Automata. QEST 2019: 52-69 - [c162]Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. QEST 2019: 313-331 - [c161]Arnd Hartmanns, Holger Hermanns:
A Modest Markov Automata Tutorial. Reasoning Web 2019: 250-276 - [c160]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
- [j59]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) - [j58]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) - [c159]Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS 2018: 150-154 - [c158]Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský:
Continuous-Time Markov Decisions Based on Partial Exploration. ATVA 2018: 317-334 - [c157]Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Cyber-Physical Doping Tests. MT@CPSWeek 2018: 18-19 - [c156]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 - [c155]Kevin Baum, Holger Hermanns, Timo Speith:
From Machine Ethics To Machine Explainability and Back. ISAIM 2018 - [c154]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 - [c153]Yuliya Butkova, Ralf Wimmer, Holger Hermanns:
Markov Automata on Discount! MMB 2018: 19-34 - [c152]Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer:
Efficient Monitoring of Real Driving Emissions. RV 2018: 299-315 - [c151]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
- [j57]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) - [j56]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) - [c150]Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students. Models, Algorithms, Logics and Tools 2017: 170-195 - [c149]Holger Hermanns:
From Lotosphere to Thermosphere. ModelEd, TestEd, TrustEd 2017: 357-367 - [c148]Kangli He, Holger Hermanns, Yixiang Chen:
Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) 2017: 234-243 - [c147]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 - [c146]Alexander Graf-Brill, Holger Hermanns:
Model-Based Testing for Asynchronous Systems. FMICS-AVoCS 2017: 66-82 - [c145]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 - [c144]Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose:
Modelling and certification for electric mobility. INDIN 2017: 109-114 - [c143]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 - [c142]Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni:
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA 2017: 25-41 - [c141]Yuliya Butkova, Ralf Wimmer, Holger Hermanns:
Long-Run Rewards for Markov Automata. TACAS (2) 2017: 188-203 - [c140]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
- [j55]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) - [j54]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) - [c139]Arnd Hartmanns, Holger Hermanns, Jan Krcál:
Schedulers are no Prophets. Semantics, Logics, and Calculi 2016: 214-235 - [c138]Arnd Hartmanns, Holger Hermanns, Michael Bungert:
Flexible support for time and costs in scenario-aware dataflow. EMSOFT 2016: 3:1-3:10 - [c137]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 - [c136]Holger Hermanns, Jan Krcál, Steen Vester:
Distributed Synthesis in Continuous Time. FoSSaCS 2016: 353-369 - [c135]Holger Hermanns:
My O Is Bigger Than Yours (Invited Talk). FSTTCS 2016: 3:1-3:2 - [c134]Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. ISoLA (2) 2016: 601-608 - [c133]Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr J. Wojciechowski:
Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA 2016: 114-126 - [c132]Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga:
The Value of Attack-Defence Diagrams. POST 2016: 163-185 - [c131]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST 2016: 55-71 - [c130]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 - [c129]Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar:
Probabilistic CTL*: The Deductive Way. TACAS 2016: 280-296 - [c128]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
- [j53]Andrea Turrini, Holger Hermanns:
Polynomial time decision algorithms for probabilistic automata. Inf. Comput. 244: 134-171 (2015) - [j52]Arnd Hartmanns, Holger Hermanns:
In the quantitative automata zoo. Sci. Comput. Program. 112: 3-23 (2015) - [j51]Hassan Hatefi, Holger Hermanns:
Improving time bounded reachability computations in interactive Markov chains. Sci. Comput. Program. 112: 58-74 (2015) - [j50]Reza Pulungan, Holger Hermanns:
A construction and minimization service for continuous probability distributions. Int. J. Softw. Tools Technol. Transf. 17(1): 77-90 (2015) - [j49]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) - [c127]Arnd Hartmanns, Holger Hermanns:
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. ATVA 2015: 131-147 - [c126]Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions. ATVA 2015: 166-182 - [c125]Holger Hermanns, Jan Krcál, Gilles Nies:
Recharging Probably Keeps Batteries Alive. CyPhy 2015: 83-98 - [c124]Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns:
Rare Event Simulation with Fully Automated Importance Splitting. EPEW 2015: 275-290 - [c123]Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang:
Probabilistic Bisimulation for Realistic Schedulers. FM 2015: 248-264 - [c122]Holger Hermanns:
Energieinformatik im erdnahen Orbit. GI-Jahrestagung 2015: 41 - [c121]Luis María Ferrer Fioriti, Holger Hermanns:
Probabilistic Termination: Soundness, Completeness, and Compositionality. POPL 2015: 489-501 - [c120]Michael Bungert, Holger Hermanns, Reza Pulungan:
A Compression App for Continuous Probability Distributions. QEST 2015: 113-121 - [c119]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 - [c118]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 - [c117]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
- [j48]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) - [j47]Andrea Turrini, Holger Hermanns:
Cost Preserving Bisimulations for Probabilistic Automata. Log. Methods Comput. Sci. 10(4) (2014) - [j46]Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns:
Reachability and Reward Checking for Stochastic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j45]Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns:
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j44]Giuliano Casale, Ludmila Cherkasova, Holger Hermanns:
Special Issue on "Quantitative Evaluation of SysTems" (QEST 2012). Perform. Evaluation 73: 1-2 (2014) - [j43]Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen:
Incremental Bisimulation Abstraction Refinement. ACM Trans. Embed. Comput. Syst. 13(4s): 142:1-142:23 (2014) - [c116]Holger Hermanns, Jan Krcál, Jan Kretínský:
Probabilistic Bisimulation: Naturally on Distributions. CONCUR 2014: 249-265 - [c115]Alexander Graf-Brill, Holger Hermanns, Hubert Garavel:
A Model-Based Certification Framework for the EnergyBus Standard. FORTE 2014: 84-99 - [c114]Florian Arnold, Holger Hermanns, Reza Pulungan, Mariëlle Stoelinga:
Time-Dependent Analysis of Attacks. POST 2014: 285-305 - [c113]Arnd Hartmanns, Holger Hermanns:
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. TACAS 2014: 593-598 - [c112]Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns:
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. QAPL 2014: 48-63 - [i9]Holger Hermanns, Jan Krcál, Jan Kretínský:
Probabilistic Bisimulation: Naturally on Distributions. CoRR abs/1404.5084 (2014) - 2013
- [j42]Vahid Hashemi, Holger Hermanns, Andrea Turrini:
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [j41]Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen:
A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. 43(2): 191-232 (2013) - [j40]Holger Hermanns, Arnd Hartmanns:
An Internet Inspired Approach to Power Grid Stability. it Inf. Technol. 55(2): 45-51 (2013) - [j39]Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Model checking for performability. Math. Struct. Comput. Sci. 23(4): 751-795 (2013) - [c111]Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen:
Incremental Bisimulation Abstraction Refinement. ACSD 2013: 11-20 - [c110]Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang:
A Semantics for Every GSPN. Petri Nets 2013: 90-109 - [c109]Holger Hermanns, Andrea Turrini:
Cost Preserving Bisimulations for Probabilistic Automata. CONCUR 2013: 349-363 - [c108]Holger Hermanns, Jan Krcál, Jan Kretínský:
Compositional Verification and Optimization of Interactive Markov Chains. CONCUR 2013: 364-379 - [c107]Hassan Hatefi, Holger Hermanns:
Improving Time Bounded Reachability Computations in Interactive Markov Chains. FSEN 2013: 250-266 - [c106]Ernst Moritz Hahn, Holger Hermanns:
Rewarding probabilistic hybrid automata. HSCC 2013: 313-322 - [c105]Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer:
Modelling, Reduction and Analysis of Markov Automata. QEST 2013: 55-71 - [c104]Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang:
Deciding Bisimilarities on Distributions. QEST 2013: 72-88 - [c103]Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang:
The Quest for Minimal Quotients for Probabilistic Automata. TACAS 2013: 16-31 - [i8]Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer:
Modelling, Reduction and Analysis of Markov Automata (extended version). CoRR abs/1305.7050 (2013) - [i7]Holger Hermanns, Jan Krcál, Jan Kretínský:
Compositional Verification and Optimization of Interactive Markov Chains. CoRR abs/1305.7332 (2013) - 2012
- [j38]Hassan Hatefi, Holger Hermanns:
Model Checking Algorithms for Markov Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012) - [j37]Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn:
Safety Verification for Probabilistic Hybrid Systems. Eur. J. Control 18(6): 572-587 (2012) - [c102]Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns:
Modeling of Networked Automation Systems for simulation and model checking of time behavior. SSD 2012: 1-5 - [c101]Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter:
Variable Probabilistic Abstraction Refinement. ATVA 2012: 300-316 - [c100]Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans:
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375 - [c99]Holger Hermanns, Andrea Turrini:
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time. FSTTCS 2012: 435-447 - [c98]Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Verification of Open Interactive Markov Chains. FSTTCS 2012: 474-485 - [c97]Arnd Hartmanns, Holger Hermanns:
Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. ISoLA (1) 2012: 420-439 - [c96]