[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] EPEW 2010 -- first call for papers
- To: agents@xxxxxxxxxxx, <appsem@xxxxxxxxxx>, <caml-list@xxxxxxxx>, <categories@xxxxxx>, <coalgebras@xxxxxxxxxxxxxxx>, <compunode@xxxxxxxxxxxx>, <concurrency@xxxxxxxxxxxxxxxxx>, <coq-club@xxxxxxxxxxxxxxxxx>, <eacsl@xxxxxxxxxxxxx>, <eapls@xxxxxxxxxxxxxx>, <ecoop-info@xxxxxxxxx>, <emsoft@xxxxxxxxxxxxxxx>, <fmics@xxxxxxxxxxxx>, <formal-methods@xxxxxxxxxxxxx>, <isabelle-users@xxxxxxxxxxxx>, <lics@xxxxxxxxxxxxxxxxxxxxxxx>, <list@xxxxxxxxxxxxxxx>, <logic-announce@xxxxxxxxxxxxxxxxxxxx>, <logic-list@xxxxxxxxxxx>, <logic-list@xxxxxxxxxxx>, <lotos-world@xxxxxxxxxxxxxxx>, <mailinglist@xxxxxxxxxxxx>, <memocode@xxxxxxxxxxxxxxx>, <moca-announce@xxxxxxxxxxxxx>, <papm@xxxxxxxxxxxxxxxxxxxx>, <performance@xxxxxxxxxxxxxx>, <petrinet@xxxxxxxxxxxxxxxxxxxxxxxxx>, <prog-lang@xxxxxxx>, <puml-list@xxxxxxxxxxxxx>, <pvs@xxxxxxxxxxx>, <qest-announce@xxxxxxxxxxxx>, <seworld@xxxxxxxxxxx>, <softverf@xxxxxxxx>, <theorem-provers@xxxxxxxxxx>, <theory-logic@xxxxxxxxxx>, <theorynt@xxxxxxxxxxxxxxxxxx>, <types-announce@xxxxxxxxxxxxxxxxxxxx>
- Subject: [PVS] EPEW 2010 -- first call for papers
- From: Marco Bernardo <bernardo@xxxxxxxxxxxxx>
- Date: Fri, 16 Apr 2010 14:04:21 +0200 (CEST)
- List-Archive: <http://lists.csl.sri.com/mailman/private/pvs>
- List-Help: <mailto:firstname.lastname@example.org?subject=help>
- List-Id: PVS <pvs.csl.sri.com>
- List-Post: <mailto:email@example.com>
- List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>,<mailto:firstname.lastname@example.org?subject=subscribe>
- List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>,<mailto:email@example.com?subject=unsubscribe>
- Sender: pvs-bounces+archive=csl.sri.com@xxxxxxxxxxx
# EPEW 2010 #
# 7th European Performance Engineering Workshop #
# Bertinoro (Italy), 23-24 September 2010 #
# http://www.sti.uniurb.it/events/epew2010/ #
# CALL FOR PAPERS #
SCOPE AND TOPICS
The European Performance Engineering Workshop is an annual event
that aims to gather academic and industrial researchers working
on all aspects of performance engineering.
Original papers related to theoretical and methodological issues
as well as case studies and automated tool support are solicited
in the following three areas:
* 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.
Submitted papers must be in English and formatted according to
the Springer LNCS style. Submitted papers should not exceed 16 pages;
additional material can be included in a clearly marked appendix.
Papers must not be published or submitted for publication elsewhere.
The submission of papers must take place through the workshop website
via the EasyChair system. All submitted papers will be assessed on the
basis of the relevance, originality, and quality of their contribution
as well as their clarity and the adequacy of their references.
Accepted papers will be published by Springer in a volume of the LNCS
series and shall be presented at the workshop. At least one author of
each accepted paper shall register to the workshop.
Abstract submission: 27 May 2010
Paper submission: 31 May 2010
Author notification: 30 June 2010
Camera-ready copy: 10 July 2010
CHAIRS AND COMMITTEES
Marco Bernardo (University of Urbino, IT)
Program Committee Chairs:
Alessandro Aldini (University of Urbino, IT)
Luciano Bononi (University of Bologna, IT)
Vittorio Cortellessa (University of L'Aquila, IT)
Program Committee Members:
Suzana Andova (Technical University of Eindhoven, NL)
Cosimo Anglano (University of Piemonte Orientale, IT)
Alberto Avritzer (Siemens, US)
Simonetta Balsamo (University of Venezia "Ca' Foscari", IT)
Steffen Becker (FZI, DE)
Simona Bernardi (University of Torino, IT)
Jeremy Bradley (Imperial College London, UK)
Giuliano Casale (Imperial College London, UK)
Lucy Cherkasova (HP Labs, US)
Robert Cole (Johns Hopkins University, US)
Flavio Corradini (University of Camerino, IT)
Ivica Crnkovic (University of Malardalen, SE)
Marco Furini (University of Modena and Reggio Emilia, IT)
Stephen Gilmore (University of Edinburgh, UK)
Vincenzo Grassi (University of Roma "Tor Vergata", IT)
Marcus Groesser (Technical University of Dresden, DE)
Valerie Issarny (INRIA Paris Rocquencourt, FR)
Helen Karatza (University of Thessaloniki, GR)
Leila Kloul (University of Versailles, FR)
Catalina Llado (University of Balearic Islands, ES)
Michele Loreti (University of Firenze, IT)
Jose Merseguer (University of Zaragoza, ES)
Geyong Min (University of Bradford, UK)
Raffaela Mirandola (Politecnico di Milano, IT)
John Murphy (University College Dublin, IE)
Joel Ouaknine (University of Oxford, UK)
Dorina Petriu (Carleton University, CA)
Anna Philippou (University of Cyprus, CY)
Markus Siegle (University Bw Munich, DE)
Connie Smith (L&S Computer Technology, US)
Mark Squillante (IBM Watson Research Center, US)
Jiri Srba (University of Aalborg, DK)
Giovanni Stea (University of Pisa, IT)
Giorgio Ventre (University of Napoli, IT)
Ralf Reussner (Karlsruhe Institute of Technology, DE):
"New Trends of Software Architecture"
Marco Roccetti (University of Bologna, IT):
"Modeling and Simulation of Vehicular Traffic Congestion
in Realistic Urban Scenarios"