Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(30)
Holger Hermanns
14
Li-Jun Zhang
12
Bjorn Wachter (Björn Wachter)
5
Bernd Becker
3
Ralf Wimmer
3
Conferences
(7)
CAV
3
QEST
3
ACSD
2
SPIN
2
MEMOCODE
1
Journals
(3)
STTT
1
PE
1
J HYDRAUL ENG-ASCE
1
Keywords
(82)
Embed
Subscribe
Academic
Authors
Ernst Moritz Hahn
Edit
Ernst Moritz Hahn
Saarland University
Publications: 19
|
Citations: 81
|
G-Index: 8
|
H-Index: 5
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Hardware & Architecture
View FAQ about top research area and research interests
Collaborated with
30 co-authors
from 2006 to 2011
; Cited by
118 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(19)
BibTeX
|
RIS
|
RefWorks
Download
The ins and outs of the probabilistic model checker MRMC
(
Citations: 2
)
Joost-Pieter Katoen
,
Ivan S. Zapreev
,
Ernst Moritz Hahn
,
Holger Hermanns
,
David N. Jansen
Journal:
Performance Evaluation - PE
, vol. 68, no. 2, pp. 90-104, 2011
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems
(
Citations: 1
)
Ernst Moritz Hahn
,
Gethin Norman
,
David Parker
,
Bjorn Wachter
,
Lijun Zhang
Conference:
Quantitative Evaluation of Systems - QEST
, 2011
Synthesis for PCTL in Parametric Markov Decision Processes
(
Citations: 1
)
Ernst Moritz Hahn
,
Tingting Han
,
Lijun Zhang
Published in 2011.
Bounded Fairness for Probabilistic Distributed Algorithms
(
Citations: 1
)
Pepijn Crouzen
,
Ernst Moritz Hahn
,
Holger Hermanns
,
Abhishek Dhama
,
Oliver Theel
,
Ralf Wimmer
,
Bettina Braitling
,
Bernd Becker
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 89-97, 2011
Measurability and safety verification for stochastic hybrid systems
(
Citations: 1
)
Martin Fränzle
,
Ernst Moritz Hahn
,
Holger Hermanns
,
Nicolás Wolovick
,
Lijun Zhang
Published in 2011.
Order by:
Citations
(81 times by 62 publications)
Run-time efficient probabilistic model checking
(
Citations: 3
)
Antonio Filieri
,
Carlo Ghezzi
,
Giordano Tamburrelli
Conference:
International Conference on Software Engineering - ICSE
, pp. 341-350, 2011
Quantitative automata model checking of autonomous stochastic hybrid systems
(
Citations: 1
)
Alessandro Abate
,
Joost-Pieter Katoen
,
Alexandru Mereacre
Published in 2011.
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
(
Citations: 2
)
Christian von Essen
,
Barbara Jobstmann
Journal:
Electronic Proceedings in Theoretical Computer Science
, pp. 17-32, 2011
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems
(
Citations: 1
)
Ernst Moritz Hahn
,
Gethin Norman
,
David Parker
,
Bjorn Wachter
,
Lijun Zhang
Conference:
Quantitative Evaluation of Systems - QEST
, 2011
Synthesis for PCTL in Parametric Markov Decision Processes
(
Citations: 1
)
Ernst Moritz Hahn
,
Tingting Han
,
Lijun Zhang
Published in 2011.
Comments