Katherine Cordwell

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 13

Top Topics

Iterative Procedure

Affine Transformation

Top Venues

Arch. Formal Proofs

Publications

Katherine Cordwell, Yong Kiam Tan, André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58 (1-2) (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. CoRR (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. Arch. Formal Proofs 2021 (2021)
Katherine Cordwell, Yong Kiam Tan, André Platzer
The BKR Decision Procedure for Univariate Real Arithmetic. Arch. Formal Proofs 2021 (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. FM (2021)
Katherine Cordwell, Yong Kiam Tan, André Platzer
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. ITP (2021)
Katherine Cordwell, Yong Kiam Tan, André Platzer
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. CoRR (2021)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: Sound Continuous Invariant Generation. CoRR (2020)
Katherine Cordwell, André Platzer
Towards Physical Hybrid Systems. CADE (2019)
Katherine Cordwell, Alyssa Epstein, Anand Hemmandy, Steven J. Miller, Eyvindur A. Palsson, Aaditya Sharma, Stefan Steinerberger, Yen Nhi Truong Vu
On Algorithms to Calculate Integer Complexity. Integers 19 (2019)
Katherine Cordwell, André Platzer
Towards Physical Hybrid Systems. CoRR (2019)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: A Framework for Sound Continuous Invariant Generation. FM (2019)