Concepedia

Khalil Ghorbal

KG

9

Publications

270

Citations

9

H-Index

2009

Active since

Affiliations

Carnegie Mellon University(Current)

Johns Hopkins University Applied Physics Laboratory

Centre Inria de l'Université de Rennes

Institut national de recherche en sciences et technologies du numérique

Khalil Ghorbal is an author at Carnegie Mellon University specializing in engineering, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsSystems EngineeringFormal VerificationComputer EngineeringVerificationComputer ScienceSpace EngineeringSoftware VerificationAutomated Reasoning

Publications per year

2009–2017

9

Publications

9

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles

Stefan Mitsch, Khalil Ghorbal, André Platzer · 2013 · 85 citations · Full text

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas et al. · International Journal on Software Tools for Technology Transfer · 2016 · 45 citations

Automatic Navigation, Engineering, Aircraft Navigation +8

Space Software Validation using Abstract Interpretation

Olivier Bouissou, Eric Conquet, Patrick Cousot et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 28 citations · Full text

Formal verification of ACAS X, an industrial airborne collision avoidance system

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas et al. · 2015 · 27 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Formal verification of ACAS X, an industrial airborne collision avoidance system

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas et al. · Embedded Software · 2015 · 22 citations

Engineering, Verification, Computer-aided Verification +17

Rows per page

1–5 of 9