Andrew Sogokon
Andrew Sogokon
Geverifieerd e-mailadres voor andrew.cmu.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
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
Direct formal verification of liveness properties in continuous and hybrid dynamical systems
A Sogokon, PB Jackson
International Symposium on Formal Methods, 514-531, 2015
122015
A formal safety net for waypoint-following in ground robots
B Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer
IEEE Robotics and Automation Letters 4 (3), 2910-2917, 2019
112019
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
102018
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
102016
Invariance of conjunctions of polynomial equalities for algebraic differential equations
K Ghorbal, A Sogokon, A Platzer
International Static Analysis Symposium, 151-167, 2014
102014
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
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
42019
Verifying hybrid systems involving transcendental functions
P Jackson, A Sogokon, J Bridge, L Paulson
NASA Formal Methods Symposium, 188-202, 2014
42014
Direct methods for deductive verification of temporal properties in continuous dynamical systems
A Sogokon
The University of Edinburgh, 2016
32016
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
22019
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
22018
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
12019
Operational models for piecewise-smooth systems
A Sogokon, K Ghorbal, TT Johnson
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
12017
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
12017
Decoupling abstractions of non-linear ordinary differential equations
A Sogokon, K Ghorbal, TT Johnson
International Symposium on Formal Methods, 628-644, 2016
12016
Characterizing Positively Invariant Sets: Inductive and Topological Methods
K Ghorbal, A Sogokon
arXiv preprint arXiv:2009.09797, 2020
2020
Pegasus: Sound Continuous Invariant Generation
A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer
arXiv preprint arXiv:2005.09348, 2020
2020
Parallel Composition and Modular Verification of Computer Controlled
S Lunel, A Sogokon, B Bohrer, S Mitsch, L Garcia, B Bohrer
Formal Methods-The Next 30 Years-Third World Congress,{FM} 2019 20, 615-643, 2019
2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20