Khalil Ghorbal
Title
Cited by
Cited by
Year
On provably safe obstacle avoidance for autonomous robotic ground vehicles
S Mitsch, K Ghorbal, A Platzer
892013
The zonotope abstract domain taylor1+
K Ghorbal, E Goubault, S Putot
International Conference on Computer Aided Verification, 627-633, 2009
832009
A formally verified hybrid system for the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ...
International Conference on Tools and Algorithms for the Construction and …, 2015
742015
Characterizing algebraic invariants by differential radical invariants
K Ghorbal, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2014
602014
A logical product approach to zonotope intersection
K Ghorbal, E Goubault, S Putot
International Conference on Computer Aided Verification, 212-226, 2010
522010
Formal verification of obstacle avoidance and navigation of ground robots
S Mitsch, K Ghorbal, D Vogelbacher, A Platzer
The International Journal of Robotics Research 36 (12), 1312-1340, 2017
512017
Space software validation using abstract interpretation
O Bouissou, E Conquet, P Cousot, R Cousot, J Feret, K Ghorbal, ...
362009
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ...
International Journal on Software Tools for Technology Transfer 19 (6), 717-741, 2017
332017
A method for invariant generation for polynomial continuous systems
A Sogokon, K Ghorbal, PB Jackson, A Platzer
International Conference on Verification, Model Checking, and Abstract …, 2016
302016
Formal verification of ACAS X, an industrial airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ...
2015 International Conference on Embedded Software (EMSOFT), 127-136, 2015
252015
Donut domains: Efficient non-convex domains for abstract interpretation
K Ghorbal, F Ivančić, G Balakrishnan, N Maeda, A Gupta
International Workshop on Verification, Model Checking, and Abstract …, 2012
252012
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
K Ghorbal, A Sogokon, A Platzer
Computer Languages, Systems & Structures 47, 19-43, 2017
212017
Hybrid theorem proving of aerospace systems: Applications and challenges
K Ghorbal, JB Jeannin, E Zawadzki, A Platzer, GJ Gordon, P Capell
Journal of Aerospace Information Systems 11 (10), 702-713, 2014
172014
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
122018
Non-linear continuous systems for safety verification (benchmark proposal)
A Sogokon, K Ghorbal, TT Johnson
ARCH@ CPSWeek 2016-3rd International Workshop on Applied Verification for …, 2016
112016
Multi-mode DAE models-challenges, theory and implementation
A Benveniste, B Caillaud, H Elmqvist, K Ghorbal, M Otter, M Pouzet
Computing and Software Science, 283-310, 2019
102019
Invariance of conjunctions of polynomial equalities for algebraic differential equations
K Ghorbal, A Sogokon, A Platzer
International Static Analysis Symposium, 151-167, 2014
102014
Structural analysis of multi-mode DAE systems
A Benveniste, B Caillaud, H Elmqvist, K Ghorbal, M Otter, M Pouzet
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
92017
A hierarchy of proof rules for checking differential invariance of algebraic sets
K Ghorbal, A Sogokon, A Platzer
International Workshop on Verification, Model Checking, and Abstract …, 2015
82015
Efficient probabilistic model checking of systems with ranged probabilities
K Ghorbal, PS Duggirala, V Kahlon, F Ivančić, A Gupta
International Workshop on Reachability Problems, 107-120, 2012
62012
The system can't perform the operation now. Try again later.
Articles 1–20