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
6
Marielle Stoelinga (Mariëlle Stoelinga)
6
Hichem Boudali
6
Bernd Becker
3
Li-Jun Zhang
3
Conferences
(10)
ACSD
2
DSN
2
ICECCS
1
CONCUR
1
Dagstuhl Seminars
1
Journals
(3)
TDSC
1
SIGMETRICS
1
CORR
1
Keywords
(65)
Embed
Subscribe
Academic
Authors
Pepijn Crouzen
Edit
Pepijn Crouzen
Saarland University
Publications: 18
|
Citations: 84
|
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
,
Security & Privacy
View FAQ about top research area and research interests
Collaborated with
30 co-authors
from 2007 to 2011
; Cited by
105 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(18)
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
Smart Reduction
Pepijn Crouzen
,
Frédéric Lang
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 111-126, 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
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis
(
Citations: 3
)
Hichem Boudali
,
Pepijn Crouzen
,
Mariëlle Stoelinga
Journal:
IEEE Transactions on Dependable and Secure Computing - TDSC
, vol. 7, no. 2, pp. 128-143, 2010
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
(
Citations: 1
)
Georgel Calin
,
Pepijn Crouzen
,
Pedro R. D'Argenio
,
Ernst Moritz Hahn
,
Lijun Zhang
Conference:
International Workshop on Model Checking of Software - SPIN
, pp. 193-211, 2010
Order by:
Citations
(84 times by 58 publications)
New Results on Abstract Probabilistic Automata
(
Citations: 2
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wþasowski
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 118-127, 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
Automatic Generation of Service Availability Models
(
Citations: 1
)
Nikola Milanovic
,
Bratislav Milic
Journal:
IEEE Transactions on Services Computing
, vol. 4, no. 1, pp. 56-69, 2011
A Modeling Framework for Gossip-based Information Spread
(
Citations: 1
)
Rena Bakhshi
,
Daniela Gavidia
,
Wan Fokkink
,
Maarten van Steen
Conference:
Quantitative Evaluation of Systems - QEST
, vol. abs/1105.5, 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
Comments