List colorings count rokudoku-pair squares. - Braxton Carrigan; James M. Hammer; John Lorch; Robert Lorch; Caitlin Owens (Bull. ICA, 2021)

Constructing $(3, b)$-Sudoku pair Latin squares. - Braxton Carrigan; David Diaz; James M. Hammer; John Lorch; Robert Lorch (Australas. J Comb., 2022)

CRV: Automated Cyber-Resiliency Reasoning for System Design Models. - Daniel Larraz; Robert Lorch; Moosa Yahyazadeh; M. Fareed Arif; Omar Chowdhury; Cesare Tinelli (FMCAD, 2023)

Formal Methods in Requirements Engineering: Survey and Future Directions. - Robert Lorch; Baoluo Meng; Kit Siu; Abha Moitra; Michael Durling; Saswata Paul; Sarat Chandra Varanasi; Craig McMillan (FormaliSE@ICSE, 2024)

A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework. - Robert Lorch; Daniel Larraz; Cesare Tinelli; Omar Chowdhury (RAID, 2024)

TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation. - Sarat Chandra Varanasi; Baoluo Meng; Robert Lorch; Abha Moitra; Kit Siu; Saswata Paul; Michael Durling; Neha Beniwal; Nikita Visnevski (NFM, 2025)

Saecred: A State-Aware, Over-the-Air Protocol Testing Approach for Discovering Parsing Bugs in SAE Handshake Implementations of COTS Wi-Fi Access Points. - Muhammad Daniyal Pirwani Dar; Robert Lorch; Aliakbar Sadeghi; Vincenzo Sorcigli; Héloïse Gollier; Cesare Tinelli; Mathy Vanhoef; Omar Chowdhury (SP, 2025)