Write a Blog >>
TACAS 2019
Mon 8 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS6
Floor0
Room InformationNo extra information available
Program

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

Sat 6 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S6