Meeting held in conjunction with the Runtime Verification conference RV’16.
Venue: Residencia de Estudiantes, Madrid, Spain
Schedule
Schedule | Monday | |
---|---|---|
8:30 – 9:00 | Registration | |
9:00 – 9:15 | COST Meeting Opening – Martin Leucker | |
9:15 – 10:30 | Scientific talks | |
Nikolaus Bayer (DE): Run-time transaction scoring for payment fraud prevention(PDF) |
||
Borzoo Bonakdarpour (McMaster, CA): Decentralized Asynchronous Crash-Resilient Runtime Verification |
||
10:30 – 11:00 | Coffe Break | |
11:00 – 12:30 | Scientific talks (WG4) | |
Antoine El-Hokayem (IMAG,FR): An Aspect-Oriented paradigm for Component-based Systems and its application to RV of CBSs (PDF) | ||
Carl M. Rosenberg (Simula/UiO, NO): Leveraging DTrace for Runtime Verification(PDF) |
||
Malte Schmitz (UzL, DE): Runtime Verification for Interconnected Medical Devices |
||
12:30 – 14:00 | Lunch | |
14:00 – 15:30 | Scientific talks | |
Miguel Gómez-Zamalloa (UCM, ES): Systematic Testing and Deadlock Detection in Actor Systems |
||
Walter Binder (USI, CH): Comprehensive and Accurate Runtime Monitoring for Java and Android |
||
Alessandra Gorla (IMDEA, ES): Automatic Generation of Oracles for Exceptional Behaviors |
||
15:30 – 16:00 | Coffee Break | |
16:00 – 17:00 | Management Committee Meeting | |
Preparation for M24 reporting | ||
20:30 | Dinner | |
La Antonita, Calle Cava Baja 14 |
How to get to the venue
Madrid Airport is a main hub in Europe with direct flights from many European and American cities. It is possible to reach the airport directly by Metro and train (with a direct connection to Nuevos Ministerios). A taxi (10km) should cost no more than 30 EUR.
Metro: Nuevos Ministerios (L6, L8, L10), Republica Argentina (L6), Gregorio Marañon (L10) Train: Nuevos Ministerios