Program - ETAPS 2019

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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	IInterAVT at S6

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 Iulia Dragomir , Saddek Bensalem Verimag

11:00 - 12:00	IIInterAVT at S6

11:00 10m Talk		Advances in Usability of Formal Methods for Code Verification InterAVT Andre Maroneze , Valentin Perrelle , Florent Kirchner
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	IVInterAVT at S6

16:00 75m Meeting		Collaboration Session InterAVT
17:15 15m Talk		Wrap-up InterAVT

InterAVT 2019 Program

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

ETAPS 2019

Co-hosted Conferences

Workshops

InterAVT 2019 Program

Switch Program View

Program Display Configuration

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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