ECOOP 2016 (series) / VORTEX 2016 (series) / VORTEX /
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
I am a Researcher at Samsung Research America in Mountain View, California. Before that I was a Post Doctoral Fellow working with André Platzer in the Logical Systems Lab at Carnegie Mellon University. I received my Ph.D. in Computer Science from Cornell University in 2013, where I was advised by Dexter Kozen. I also received a Master of Engineering in Computer Science from Cornell University in 2008, and a Diplôme d’Ingénieur from École polytechnique in 2007.
Mon 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:05 - 12:25 | |||
10:05 5mDay opening | Opening Remarks VORTEX Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University | ||
10:10 30m | StaRVOOrS: A framework for static and runtime verification of data and control properties. VORTEX Gerardo Schneider University of Gothenburg | ||
10:40 30m | Runtime Verification with Data VORTEX Martin Leucker University of Lübeck | ||
11:10 30m | Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System VORTEX Jean-Baptiste Jeannin Carnegie Mellon University | ||
