| 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 | 92 | 2013 |
| The zonotope abstract domain taylor1+ K Ghorbal, E Goubault, S Putot International Conference on Computer Aided Verification, 627-633, 2009 | 87 | 2009 |
| 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 | 74 | 2015 |
| Characterizing algebraic invariants by differential radical invariants K Ghorbal, A Platzer International Conference on Tools and Algorithms for the Construction and …, 2014 | 60 | 2014 |
| A logical product approach to zonotope intersection K Ghorbal, E Goubault, S Putot International Conference on Computer Aided Verification, 212-226, 2010 | 57 | 2010 |
| 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 | 55 | 2017 |
| 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 | 37 | 2009 |
| 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 | 35 | 2017 |
| 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 | 31 | 2016 |
| 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 | 25 | 2015 |
| 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 | 25 | 2012 |
| 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 | 22 | 2017 |
| 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 | 18 | 2014 |
| Vector barrier certificates and comparison systems A Sogokon, K Ghorbal, YK Tan, A Platzer International Symposium on Formal Methods, 418-437, 2018 | 12 | 2018 |
| 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 | 11 | 2016 |
| 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 | 10 | 2019 |
| 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 | 10 | 2017 |
| Invariance of conjunctions of polynomial equalities for algebraic differential equations K Ghorbal, A Sogokon, A Platzer International Static Analysis Symposium, 151-167, 2014 | 9 | 2014 |
| 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 | 7 | 2015 |
| 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 | 6 | 2012 |
