ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Modern verification and testing techniques are highly relevant for industrial software- intensive systems. Recent technological trends (e.g., the new dominating role of software in traditional domains like automotive and aerospace, the arrival of autonomous and “smart” systems in everyday life) only increase the need for industrial-scale robust approaches.

Nevertheless, there are still many barriers that hinder the application of modern verification and testing techniques in industrial practice.

Barriers and challenges include for instance:

  • Industrial scale and complexity of “real” systems (transfer and scale-up of research prototypes)
  • Usability/feasibility of formal techniques in practice (packaging novel approaches in usable tools)
  • New system paradigms, which make systems harder to model/analyze/verify/test (e.g., autonomous systems, machine learning)
  • Domain-specific challenges and constraints, e.g., in safety-critical systems like automotive, aerospace, medical systems
  • Research approaches targeting problems that lead to publishable results, but are disconnected from industrial practice.

Many of these challenges can only be tackled with increased communication and collaboration between academic researchers and industrial practitioners.

Consequently, the InterAVT workshop aims for the following workshop objectives:

  • Attract industry participants, bring researchers and practitioners together
  • Foster communication between people working on similar problems
  • Establish new links and opportunities for collaboration between participants from different backgrounds
  • Encourage report on the resulting progress at ETAPS conferences or workshops

Workshop Format

To maximize the interaction between participants and the resulting progress, during the workshop we will apply a combination of interactive sessions:

  • A motivating keynote that sets the scene and engages the participants.
  • An introduction session in which participants describe and exemplify a challenge and/or a concrete solution they contribute to the workshop. Each presentation is limited to 10 minutes (morning hours).
  • A “speed-dating” session, in which participants are engaged in a time-limited discussion with each other. The goal of this session is to identify the potential synergies among the participants’ interests (early afternoon hours).
  • A collaboration session that focuses on presenting and summarizing the identified synergies and establishing long-term collaboration among the participants (late afternoon hours). *A workshop dinner which provides further opportunities for exchange of ideas and networking in an informal setting.

In previous workshops with similar objectives this format proved to be engaging and ensured a very interactive and motivating atmosphere.

Accepted Papers

Title
Advances in Usability of Formal Methods for Code Verification
InterAVT
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
InterAVT
Collaboration Session
InterAVT

Cross Programming Language Taint Analysis for the IoT Ecosystem
InterAVT
FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems
InterAVT
Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges"
InterAVT
Lighting talks (non-authors)
InterAVT

Rigorous Design of FDIR Systems with BIP
InterAVT
Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges
InterAVT
Speed-dating
InterAVT

Welcome to InterAVT 2019
InterAVT
Wrap-up
InterAVT

Call for Papers

Many of these challenges can only be tackled with increased communication and collaboration between academic researchers and industrial practitioners.

Consequently, InterAVT 2019 aims to:

  • Attract industry participants, bring researchers and practitioners together
  • Foster communication between people working on similar problems
  • Establish new links and opportunities for collaboration between participants from different backgrounds
  • Encourage report on the resulting progress at ETAPS conferences or workshops

InterAVT 2019 will be conducted in a highly interactive manner and will include a set of lightning talks and speed-dating sessions.

Submissions

We invite short papers (2-4 pages) that present (1) a concrete and well-illustrated challenge arising in industrial practice, (2) a concrete and exemplified solution, or (3) a combination of both.

Most importantly, submissions should aim to establish or strengthen collaborations between individuals and groups from different backgrounds. In particular, a submission should provide other workshop participants with enough information to identify whom they should meet in the speed-dating session.

Submissions can address problems and solutions where some aspects have been covered in earlier been published, however, they should provide enough new material to warrant publication in the proceedings.

Submissions should support the workshop aims (see above) and answer the following questions:

For challenges:

  • What is the problem that you are trying to solve?
  • Demonstrate it on a concrete example.
  • When would you consider the challenge resolved?
  • What would you consider a “success” and how could that be evaluated?

For solutions:

  • What is the problem that you solve?
  • Demonstrate the solution on a concrete example.
  • What are the solution’s benefits and limitations?
  • Who could benefit from your approach?
  • Was your approach evaluated? How?
  • Is your approach based on a certain concept or technology (e.g., a model checking technique)? Submitted papers should be in English and conform to the guidelines available online at http://info.eptcs.org/

Papers should be submitted online via EasyChair at http://www.easychair.org/conferences?conf=interavt2019

Examples of topics that submissions could address include, but are not limited to:

  • Scalability of modeling/analysis/verification/testing approaches
  • Usability/feasibility of formal techniques in practice (packaging novel approaches in usable tools)
  • Dealing with new system paradigms, which make systems harder to model/analyze/verify/test (e.g., autonomous systems, machine learning)
  • Domain-specific challenges and constraints, e.g., in safety-critical systems like automotive, aerospace, medical systems
  • How to ensure that research approaches are targeting relevant industrial problems(or what are barriers preventing that)?

Submissions will be selected based on their relevance to the workshop topics and objectives. Accepted papers will be published in the workshop proceedings. At least one author of each accepted paper is required to register and present the work at the workshop for the paper to be included in the proceedings.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
09:00
30m
Talk
Welcome to InterAVT 2019
InterAVT
Stylianos Basagiannis United Technologies Research centre, Goetz Botterweck Lero - The Irish Software Research Centre and University of Limerick, Anila Mjeda Lero - The Irish Software Research Centre and University of Limerick
09:30
30m
Talk
Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges"
InterAVT
Nathan Fulton MIT-IBM Watson AI Lab
10:00
10m
Talk
Cross Programming Language Taint Analysis for the IoT Ecosystem
InterAVT
Pietro Ferrara JuliaSoft SRL, Italy, Amit Kr Mandal Università Ca' Foscari, Venezia, Italy, Agostino Cortesi Università Ca' Foscari Venezia, Fausto Spoto U. Verona
10:10
10m
Talk
FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems
InterAVT
Cinzia Bernardeshi Univ. of Pisa, Andrea Domenici University of Pisa, Italy, Sergio Saponara University of Pisa, Italy
10:20
10m
Talk
Rigorous Design of FDIR Systems with BIP
InterAVT
11:00 - 12:00
11:00
10m
Talk
Advances in Usability of Formal Methods for Code Verification
InterAVT
11:10
10m
Talk
Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges
InterAVT
Anila Mjeda Lero - The Irish Software Research Centre and University of Limerick, Goetz Botterweck Lero - The Irish Software Research Centre and University of Limerick
11:20
10m
Talk
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
InterAVT
Robert Husak , Jan Kofroň Charles University, Filip Zavoral
11:30
30m
Talk
Lighting talks (non-authors)
InterAVT

13:30 - 15:30
IIIInterAVT at S6
13:30
2h
Meeting
Speed-dating
InterAVT

16:00 - 18:00
16:00
75m
Meeting
Collaboration Session
InterAVT

17:15
15m
Talk
Wrap-up
InterAVT