VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Mon 18 Jan 2016 10:30 - 11:00 at Room St Petersburg I - Hybrid and Timed Systems Chair(s): David Monniaux

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Hybrid and Timed SystemsVMCAI at Room St Petersburg I
Chair(s): David Monniaux CNRS, VERIMAG
10:30
30m
Talk
Abstract Interpretation with Infinitesimals
VMCAI
Kengo Kido , Swarat Chaudhuri Rice University, Ichiro Hasuo University of Tokyo
11:00
30m
Talk
Lipschitz Robustness of Timed I/O Systems
VMCAI
Thomas A. Henzinger IST Austria, Jan Otop University of Wrocław, Roopsha Samanta IST Austria
11:30
30m
Talk
A method for invariant generation for polynomial continuous systems
VMCAI
Andrew Sogokon , Khalil Ghorbal Carnegie Mellon University, Paul Jackson , André Platzer