1. A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value;Notre Dame Journal of Formal Logic;2023-02-01
2. Adapting Formal Logic for Everyday Mathematics;Proceedings of the 14th International Conference on Computer Supported Education;2022
3. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022
4. Runtime Assertion Checking and Static Verification: Collaborative Partners;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018
5. Efficient Incrementalized Runtime Checking of Linear Measures on Lists;2017 IEEE International Conference on Software Testing, Verification and Validation (ICST);2017-03