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
(9)
Joost-Pieter Katoen
8
David N. Jansen
4
Holger Hermanns
2
Maneesh Khattri
2
Ernst Moritz Hahn
2
Conferences
(4)
QEST
4
TACAS
1
CIE
1
HVC
1
Journals
(1)
PE
1
Keywords
(31)
Embed
Subscribe
Academic
Authors
Ivan S. Zapreev
Edit
Ivan S. Zapreev
Saarland University
Publications: 9
|
Citations: 150
|
G-Index: 9
|
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
View FAQ about top research area and research interests
Collaborated with
9 co-authors
from 2005 to 2011
; Cited by
200 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(9)
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
The Ins and Outs of the Probabilistic Model Checker MRMC
(
Citations: 27
)
Joost-Pieter Katoen
,
Ivan S. Zapreev
,
Ernst Moritz Hahn
,
Holger Hermanns
,
David N. Jansen
Conference:
Quantitative Evaluation of Systems - QEST
, pp. 167-176, 2009
Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems
(
Citations: 2
)
Pieter Collins
,
Ivan S. Zapreev
Conference:
Conference on Computability in Europe - CIE
, pp. 107-119, 2009
Simulation-Based CTMC Model Checking: An Empirical Evaluation
(
Citations: 3
)
Joost-Pieter Katoen
,
Ivan S. Zapreev
Conference:
Quantitative Evaluation of Systems - QEST
, pp. 31-40, 2009
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
(
Citations: 30
)
Joost-pieter Katoen
,
Tim Kemna
,
Ivan S. Zapreev
,
David N. Jansen
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 87-101, 2007
Order by:
Citations
(150 times by 127 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
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.
Using observation ageing to improve markovian model learning in QoS engineering
(
Citations: 1
)
Radu Calinescu
,
Kenneth Johnson
,
Yasmin Rafiq
Published in 2011.
Integrated model-driven design-space exploration for embedded systems
Nikola Trcka
,
Martijn Hendriks
,
Twan Basten
,
Marc Geilen
,
Lou Somers
Conference:
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - IC-SAMOS
, 2011
Comments