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
Co-authors
(140)
Holger Hermanns
67
Christel Baier
29
Boudewijn Haverkort
28
Diego Latella
17
Martin Leucker
16
Conferences
(42)
Dagstuhl Seminars
12
TACAS
9
CONCUR
8
QEST
8
DSN
7
Journals
(17)
TCS
6
TSE
5
ENTCS
4
SCP
3
STTT
2
Keywords
(387)
Embed
Subscribe
Academic
Authors
Joost-Pieter Katoen
Edit
Joost-Pieter Katoen
Rheinisch Westfalische Technische Hochschule Aachen
Publications: 226
|
Citations: 3033
|
G-Index: 49
|
H-Index: 30
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
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
140 co-authors
from 1989 to 2011
; Cited by
1906 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(226)
BibTeX
|
EndNote
|
RefWorks
Download
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
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
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
System-Software Co-Engineering: Dependability and Safety Perspective
(
Citations: 1
)
Yuri Yushstein
,
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
,
Marco Roveri
Published in 2011.
Quantitative automata model checking of autonomous stochastic hybrid systems
(
Citations: 1
)
Alessandro Abate
,
Joost-Pieter Katoen
,
Alexandru Mereacre
Published in 2011.
Order by:
Citations
(3033 times by 1581 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