VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / VerifyThis 2019 (series) / Charles University /

Room information: S6

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
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

Sat 6 Apr

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

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

InterAVT

I

InterAVT

II

InterAVT

III

InterAVT

IV

Sat 6 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
S6
InterAVT
Welcome to InterAVT 2019
09:00 - 09:30
InterAVT
Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical S ...
09:30 - 10:00
InterAVT
Cross Programming Language Taint Analysis for the IoT Ecosystem
10:00 - 10:10
InterAVT
FVL: Formal Verification in the Loop to Enhance Verification of Safety- ...
10:10 - 10:20
InterAVT
Rigorous Design of FDIR Systems with BIP
10:20 - 10:30
InterAVT
Advances in Usability of Formal Methods for Code Verification
11:00 - 11:10
InterAVT
Scalable Software Testing and Verification for Industrial-Scale Systems ...
11:10 - 11:20
InterAVT
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Pre ...
11:20 - 11:30
InterAVT
Lighting talks (non-authors)
11:30 - 12:00
InterAVT
Speed-dating
13:30 - 15:30
InterAVT
Collaboration Session
16:00 - 17:15
InterAVT
Wrap-up
17:15 - 17:30