• 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.