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
(103)
Joost-Pieter Katoen
28
Christel Baier
21
Holger Hermanns
20
Lucia Cloth
18
Ramin Sadre
14
Conferences
(33)
QEST
10
Computer Performance Evaluation
8
MMB
7
DSN
7
Petri Nets and Performance Models
6
Journals
(24)
PE
12
SIGMETRICS
5
TSE
3
ENTCS
3
FMSD
2
Keywords
(372)
Embed
Subscribe
Academic
Authors
Boudewijn Haverkort
Edit
Boudewijn Haverkort
University of Twente
Publications: 176
|
Citations: 1788
|
G-Index: 37
|
H-Index: 20
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
,
Networks & Communications
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
103 co-authors
from 1989 to 2011
; Cited by
1487 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(176)
BibTeX
|
RIS
|
RefWorks
Download
Mean-field framework for performance evaluation of push-pull gossip protocols
(
Citations: 2
)
Rena Bakhshi
,
Lucia Cloth
,
Wan Fokkink
,
Boudewijn R. Haverkort
Journal:
Performance Evaluation - PE
, vol. 68, no. 2, pp. 157-179, 2011
Time-bounded reachability in tree-structured QBDs by abstraction
Daniel Klink
,
Anne Remke
,
Boudewijn R. Haverkort
,
Joost-Pieter Katoen
Journal:
Performance Evaluation - PE
, vol. 68, no. 2, pp. 105-125, 2011
Parallel and Distributed Methods in Verification
Ivana Cerná
,
Boudewijn R. Haverkort
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 1-3, 2011
Performance evaluation and model checking join forces
(
Citations: 7
)
Christel Baier
,
Boudewijn R. Haverkort
,
Holger Hermanns
,
Joost-Pieter Katoen
Journal:
Communications of The ACM - CACM
, vol. 53, no. 9, pp. 76-85, 2010
Automating the Mean-Field Method for Large Dynamic Gossip Networks
(
Citations: 3
)
Rena Bakhshi
,
Jörg Endrullis
,
Stefan Endrullis
,
Wan Fokkink
,
Boudewijn R. Haverkort
Conference:
Quantitative Evaluation of Systems - QEST
, pp. 241-250, 2010
Order by:
Citations
(1788 times by 1194 publications)
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
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
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
(
Citations: 1
)
Fuchun Liu
,
Hai Lin
,
Zbigniew Dziong
Journal:
Automatica
, vol. 47, no. 4, pp. 782-788, 2011
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
(
Citations: 1
)
Sumit Kumar Jha
,
Christopher James Langmead
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 21, pp. 2162-2187, 2011
Mean-field framework for performance evaluation of push-pull gossip protocols
(
Citations: 2
)
Rena Bakhshi
,
Lucia Cloth
,
Wan Fokkink
,
Boudewijn R. Haverkort
Journal:
Performance Evaluation - PE
, vol. 68, no. 2, pp. 157-179, 2011
Comments