The zonotope abstract domain taylor1+ K Ghorbal, E Goubault, S Putot Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 130 | 2009 |
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 | 122 | 2013 |
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 | 106 | 2017 |
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 | 95 | 2015 |
Characterizing algebraic invariants by differential radical invariants K Ghorbal, A Platzer International Conference on Tools and Algorithms for the Construction and …, 2014 | 77 | 2014 |
A logical product approach to zonotope intersection K Ghorbal, E Goubault, S Putot Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 73 | 2010 |
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 | 63 | 2017 |
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 | 48 | 2015 |
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 | 44 | 2009 |
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 | 42 | 2015 |
Vector barrier certificates and comparison systems A Sogokon, K Ghorbal, YK Tan, A Platzer International Symposium on Formal Methods, 418-437, 2018 | 31 | 2018 |
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 | 30 | 2019 |
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 | 29 | 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 | 25 | 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 | 24 | 2014 |
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 | 18 | 2016 |
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 | 13 | 2017 |
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 | 10 | 2014 |
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, ... | 9 | |
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 | 7 | 2015 |