26 Sept. 2016: Madrid (MC meeting)

Meeting held in conjunction with the Runtime Verification conference RV’16.

Venue: Residencia de Estudiantes, Madrid, Spain


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