Conference Scope
- Performance modeling and evaluation:
- Probabilistic models
- Stochastic models
- Real-time models
- Performability models
- Queueing networks
- Quantitative extensions of automata
- Quantitative extensions of Petri nets
- Quantitative extensions of process calculi
- Specification of quantitative properties
- Analytical solution techniques
- Numerical solution techniques
- Simulation techniques
- Quantitative model checking
- Quantitative equivalence checking
- Quantitative static analysis
- System and network performance engineering:
- Performance engineering of distributed, mobile, and embedded systems
- Performance engineering of wired and wireless communication networks
- Performance engineering of multimedia environments
- Cluster computing, grid computing, and peer-to-peer computing
- Performance-oriented design of computer systems and networks
- Constraint-based and model-driven system design
- Performance analysis, simulation, and experimental design
- Benchmark design and benchmark-based evaluation and monitoring
- Graceful degradation system design
- Quality of service and quality of security
- Software performance engineering:
- Software performance modeling languages and model composition
- Performance-oriented software architecture and design
- Performance-oriented implementation, deployment, and maintenance
- Model-driven software performance engineering
- Software performance monitoring
- Interpretation of analysis results
- Software performance tool interoperability
- Software performance and other nonfunctional attributes
- Software performance and context awareness
- Software performance engineering of middleware and embedded systems
- Software performance engineering in specific application domains
Organization
Conference Chair
Andrea Marin (Università Ca' Foscari)
Program co-Chairs
Simonetta Balsamo (Università Ca' Foscari)William Knottenbelt (Imperial College)
Program Committee
Gianfranco BalboMarta Beltran
Marco Bernardo
Jeremy Bradley
Tadeusz Czachorski
Dieter Fiems
Jean-Michel Fourneau
Stephen Gilmore
Richard Hayden
Andràs Horvàt
Helen Karatza
Samuel Kounev
Catalina Lladò
Dorina Petriu
Philipp Reinecke
Sabina Rossi
Markus Siegle
Mark Squillante
Miklòs Telek
Nigel Thomas
Mirco Tribastone
Petr Tuma
Katinka Wolter
Maria Grazia Vigliotti
Jean-Marc Vincent
Call for contributions
Authors are invited to submit technical papers describing original research. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Accepted papers will be published in the conference proceedings, in the Lecture Notes in Computer Science series, by Springer-Verlag. Authors will be required to sign a copyright release.
Paper submission guidelines
Technical papers must not exceed 15 pages in camera-ready form, including
figures and references,in Springer LNCS style (see http://www.springer.de/comp/lncs/authors.html for details). All submissions must be in English.
Paper submission is already open, via the
web-submission system easychair.