Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Mon 18 Jul 2016 15:19 - 15:20 at Saba - Session 2

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20: Session 2VORTEX at Saba
13:50 - 14:20
Extracting Runtime Monitors from Tests: An Overview and a way forward
VORTEX
14:20 - 14:50
Runtime checks as nominal types
VORTEX
Paola Giannini, Elena ZuccaUniversity of Genova, Marco ServettoVictoria University of Wellington
14:50 - 15:19
The Early Bird Catches the Worm: first Verify, then Monitor!
VORTEX
15:19 - 15:20
Day closing
Closing Remarks
VORTEX
Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University