1
0
0
(1 - 33 von 42
)
News archive - Aktuelle Nachrichten von der Technischen Fakultät
news.tf.uni-freiburg.de
Best Paper Award The paper Bounded Fairness for Probabilistic Distributed Algorithms by Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling and Bernd Becker has been conferred...
Björn Wachter: Publications
www.rw.cdl.uni-saarland.de
Journals "Time-Bounded Model Checking of Infinite-State Continous-Time Markov Chains" Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
!!Holger Hermanns - Publications * Reza Pulungan, Holger Hermanns ...
www.ae-info.org
Logical Methods in Computer Science 10(4) (2014) * Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns: Reachability and Reward Checking for Stochastic ...
Holger Hermanns - Publications - Academia Europaea
www.ae-info.org
— Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns: Reachability and Reward Checking for Stochastic Timed Automata. ECEASST 70 (2014). › User › P...
Lijun Zhang's Homepage
www.cs.ox.ac.uk
PASS: Abstraction Refinement for Infinite Probabilistic Models (TACAS'10 with E. Moritz Hahn, Holger Hermanns, Björn Wachter).
PASS: Abstraction Refinement for Infinite Probabilistic Models ...www.springerprofessional.de › pass-abstraction-refinement-for-infinite-...
www.springerprofessional.de
Autoren: Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. Verlag: Springer Berlin Heidelberg. Erschienen in: Tools and Algorithms for the ...
Variable Probabilistic Abstraction Refinement ...www.springerprofessional.de › variable-probabilistic-ab...
www.springerprofessional.de
Autoren: Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter. Verlag: Springer Berlin Heidelberg. Erschienen in: Automated ...
Ivan Zapreev
www-i2.informatik.rwth-aachen.de
2011; Joost-Pieter Katoen, Ivan S. Zapreev, E. Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of the Probabilistic Model Checker MRMC.
European Journal of Control | Vol 18, Issue 6, Pages (2012) |...
www.sciencedirect.com
Original research article: Pages Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn. Download PDF. Article preview ...
Dependable Systems and Software: In the Automata Zoo
depend.cs.uni-saarland.de
Prof. Dr.-Ing. Holger Hermanns · Ernst Moritz Hahn, MsC · Dependable Systems & Software Group · Department of Computer Science · Universität des Saarlandes.
Probabilistic Reachability for Parametric Markov Models | SpringerLinklink.springer.com › chapter
link.springer.com
Probabilistic Reachability for Parametric Markov Models. Authors; Authors and affiliations. Ernst Moritz Hahn; Holger Hermanns; Lijun Zhang. Ernst Moritz Hahn.
PARAM: A Model Checker for Parametric Markov Models | SpringerLink
link.springer.com
Ernst Moritz Hahn (19); Holger Hermanns (19) (20); Björn Wachter (19); Lijun Zhang (21). Author Affiliations Computer Science, Saarland University, ...
Measurability and Safety Verification for Stochastic Hybrid ...
orbit.dtu.dk
Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang. Research output: Chapter in Book/Report/Conference proceeding › Article ... › fingerprints
INFAMY - Mathematical software - swMATHswmath.org › software
swmath.org
InternetArchive; Authors: Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang; Add information on this software. Related software: PRISM · APMC ...
PARAM: A Model Checker for Parametric Markov Models ...www.springerprofessional.de › param-a-model-checker...
www.springerprofessional.de
Autoren: Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. Verlag: Springer Berlin Heidelberg. Erschienen in: Computer Aided Verification.
PARAM - Mathematical software - swMATH
swmath.org
Results of 14 — InternetArchive; Authors: Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang; Add information on this software. › software
PARAM: A Model Checker for Parametric Markov Models
www.academia.edu
PARAM: A Model Checker for Parametric Markov Models Ernst Moritz Hahn, Holger Hermanns, Bj¨orn Wachter, Lijun Zhang To cite this version: Ernst Moritz Hahn, ... › PARA...
Publications | Power to the People. Verified.
www.powver.org
author-generated open-access pdf available as ERC-POWVER-TechRep ; Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini: › publicati...
QEST 2016: 13th International Conference on Quantitative ...www.qest.org › qest2016 › accepted-papers
www.qest.org
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns and Andrea Turrini. Exploiting Robust Optimization for Interval Probabilistic Bisimulation. Simon Theissing ...
Transient Reward Approximation for Continuous-Time Markov ...
www.veriware.org
[HHW+15] Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, and Bernd Becker. Transient Reward Approximation for Continuous-Time Markov Chains. › bibitem
QEST 2016: 13th International Conference on Quantitative ...www.qest.org › qest2016 › program
www.qest.org
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns and Andrea Turrini. Exploiting Robust Optimization for Interval Probabilistic Bisimulation. Luca Laurenti ...
Rewarding probabilistic hybrid automata — Queen's University Belfastpure.qub.ac.uk › publications › rewarding-probabili...
pure.qub.ac.uk
Rewarding probabilistic hybrid automata. Ernst Moritz Hahn, Holger Hermanns. Research output: Chapter in Book/Report/Conference proceeding › Conference ...
QEST 2017: 14th International Conference on Quantitative Evaluation...
www.qest.org
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian and Andrea Turrini. Multi-objective Robust Strategy Synthesis for Interval MDPs.
Arnd Hartmanns
arnd.hartmanns.name
with Ernst Moritz Hahn, Holger Hermanns, and Joost-Pieter Katoen: Formal Methods in System Design (October 2013) On-the-fly Confluence Detection for Statistical Model Checking with Mark Timmer: NASA Formal Methods 2013, Moffett Field, CA, USA (May 2013) An Internet Inspired Approach to …
References - Electronic Proceedings in Theoretical Computer ...eptcs.web.cse.unsw.edu.au › refere...
cgi.cse.unsw.edu.au
Ernst Moritz Hahn, Holger Hermanns & Lijun Zhang (2011): Probabilistic reachability for parametric Markov models. Int. Journal on Software Tools for Technology ...
Oliver Theel — Carl von Ossietzky Universität Oldenburg
uol.de
... Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama und Oliver Theel "Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic
TACAS 2010: Accepted Papers
tacas10.in.tum.de
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter and Lijun Zhang. PASS: Abstraction Refinement for Infinite Probabilistic Models Axel Belinfante.
Accepted Papers - HSCC 2013
2013.hscc-conference.org
Ernst Moritz Hahn and Holger Hermanns. Rewarding Probabilistic Hybrid Automata. Goran Frehse, Colas Le Guernic and Rajat Kateja. Flowpipe Approximation ...
Nicolás Wolovick
cs.famaf.unc.edu.ar
Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang, "Measurability and Safety Verification for Stochastic Hybrid Systems", ...
Program - HSCC 2013
2013.hscc-conference.org
[2:15] Ernst Moritz Hahn and Holger Hermanns: “Rewarding Probabilistic Hybrid Automata”. [2:40] Hongfei Fu: “Approximating Acceptance Probabilities of ...
International Journal on Software Tools for Technology Transfer (STTT)
ftp.math.utah.edu
1--2 Ernst Moritz Hahn and Holger Hermanns and Lijun Zhang Probabilistic reachability for parametric Markov models
www.mrmc-tool.org
www.mrmc-tool.org
Ernst Moritz Hahn and Holger Hermanns and David N. Jansen }, pages = { }, year = {2009}, publisher = {IEEE Computer Society}
Alle Infos zum Namen "Ernst Moritz Hahn"
Verwandte Suchanfragen zu Ernst Moritz Hahn
| Arnd Hartmanns Martin Fränzle Andrea Turrini | Joachim Klein Michaela Klauck Henk Blom | Sebastian Junges Carina Pilch Bernd Becker |
Person "Hahn" (74) Vorname "Moritz" (11891) Name "Hahn" (6985) |
sortiert nach Relevanz / Datum