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
(132)
Gethin Norman
91
David Parker
62
Jeremy Sproston
16
Roberto Segala
10
Christel Baier
8
Conferences
(55)
TACAS
7
WSC
5
CONCUR
4
Process Algebra and Probabilistic Methods
4
FORMATS
4
Journals
(26)
ENTCS
12
STTT
5
SIGMETRICS
5
FAC
5
TCS
3
Keywords
(457)
Embed
Subscribe
Academic
Authors
Marta Zofia Kwiatkowska
Edit
Marta Zofia Kwiatkowska
University of Oxford
Publications: 190
|
Citations: 3311
|
G-Index: 52
|
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
,
Networks & Communications
View FAQ about top research area and research interests
Collaborated with
132 co-authors
from 1989 to 2011
; Cited by
2008 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(190)
BibTeX
|
RIS
|
RefWorks
Download
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
Quantitative Multi-objective Verification for Probabilistic Systems
(
Citations: 5
)
Vojtech Forejt
,
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 112-127, 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
Optimizing key updates in sensor networks
Ender Yuksel
,
Hanne Riis Nielson
,
Flemming Nielson
,
Matthias Fruth
Conference:
IEEE Sensors Applications Symposium - SAS
, 2011
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Lu Feng
,
Marta Z. Kwiatkowska
,
David Parker
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 2-17, 2011
Order by:
Citations
(3311 times by 1723 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
Quantitative Multi-objective Verification for Probabilistic Systems
(
Citations: 5
)
Vojtech Forejt
,
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 112-127, 2011
Towards Automated Dependability Analysis of Dynamically Connected Systems
(
Citations: 3
)
Paolo Masci
,
Marco Martinucci
,
Felicita Di Giandomenico
Conference:
International Symposium on Autonomous Decentralized Systems - ISADS
, 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
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
Comments