Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Mon 18 Jul 2016 10:05 - 10:10 at Saba - Session 1

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

10:05 - 12:25: Session 1VORTEX at Saba
10:05 - 10:10
Day opening
Opening Remarks
VORTEX
Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
10:10 - 10:40
StaRVOOrS: A framework for static and runtime verification of data and control properties.
VORTEX
Gerardo SchneiderUniversity of Gothenburg
10:40 - 11:10
Runtime Verification with Data
VORTEX
Martin LeuckerUniversity of L├╝beck
11:10 - 11:40
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
VORTEX
Jean-Baptiste JeanninCarnegie Mellon University