default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDErnst Moritz Hahn
韩墨锐
Person information
- unicode name: 韩墨锐
- affiliation: University of Twente, The Netherlands
- affiliation: University of Liverpool, UK
- affiliation: CAS Institute of Software, State Key Laboratory of Computer Science, Beijing, China
- affiliation: University of Oxford, Department of Computer Science, UK
- 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
[c65]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. AAAI 2024: 21125-21133- [c64]Ernst Moritz Hahn
, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI 2024: 1680-1687 - [c63]Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi:
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. VMCAI (2) 2024: 124-138 - [i26]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
Querying Fault and Attack Trees: Property Specification on a Water Network. CoRR abs/2401.16015 (2024) - [i25]Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang:
Tools at the Frontiers of Quantitative Verification. CoRR abs/2405.13583 (2024) - 2023
- [j12]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35(2): 12:1-12:24 (2023) - [c62]Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Scenario Approach for Parametric Markov Models. ATVA (1) 2023: 158-180 - [c61]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. ECAI 2023: 972-979 - [c60]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
sfPFL: A Probabilistic Logic for Fault Trees. FM 2023: 199-221 - [c59]Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi:
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. FM 2023: 635-647 - [c58]Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga:
Solving Queries for Boolean Fault Tree Logic via Quantified SAT. FTSCS 2023: 48-59 - [c57]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
sfATM: A Logic for Quantitative Security Properties on Attack Trees. SEFM 2023: 205-225 - [c56]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) 2023: 527-545 - [d2]Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Artifact for the ATVA'23 paper "Scenario Approach for Parametric Markov Models". Zenodo, 2023
- [i24]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
PFL: a Probabilistic Logic for Fault Trees. CoRR abs/2303.17314 (2023) - [i23]Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Scenario Approach for Parametric Markov Models. CoRR abs/2304.08330 (2023) - [i22]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. CoRR abs/2308.07469 (2023) - [i21]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
ATM: a Logic for Quantitative Security Properties on Attack Trees. CoRR abs/2309.09231 (2023) - [i20]Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi:
AGNES: Abstraction-guided Framework for Deep Neural Networks Security. CoRR abs/2311.04009 (2023) - [i19]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. CoRR abs/2312.08602 (2023) - 2022
- [j11]Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang:
Probabilistic Preference Planning Problem for Markov Decision Processes. IEEE Trans. Software Eng. 48(5): 1545-1559 (2022) - [c55]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA 2022: 42-57 - [c54]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDPs Automata. ATVA 2022: 303-319 - [c53]Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga:
BFL: a Logic to Reason about Fault Trees. DSN 2022: 441-452 - [c52]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reinforcement Learning with Guarantees that Hold for Ever. FMICS 2022: 3-7 - [c51]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. NeurIPS 2022 - [c50]Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang:
EPMC Gets Knowledge in Multi-agent Systems. VMCAI 2022: 93-107 - [i18]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDP Automata. CoRR abs/2205.03243 (2022) - [i17]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. CoRR abs/2206.11430 (2022) - [i16]Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga:
BFL: a Logic to Reason about Fault Trees. CoRR abs/2208.13424 (2022) - [i15]Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi:
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. CoRR abs/2212.07278 (2022) - 2021
- [c49]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) 2021: 651-673 - [c48]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM 2021: 142-159 - [c47]Ernst Moritz Hahn, Arnd Hartmanns:
Symblicit exploration and elimination for probabilistic model checking. SAC 2021: 1798-1806 - [c46]Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn:
The Marriage Between Safety and Cybersecurity: Still Practicing. SPIN 2021: 3-21 - [d1]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021). Zenodo, 2021 - [i14]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR abs/2106.06777 (2021) - [i13]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR abs/2106.09161 (2021) - 2020
- [c45]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA 2020: 108-124 - [c44]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR 2020: 21:1-21:16 - [c43]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) 2020: 306-323 - [i12]Ernst Moritz Hahn, Arnd Hartmanns:
Symblicit Exploration and Elimination for Probabilistic Model Checking. CoRR abs/2001.04289 (2020) - [i11]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR abs/2001.05977 (2020)
2010 – 2019
- 2019
- [j10]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) - [c42]Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod:
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek 2019: 62-102 - [c41]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR 2019: 16-18 - [c40]Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz:
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) 2019: 69-92 - [c39]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) 2019: 395-412 - [i10]Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak:
Good-for-MDPs Automata. CoRR abs/1909.05081 (2019) - 2018
- [c38]Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Accelerated Model Checking of Parametric Markov Chains. ATVA 2018: 300-316 - [c37]Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Incremental Verification of Parametric and Reconfigurable Markov Chains. QEST 2018: 140-156 - [i9]Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Incremental Verification of Parametric and Reconfigurable Markov Chains. CoRR abs/1804.01872 (2018) - [i8]Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Accelerated Model Checking of Parametric Markov Chains. CoRR abs/1805.05672 (2018) - [i7]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR abs/1810.00950 (2018) - 2017
- [c36]Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying:
Model Checking Omega-regular Properties for Quantum Markov Chains . CONCUR 2017: 35:1-35:16 - [c35]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 - [c34]Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni:
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA 2017: 25-41 - [c33]Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini:
JANI: Quantitative Model and Tool Interaction. TACAS (2) 2017: 151-168 - [c32]Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. VMCAI 2017: 266-287 - [i6]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) - 2016
- [c31]Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. CAV (2) 2016: 291-311 - [c30]Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu:
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. ECAI 2016: 1726-1727 - [c29]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST 2016: 55-71 - [c28]Ernst Moritz Hahn, Arnd Hartmanns:
A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. SETTA 2016: 85-100 - [c27]Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang:
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. SETTA 2016: 280-296 - [i5]Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang:
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. CoRR abs/1605.04400 (2016) - [i4]Ernst Moritz Hahn, Arnd Hartmanns:
Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking. CoRR abs/1605.05551 (2016) - [i3]Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. CoRR abs/1607.01474 (2016) - 2015
- [j9]Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska:
Computing Cumulative Rewards Using Fast Adaptive Uniformization. ACM Trans. Model. Comput. Simul. 25(2): 9:1-9:23 (2015) - [j8]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) - [c26]Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang:
Lazy Probabilistic Model Checking without Determinisation. CONCUR 2015: 354-367 - [c25]Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang:
QPMC: A Model Checker for Quantum Programs and Protocols. FM 2015: 265-272 - [c24]Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang:
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA 2015: 35-51 - 2014
- [j7]Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns:
Reachability and Reward Checking for Stochastic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [c23]Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang:
iscasMc: A Web-Based Probabilistic Model Checker. FM 2014: 312-317 - [c22]David Spieler, Ernst Moritz Hahn, Lijun Zhang:
Model Checking CSL for Markov Population Models. QAPL 2014: 93-107 - 2013
- [b1]Ernst Moritz Hahn:
Model checking stochastic hybrid systems. Saarland University, 2013 - [j6]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) - [j5]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) - [c21]Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang:
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. ATVA 2013: 464-468 - [c20]Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska:
Computing Cumulative Rewards Using Fast Adaptive Uniformisation. CMSB 2013: 33-49 - [c19]Ernst Moritz Hahn, Holger Hermanns:
Rewarding probabilistic hybrid automata. HSCC 2013: 313-322 - [c18]Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang:
Model Repair for Markov Decision Processes. TASE 2013: 85-92 - [i2]Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang:
Lazy Determinisation for Quantitative Model Checking. CoRR abs/1311.2928 (2013) - 2012
- [j4]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) - [c17]Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter:
Variable Probabilistic Abstraction Refinement. ATVA 2012: 300-316 - [i1]Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Transient Reward Approximation for Grids, Crowds, and Viruses. CoRR abs/1212.1251 (2012) - 2011
- [j3]Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen:
The ins and outs of the probabilistic model checker MRMC. Perform. Evaluation 68(2): 90-104 (2011) - [j2]Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Probabilistic reachability for parametric Markov models. Int. J. Softw. Tools Technol. Transf. 13(1): 3-19 (2011) - [c16]Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker:
Bounded Fairness for Probabilistic Distributed Algorithms. ACSD 2011: 89-97 - [c15]Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Model Checking Algorithms for CTMDPs. CAV 2011: 225-242 - [c14]Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang:
Measurability and safety verification for stochastic hybrid systems. HSCC 2011: 43-52 - [c13]Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker:
Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE 2011: 151-160 - [c12]Ernst Moritz Hahn, Tingting Han, Lijun Zhang:
Synthesis for PCTL in Parametric Markov Decision Processes. NASA Formal Methods 2011: 146-161 - [c11]Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang:
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST 2011: 69-78 - 2010
- [c10]Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn:
Safety Verification for Probabilistic Hybrid Systems. CAV 2010: 196-211 - [c9]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
PARAM: A Model Checker for Parametric Markov Models. CAV 2010: 660-664 - [c8]Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel:
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST 2010: 27-36 - [c7]Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang:
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN 2010: 193-211 - [c6]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
PASS: Abstraction Refinement for Infinite Probabilistic Models. TACAS 2010: 353-357
2000 – 2009
- 2009
- [j1]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundam. Informaticae 95(1): 129-155 (2009) - [c5]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647 - [c4]Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen:
The Ins and Outs of the Probabilistic Model Checker MRMC. QEST 2009: 167-176 - [c3]Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106 - 2008
- [c2]Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter:
Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107 - 2006
- [c1]Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn:
Towards a Unified Model-Based Safety Assessment. SAFECOMP 2006: 275-288
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
