The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ernst Moritz Hahn" ( http://dblp.L3S.de/Authors/Ernst_Moritz_Hahn )

URL (Homepage):  http://lcs.ios.ac.cn/~moritz/  Author page on DBLP  Author page in RDF  Community of Ernst Moritz Hahn in ASPL-2

Publication years (Num. hits)
2006-2011 (19) 2012-2015 (19) 2016-2018 (19) 2019 (4)
Publication types (Num. hits)
article(19) inproceedings(41) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(10) QEST(6) CAV(4) SETTA(4) ATVA(3) ACSD(2) CONCUR(2) FM(2) HSCC(2) SPIN(2) ACM Trans. Model. Comput. Simu...(1) ARCH@CPSIoTWeek(1) CAV (2)(1) CMSB(1) ECAI(1) ECEASST(1) More (+10 of total 33)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 62 publication records. Showing 61 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001, Sven Schewe, Dominik Wojtczak Good-for-MDPs Automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak Omega-Regular Objectives in Model-Free Reinforcement Learning. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein 0001, Jan Kretínský, David Parker 0001, Tim Quatmann, Enno Ruijters, Marcel Steinmetz The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). Search on Bibsonomy TACAS (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Henk 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. Search on Bibsonomy ARCH@CPSIoTWeek The full citation details ... 2019 DBLP  BibTeX  RDF
1Paul Gainer, Ernst Moritz Hahn, Sven Schewe Accelerated Model Checking of Parametric Markov Chains. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak Omega-Regular Objectives in Model-Free Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul Gainer, Ernst Moritz Hahn, Sven Schewe Incremental Verification of Parametric and Reconfigurable Markov Chains. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul Gainer, Ernst Moritz Hahn, Sven Schewe Incremental Verification of Parametric and Reconfigurable Markov Chains. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Gainer, Ernst Moritz Hahn, Sven Schewe Accelerated Model Checking of Parametric Markov Chains. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini JANI: Quantitative Model and Tool Interaction. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying Model Checking Omega-regular Properties for Quantum Markov Chains . Search on Bibsonomy CONCUR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Yong Li 0031, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang 0001 An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ernst Moritz Hahn, Arnd Hartmanns Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini Exploiting Robust Optimization for Interval Probabilistic Bisimulation. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang 0001, Yang Liu GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang 0001 An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Arnd Hartmanns A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker 0001 Transient Reward Approximation for Continuous-Time Markov Chains. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska Computing Cumulative Rewards Using Fast Adaptive Uniformization. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang 0001 QPMC: A Model Checker for Quantum Programs and Protocols. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li 0031, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang 0001 A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 Lazy Probabilistic Model Checking without Determinisation. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns Reachability and Reward Checking for Stochastic Timed Automata. Search on Bibsonomy ECEASST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Spieler, Ernst Moritz Hahn, Lijun Zhang 0001 Model Checking CSL for Markov Population Models Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 iscasMc: A Web-Based Probabilistic Model Checker. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen Model checking for performability. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen A compositional modelling and analysis framework for stochastic hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang 0001 Lazy Determinisation for Quantitative Model Checking. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns Rewarding probabilistic hybrid automata. Search on Bibsonomy HSCC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang 0001 CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska Computing Cumulative Rewards Using Fast Adaptive Uniformisation. Search on Bibsonomy CMSB The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Taolue Chen, Ernst Moritz Hahn, Tingting Han 0001, Marta Z. Kwiatkowska, Hongyang Qu 0001, Lijun Zhang 0001 Model Repair for Markov Decision Processes. Search on Bibsonomy TASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn Model checking stochastic hybrid systems. Search on Bibsonomy 2013   RDF
1Lijun Zhang 0001, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn Safety Verification for Probabilistic Hybrid Systems. Search on Bibsonomy Eur. J. Control The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker 0001 Transient Reward Approximation for Grids, Crowds, and Viruses Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter Variable Probabilistic Abstraction Refinement. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001 Probabilistic reachability for parametric Markov models. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen The ins and outs of the probabilistic model checker MRMC. Search on Bibsonomy Perform. Eval. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker 0001 Reachability analysis for incomplete networks of Markov decision processes. Search on Bibsonomy MEMOCODE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Buchholz 0001, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001 Model Checking Algorithms for CTMDPs. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Gethin Norman, David Parker 0001, Björn Wachter, Lijun Zhang 0001 Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. Search on Bibsonomy QEST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis
1Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang 0001 Measurability and safety verification for stochastic hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker 0001 Bounded Fairness for Probabilistic Distributed Algorithms. Search on Bibsonomy ACSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Tingting Han 0001, Lijun Zhang 0001 Synthesis for PCTL in Parametric Markov Decision Processes. Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001 PARAM: A Model Checker for Parametric Markov Models. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lijun Zhang 0001, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn Safety Verification for Probabilistic Hybrid Systems. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Bettina Braitling, Bernd Becker 0001, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. Search on Bibsonomy QEST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang 0001 Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. Search on Bibsonomy SPIN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001 PASS: Abstraction Refinement for Infinite Probabilistic Models. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001 Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001 INFAMY: An Infinite-State Markov Model Checker. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen The Ins and Outs of the Probabilistic Model Checker MRMC. Search on Bibsonomy QEST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF none
1Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001 Probabilistic Reachability for Parametric Markov Models. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lijun Zhang 0001, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter Time-bounded model checking of infinite-state continuous-time Markov chains. Search on Bibsonomy ACSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn Towards a Unified Model-Based Safety Assessment. Search on Bibsonomy SAFECOMP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #61 of 61 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license