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
(124)
Joost-Pieter Katoen
67
Christel Baier
30
Li-Jun Zhang
24
Boudewijn Haverkort
20
Markus Siegle
19
Conferences
(43)
QEST
11
CONCUR
10
CAV
9
TACAS
8
DSN
5
Journals
(19)
ENTCS
5
IANDC
4
STTT
4
TSE
3
PE
3
Keywords
(310)
Embed
Subscribe
Academic
Authors
Holger Hermanns
Edit
Holger Hermanns
University of Erlangen Nuremberg
Publications: 179
|
Citations: 2872
|
G-Index: 49
|
H-Index: 31
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
,
Networks & Communications
View FAQ about top research area and research interests
Collaborated with
124 co-authors
from 1994 to 2011
; Cited by
1205 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(179)
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
Probabilistic Logical Characterization
(
Citations: 3
)
Holger Hermanns
,
Augusto Parma
,
Roberto Segala
,
Björn Wachter
,
Lijun Zhang
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 2, pp. 154-172, 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.
A verifiedwireless safety critical hard real-time design
Hernan Baro Graf
,
Holger Hermanns
,
Juhi Kulshrestha
,
Jens Peter
,
Anjo Vahldiek
,
Aravind Vasudevan
Conference:
Workshop on Wireless Mobile Multimedia - WOWMOM
, 2011
Order by:
Citations
(2872 times by 1290 publications)
Dynamic QoS Management and Optimization in Service-Based Systems
(
Citations: 6
)
Radu Calinescu
,
Lars Grunske
,
Raffaela Mirandola
,
Giordano Tamburrelli
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 387-409, 2011
Abstract Probabilistic Automata
(
Citations: 3
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wasowski
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 324-339, 2011
Numerical analysis of continuous time Markov decision processes over finite horizons
(
Citations: 4
)
Peter Buchholz
,
Ingo Schulz
Journal:
Computers & Operations Research - CoR
, vol. 38, no. 3, pp. 651-659, 2011
Quantitative Kleene coalgebras
(
Citations: 3
)
Alexandra Silva
,
Filippo Bonchi
,
Marcello M. Bonsangue
,
Jan J. M. M. Rutten
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 5, pp. 822-849, 2011
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
Comments