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
(41)
Bernd Becker
23
Marc Herbstritt
12
Holger Hermanns
10
Bettina Braitling
4
Markus Behle
3
Conferences
(12)
QEST
4
DDECS
2
ICCD
1
MEMOCODE
1
MMB
1
Journals
(2)
TSE
1
PE
1
Keywords
(88)
Embed
Subscribe
Academic
Authors
Ralf Wimmer
Edit
Ralf Wimmer
University of Fribourg
Publications: 26
|
Citations: 88
|
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
,
Hardware & Architecture
,
Distributed & Parallel Computing
View FAQ about top research area and research interests
Collaborated with
41 co-authors
from 2004 to 2011
; Cited by
87 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(26)
BibTeX
|
RIS
|
RefWorks
Download
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
Reachability analysis for incomplete networks of Markov decision processes
Ralf Wimmer
,
Ernst Moritz Hahn
,
Holger Hermanns
,
Bernd Becker
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
(
Citations: 4
)
Ralf Wimmer
,
Bettina Braitling
,
Bernd Becker
,
Ernst Moritz Hahn
,
Pepijn Crouzen
,
Holger Hermanns
,
Catuscia Dhama
,
Oliver E. Theel
Conference:
Quantitative Evaluation of Systems - QEST
, pp. 27-36, 2010
DTMC Model Checking by SCC Reduction
(
Citations: 3
)
Erika Ábrahám
,
Nils Jansen
,
Ralf Wimmer
,
Joost-Pieter Katoen
,
Bernd Becker
Conference:
Quantitative Evaluation of Systems - QEST
, pp. 37-46, 2010
A Model Checker for AADL
(
Citations: 1
)
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Marco Roveri
,
Ralf Wimmer
Published in 2010.
Order by:
Citations
(88 times by 60 publications)
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
Stuttering Equivalence for Parity Games
(
Citations: 1
)
Sjoerd Cranen
,
Jeroen J. A. Keiren
,
Tim A. C. Willemse
Journal:
Computing Research Repository - CORR
, vol. abs/1102.2, 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
Incremental quantitative verification for Markov decision processes
(
Citations: 1
)
Marta Kwiatkowska
,
David Parker
,
Hongyang Qu
Conference:
Dependable Systems and Networks - DSN
, pp. 359-370, 2011
QUASY: Quantitative Synthesis Tool
(
Citations: 1
)
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Barbara Jobstmann
,
Rohit Singh
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 267-271, 2011
Comments