Conferences and Workshops

12th International Conference on Formal Modeling and Analysis of Timed Systems

Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take into account the time taken by controllers to compute their responses after sampling the environment.

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems.

Typical topics include: (1) Foundations and semantics: theoretical foundations of timed systems and languages and comparison between different models such as timed automata, timed Petri nets, hybrid automata, timed process algebra, probabilistic models; (2) Methods and tools: techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing); (3) Applications: adaptation and specialization of timing technology in application domains in which timing plays an important role, such as real-time software, hardware circuits, scheduling problems in manufacturing and telecommunication.

Program Chairs
Marius Bozga
Verimag, FR
Axel Legay
INRIA Rennes, FR

Organizing Committee
Enrico Vicario
Marco Paolieri
Laura Carnevali
University of Florence, IT

Important Dates
Abstract submission: April 28, 2014
Paper submission: April 28, 2014
Authors notification: June 9, 2014
Camera ready: June 23, 2014

Next edition:

11th International Conference on Quantitative Evaluation of SysTems

The International Conference on Quantitative Evaluation of SysTems is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements.

Performance metrics of interest include response time, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. Areas of interest include modeling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic, concurrent and non-deterministic behavior. 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 the above areas are of special interest for QEST. In short, QEST aims to create a sound methodological basis for assessing and designing trustworthy computing systems and networks.

General Chair
Enrico Vicario
University of Florence, IT

Program Chairs
Gethin Norman
University of Glasgow, GB
William H. Sanders
University of Illinois, US

Important Dates
Abstract submission: March 14, 2014
Paper submission: March 21, 2014
Rebuttal period: April 23-26, 2014
Authors notification: May 9, 2014
Camera ready: June 6, 2014

Next edition:

33rd International Conference on Computer Safety, Reliability and Security

Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SAFECOMP is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications. It provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions.

The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety critical computer systems. Major topics include, but are not limited to:

  • fault tolerant and resilient hardware and software architectures;
  • error-detection and error recovery mechanisms;
  • security and privacy protection mechanisms;
  • model-based design and analysis, formal methods, verification and validation;
  • risk assessment, reduction and mitigation techniques;
  • dependability analysis using simulation and experimental measurement;
  • human and social aspects in dependability analysis;
  • cyber-physical threats and vulnerability analysis.


Monday (Sep. 8, 2014)

  • ISSE: International workshop on Integration of Safety and Security Engineering
  • DEVVARTS: DEvelopment, Verification and VAlidation of cRiTical Systems
  • ASCoMS: Workshop on Architecting Safety in Collaborative Mobile Systems

Tuesday (Sep. 9, 2014)

  • SASSUR: Next Generation of System Assurance Approaches for Safety-Critical Systems
  • DECSoS: Dependable Embedded and Cyber-physical Systems and Systems-of-Systems
  • ReSA4CI: Reliability and Security Aspects for Critical Infrastructure Protection

For more information, see the SAFECOMP Workshops page.

General Chair
Andrea Bondavalli
University of Florence, IT

Program Chairs
Andrea Bondavalli
University of Florence, IT
Felicita Di Giandomenico

Important Dates
Abstract submission: March 5, 2014
Paper submission: March 10, 2014
Authors notification: May 20, 2014
Camera ready: June 20, 2014

Next edition:

11th European Workshop on Performance Engineering

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, case studies, and automated tool support are solicited in the following areas:

  • Performance modeling and evaluation: probabilistic models, stochastic models, real-time models, performability models, queueing networks, quantitative extensions of automata, Petri nets or process calculi, specification of quantitative properties, analytical and 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, wired and wireless networks, 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, 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 monitoring and engineering.

Conference Chair
Enrico Vicario
University of Florence, IT

Program Chairs
András Horváth
University of Turin, IT
Katinka Wolter
Freie Universität Berlin, DE

Important Dates
Abstract submission: May 20, 2014
Paper submission: May 23, 2014
Authors notification: June 20, 2014
Camera ready: July 4, 2014

Next edition:

19th International Workshop on Formal Methods for Industrial Critical Systems

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Topics of interest include:

  • design, specification, code generation and testing based on formal methods;
  • methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems;
  • verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues);
  • tools for the development of formal design descriptions;
  • case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions;
  • impact of the adoption of formal methods on the development process;
  • application of formal methods in standardization and industrial forums.

Program Chairs
Francesco Flammini
Ansaldo STS, IT
Frederic Lang

Local organization
Alessandro Fantechi
University of Florence, IT

Important Dates
Abstract submission: April 11, 2014
Paper submission: April 18, 2014
Authors notification: June 10, 2014
Camera ready: June 27, 2014

Next edition: