- Pegasus: Sound Continuous Invariant Generation, Formal Methods in System Design (FMSD), 2021. (arXiv version)
- Pegasus: A Framework for Sound Continuous Invariant Generation, Proceedings of the 23rd International Symposium on Formal Methods (FM'19), Porto, Portugal, 2019.
- Vector Barrier Certificates and Comparison Systems, Proceedings of the 22nd International Symposium on Formal Methods (FM'18), Oxford, UK, 2018.