Aim

Reproducibility of experiments is crucial to foster an atmosphere of open, reusable and trustworthy research. To improve and reward reproducibility and to give more visibility and credit to the effort of tool developers in our community, authors of accepted papers will be invited to submit possible artifacts associated with their paper for evaluation, and based on the level of reproducibility they will be awarded one or more badges.

The goals of the artifact evaluation are manifold. We want to encourage authors to provide more substantial evidence to their papers and to reward authors who aim for reproducibility of their results, and therefore create artifacts. Also, we want to give more visibility and credit to the effort of tool developers in our community. Furthermore, we want to simplify the independent replication of results presented in the paper and to ease future comparisons with existing approaches.

Objectives and Scope

In the last decades, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and efficient analysis of software-intensive systems. These approaches provide powerful support for the analysis of different functional and non-functional properties of the systems, complex interaction of components of different nature as well as validation of diverse aspects of system behaviour. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. To credit the effort of tool developers, we use EAPLS artifact badging.

General Chair

• Caterina Urban, Inria & ENS | PSL, France

Program Committee Chairs

• Ferruccio Damiani, Università degli Studi di Torino, Italy
• Marie Farrell, University of Manchester, United Kingdom

Program Committee

• Wolfgang Ahrendt, Chalmers University of Technology, Sweden
• Timothy Bourke, Inria Paris & ENS | Université PSL, France
• Giovanna Broccia, ISTI-CNR, Italy
• Carlos E. Budde, Technical University of Denmark, Denmark
• Ivana Černá, Masaryk University, Czech Republic
• Alessandro Cimatti, Fondazione Bruno Kessler, Italy
• John Derrick, University of Sheffield, United Kingdom
• Jyotirmoy V. Deshmukh, University of Southern California, USA
• Brijesh Dongol, University of Surrey, United Kingdom
• Claire Dross, AdaCore, France
• Jérôme Feret, Inria Paris & ENS | Université PSL, France
• Simon Foster, University of York, United Kingdom
• Carlo A. Furia, Università della Svizzera Italiana, Switzerland
• Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, United States
• Paula Herber, University of Münster, Germany
• Heber Herencia-Zapana, Collins Aerospace, United States
• Marieke Huisman, University of Twente, Netherlands
• Inigo Incer, University of Michigan, United States
• Fuyuki Ishikawa, National Institute of Informatics, Japan
• Xiaoqing Jin, Apple, United States
• Einar Broch Johnsen, University of Oslo, Norway
• Sebastian Junges, Radboud University, Netherlands
• Joseph Kiniry, Galois, Inc. (United States)
• Nikolai Kosmatov, Thales Research & Technology, France
• Thierry Lecomte, ClearSy, France
• Michael Leuschel, University of Düsseldorf, Germany
• Edoardo Manino, University of Manchester, United Kingdom
• Anastasia Mavridou, KBR, Inc. / NASA Ames Research Center, United States
• Dominique Mery, Université de Lorraine, France
• Stephan Merz, Inria Nancy, France
• Rosemary Monahan, Maynooth University, Ireland
• Mariano Moscato, AMA, Inc. / NASA Langley Research Center, United States
• Mohammad Reza Mousavi, King’s College London, United Kingdom
• Luca Paolini, Università degli Studi di Torino, Italy
• Violet Ka I Pun, Western Norway University of Applied Sciences, Norway
• Juliane Päßler, University of Oslo, Norway
• Luciana Rebelo, Gran Sasso Science Institute, Italy
• Giles Reger, Amazon Web Services and The University of Manchester, UK
• Peter Riviere, Japan Advanced Institute of Science and Technology, Japan
• David Šafránek, Masaryk University, Czech Republic
• Gerhard Schellhorn, Universitaet Augsburg, Germany
• Silvia Lizeth Tapia Tarifa, University of Oslo, Norway
• Maurice H. ter Beek, ISTI-CNR, Italy
• Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
• Petra van den Bos, University of Twente, Netherlands
• Heike Wehrheim, University of Oldenburg, Germany
• Anton Wijs, Eindhoven University of Technology, Netherlands
• Burkhart Wolff, Université Paris-Saclay, France
• Naijun Zhan, Peking University, China

Artifact Evaluation Chairs

• Roberto Casadei, Università di Bologna, Italy
• Daniela Kaufmann, TU Wien, Austria

Publicity Chair

• Giorgio Audrito, Università degli Studi di Torino, Italy