Follow
Khalil Ghorbal
Title
Cited by
Cited by
Year
The zonotope abstract domain taylor1+
K Ghorbal, E Goubault, S Putot
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
1312009
On provably safe obstacle avoidance for autonomous robotic ground vehicles
S Mitsch, K Ghorbal, A Platzer
Robotics: Science and Systems IX, Technische Universität Berlin, Berlin …, 2013
1192013
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
1052017
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, ...
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
942015
Characterizing algebraic invariants by differential radical invariants
K Ghorbal, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2014
732014
A logical product approach to zonotope intersection
K Ghorbal, E Goubault, S Putot
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
722010
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, 717-741, 2017
612017
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
472015
Space software validation using abstract interpretation
O Bouissou, E Conquet, P Cousot, R Cousot, J Feret, K Ghorbal, ...
The International Space System Engineering Conference: Data Systems in …, 2009
452009
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 …, 2015
432015
Multi-mode DAE models-challenges, theory and implementation
A Benveniste, B Caillaud, H Elmqvist, K Ghorbal, M Otter, M Pouzet
Computing and Software Science: state of the Art and Perspectives, 283-310, 2019
292019
Donut domains: Efficient non-convex domains for abstract interpretation
K Ghorbal, F Ivančić, G Balakrishnan, N Maeda, A Gupta
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
292012
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
282018
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
262017
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
252014
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
172016
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
122017
Invariance of conjunctions of polynomial equalities for algebraic differential equations
K Ghorbal, A Sogokon, A Platzer
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014
102014
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. STTT 19 (6), 717–741 (2017)
J Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ...
8
A hierarchy of proof rules for checking differential invariance of algebraic sets
K Ghorbal, A Sogokon, A Platzer
Verification, Model Checking, and Abstract Interpretation: 16th …, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20