Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
VenueCongress Center
Room nameSaba
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

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

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

08:45 - 09:45: Opening sessionGRACE at Saba
08:45 - 09:45
Day opening
Overview of the Grace project and language
GRACE
Kim BrucePomona College, Andrew BlackPortland State University
10:05 - 12:25: GraceGRACE at Saba
10:05 - 10:45
Experience teaching with Grace
GRACE
Andrew BlackPortland State University, Kim BrucePomona College
10:45 - 11:55
Recent changes and language design issues in Grace
GRACE
Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington
11:55 - 12:25
The Recurring Rainfall Problem
GRACE
Shriram KrishnamurthiBrown University
13:50 - 15:20: Contributed PapersGRACE at Saba
13:50 - 14:20
Talk
Grace in Spoofax: Readable Specification and Implementation in One
GRACE
Michiel HaismaTU Delft, Vlad VerguTU Delft, Eelco VisserDelft University of Technology
Link to publication File Attached
14:20 - 14:50
Traitorous Traits
GRACE
Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington
File Attached
14:50 - 15:20
Tooling matters – Why Grace needs a good IDE
GRACE
Michael KöllingUniversity of Kent
16:00 - 17:30: DiscussionGRACE at Saba
16:00 - 17:30
Next steps with Grace
GRACE

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

Room10:003011:003012:003013:003014:003015:0030
Saba

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Saba

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