Papers
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system jeannin-2016-aSTTT · 2016
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System jeannin-2015-aTACAS · 2015
khalilghorbal person entries/rolodex/khalilghorbal.hel