| emsoft | participants

Khalil Ghorbal

EMSOFT 2017: 17th International Conference on Embedded Software

Operational Models for Piecewise-Smooth Systems

Andrew Sogokon, Khalil Ghorbal, and Taylor T. Johnson

EMSOFT 2015: 15th International Conference on Embedded Software

Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, and André Platzer