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 |
A formal safety net for waypoint-following in ground robots R Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer IEEE Robotics and Automation Letters 4 (3), 2910-2917, 2019 | 33 | 2019 |
Vector barrier certificates and comparison systems A Sogokon, K Ghorbal, YK Tan, A Platzer International Symposium on Formal Methods, 418-437, 2018 | 33 | 2018 |
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 | 26 | 2017 |
Pegasus: Sound continuous invariant generation A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer Formal Methods in System Design 58 (1), 5-41, 2021 | 20 | 2021 |
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 | 19 | 2016 |
Pegasus: A framework for sound continuous invariant generation A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer International Symposium on Formal Methods, 138-157, 2019 | 17 | 2019 |
Direct formal verification of liveness properties in continuous and hybrid dynamical systems A Sogokon, PB Jackson International Symposium on Formal Methods, 514-531, 2015 | 15 | 2015 |
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. S Mitsch, A Sogokon, YK Tan, X Jin, B Zhan, S Wang, N Zhan ARCH@ CPSIoTWeek, 141-161, 2019 | 14 | 2019 |
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 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 |
Characterizing positively invariant sets: Inductive and topological methods K Ghorbal, A Sogokon Journal of Symbolic Computation 113, 1-28, 2022 | 6 | 2022 |
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants A Sogokon, PB Jackson, TT Johnson Journal of Automated Reasoning 63 (4), 1005-1029, 2019 | 6 | 2019 |
Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants A Sogokon, PB Jackson, TT Johnson NASA Formal Methods Symposium, 194-211, 2017 | 6 | 2017 |
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. S Mitsch, A Sogokon, YK Tan, A Platzer, H Zhao, X Jin, S Wang, N Zhan ARCH@ ADHS, 110-127, 2018 | 4 | 2018 |
Direct methods for deductive verification of temporal properties in continuous dynamical systems A Sogokon The University of Edinburgh, 2016 | 4 | 2016 |
Verifying hybrid systems involving transcendental functions P Jackson, A Sogokon, J Bridge, L Paulson NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 4 | 2014 |
Operational models for piecewise-smooth systems A Sogokon, K Ghorbal, TT Johnson ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017 | 3 | 2017 |
Real Arithmetic in TLAPM OVW Gunasekera, A Sogokon, A Gouglidis, N Suri NASA Formal Methods Symposium, 136-143, 2024 | 1 | 2024 |
Decoupling abstractions of non-linear ordinary differential equations A Sogokon, K Ghorbal, TT Johnson International Symposium on Formal Methods, 628-644, 2016 | 1 | 2016 |