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
Authors
(606)
William H. Sanders
16
Enrico Vicario
11
Holger Hermanns
11
Boudewijn Haverkort
10
Peter Buchholz
10
David Parker
10
Peter Kemper
9
Joost-Pieter Katoen
8
William J. Knottenbelt
8
Susanna Donatelli
8
Keywords
(942)
Subscribe
Academic
Conferences
QEST - Quantitative Evaluation of Systems
QEST - Quantitative Evaluation of Systems
Publications: 389
|
Citation Count: 1,782 (Self-Citation: 202)
|
H-Index: 20Year Range: 2004-2011
Interests:
Software Engineering
Paper submissions due: 5 March 2012, Duration:
17 - 20 September 2012, London, United Kingdom
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(389)
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems
(
Citations: 1
)
Ernst Moritz Hahn
,
Gethin Norman
,
David Parker
,
Bjorn Wachter
,
Lijun Zhang
Conference:
Quantitative Evaluation of Systems - QEST
, 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
A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions
Parijat Dube
,
Seetharami Seelam
,
Yanbin Liu
,
Megumi Ito
,
Thomas Ling
,
Michel Hack
,
Liana Fong
,
Graeme Johnson
,
Michael Dawson
,
Li Zhang
,
Yuqing Gao
Conference:
Quantitative Evaluation of Systems - QEST
, 2011
Learning Probabilistic Automata for Model Checking
Hua Mao
,
Yingke Chen
,
Manfred Jaeger
,
Thomas D. Nielsen
,
Kim G. Larsen
,
Brian Nielsen
Conference:
Quantitative Evaluation of Systems - QEST
, 2011
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)
Elizabeth LeMay
,
Michael D. Ford
,
Ken Keefe
,
William H. Sanders
,
Carol Muehrcke
Conference:
Quantitative Evaluation of Systems - QEST
, 2011