You are here

Event Details

MP Associates, Inc.
MONDAY October 16, 1:30pm - 3:00pm | Crystal 3
EVENT TYPE: REGULAR SESSION
SESSION EM2C
EMSOFT: Verification
Chair:
Robert de Simone - INRIA

2C.1A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs
 Speaker: Nikolas Stott - INRIA
 Authors: Xavier Allamigeon - INRIA
Stephane Gaubert - INRIA
Eric Goubault - LIX, Ecole Polytechnique
Sylvie Putot - LIX, Ecole polytechnique
Nikolas Stott - INRIA
2C.2Improving Invariant Mining via Static Analysis
 Speaker: Christoph Schulze - Univ. of Maryland
 Authors: Christoph Schulze - Univ. of Maryland
Rance Cleaveland - Univ. of Maryland
2C.3Formal Verification of a Timing Enforcer Implementation
 Speaker: Sagar Chaki - Carnegie Mellon Univ.
 Authors: Sagar Chaki - Carnegie Mellon Univ.
Dionisio de Niz - Carnegie Mellon Univ.