[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] QEST2008***Deadline approaching***

Our apologies if you receive multiple copies of this CFP


5th International Conference on Quantitative Evaluation of SysTems

September 14-17, 2008, Palais du Grand Large, Saint Malo, France



Abstract submission: 17 March 2008

Paper submission: 24 March 2008

Tools & tutorials submission: 21 April 2008

Author notification: 26 May 2008

Camera ready version: 16 June 2008


The International Conference on Quantitative Evaluation of SysTems 
(QEST) is the leading

forum on evaluation and verification of computer systems and networks, 

stochastic models and measurements. QEST combines four former events: PNPM

(Workshop on Petri Nets and Performance Models), PAPM (Workshop on 
Process Algebra

and Performance Modelling), PROBMIV (Workshop on Probabilistic Methods 
in Verification),

and TOOLS (Conference on Modelling Techniques and Tools for Computer 


Performance metrics of interest include response time, reliability, 
availability, safety,

security, survivability, correctness, timeliness, and efficiency. Areas 
of interest include

modelling formalisms and methodologies, measurements, analytical and 

evaluation, simulation and verification, and theory of probabilistic, 
concurrent, and non-

deterministic behaviour. Also of interest are case studies showing the 
role of quantitative

evaluation in the design of systems including computer architectures, 
distributed and fault-

tolerant systems, communication systems, embedded systems, web-based 
systems, and

safety-critical systems. Moreover, tools for supporting the practical 
application of research

results in all of the above areas are of special interest for QEST, and 
therefore tool papers

are sought. In short, QEST aims to create a sound methodological basis 
for assessing and

designing trustworthy computing systems and networks.

Example topics of interest include modelling and performance evaluation 

verification of probabilistic systems; probabilistic decision-making and 

concurrency theory for probabilistic systems; stochastic and timed Petri 
nets; stochastic

and timed process algebras; stochastic and timed automata; queuing 
networks; Markov

chains; non-Markovian models and algorithms; analysis of randomized 
algorithms; model-

checking algorithms; hybrid and hierarchical modelling and evaluation 

numerical and analytical solution techniques; efficient simulation 
techniques; formal

specification techniques; quantitative extensions of UML; measurement and

benchmarking; optimization techniques; and schedulability analysis.


We invite submissions of original papers, in English, related to the 
topics of the conference

and formatted in the IEEE double-column format. Electronic submission 
instructions may

be found at www.qest.org. Submitted papers should not exceed 10 pages. 

material for the aid of the reviewers (e.g., proofs) can be sent in a 
clearly marked

appendix. Papers must be unpublished and must not be submitted for 

elsewhere. All papers will be thoroughly reviewed by at least 3 referees 
on the basis of

originality and scientific and practical contributions to the state of 
the art. Accepted

papers will appear in the Conference Proceedings published by the IEEE 
Computer Society

Press, and must be presented at the conference by one of the authors. A 
best-paper award

will be presented at the conference. Selected papers will appear in a 
special issue of a

major journal (it was IEEE Transactions on Software Engineering for 


Sessions will be arranged to present and demonstrate tools relevant to 
any conference

topic. Tool submissions (2 pages, IEEE double-column format) should be 
sent to the Tools

Chair. Accepted tool descriptions will appear in the conference 


There will be one day of tutorials at the start of the conference. 
Tutorial proposals (up to 4

pages) should be sent to the Tutorial Chair.

General Chair
G. Rubino (FR)

Programme Co-chairs
S. Donatelli (IT)
P. Panangaden (CA)

Tools Chair
M. Siegle (DE)

Tutorial Chair
A. Jean-Marie (FR)

Local Organisation Chair
B. Tuffin (FR)

Publicity Chair
N. Pekergin (FR)

Proceedings Chair
N. Bouabdallah (FR)

Steering Committee
G. Balbo (IT)
G. Ciardo (US)
S. Donatelli (IT)
B. Haverkort (NL)
H. Hermanns (DE)
J. Hillston (UK)
P. Kemper (US)
W.Knottenbelt (UK)
M. Kwiatkowska (UK)
W. Sanders (US, chair)
E. Smirni (US)

Programme Committee

M. Ajmone Marsan (IT)
C. Baier (DE)
M. Bernardo (IT)
P. Bouyer (FR)
P. Buchholz (DE)
T. Dayar (TR)
L. de Alfaro (US)
R. De Nicola (IT)
S. Donatelli (IT)
J.-M. Fourneau (FR)
R. German (DE)
L. Golubchick (US)
S. Haddad (FR)
B. Haverkort (NL)
J. Hillston (UK)
M. Huth (UK)
R. Jagadeesan (US)
W. Knottenbelt (UK)
A. McIver (AU)
D. Menasce (US)
A. Miner (US)
D. Nicol (US)
J. Ouaknine (UK)
C. Palamidessi (FR)
P. Panangaden (CA)
D. Parker (UK)
D. Petriu (CA)
D. Precup (CA)
R. Segala (IT)
K. Sen (US)
E. Smirni (US)
J. Sproston (IT)
M. Stoelinga (NL)
M. Telek (HU)
F. van Breugel (CA)
B. van Houdt (BE)

W. Sanders (US)