Andrew Sogokon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2014–2019
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Pegasus: A Framework for Sound Continuous Invariant Generation. | Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, Andr Platzer |
| 2018 | FM | Vector Barrier Certificates and Comparison Systems. | Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, Andr Platzer |
| 2016 | FM | Decoupling Abstractions of Non-linear Ordinary Differential Equations. | Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson |
| 2016 | VMCAI | A Method for Invariant Generation for Polynomial Continuous Systems. | Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, Andr Platzer |
| 2015 | FM | Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. | Andrew Sogokon, Paul B. Jackson |
| 2015 | VMCAI | A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. | Khalil Ghorbal, Andrew Sogokon, Andr Platzer |
| 2014 | SAS | Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. | Khalil Ghorbal, Andrew Sogokon, Andr Platzer |