ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Tue 7 Jul 2015 14:15 - 14:45 at Hluboka I - Session 2 Chair(s): Rosemary Monahan

Tue 7 Jul

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

13:45 - 14:45
Session 2FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
13:45
30m
Talk
Provably Live Exception Handling
FTfJP
Bart Jacobs iMinds - Distrinet, KU Leuven
14:15
30m
Talk
Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
FTfJP
Jorne Kandziora University of Twente, Marieke Huisman University of Twente, Christoph Bockisch University of Twente, Marina Zaharieva-Stojanovski University of Twente