Development of Control Systems Guided by Models of their Environment. - Simon Hudon; Thai Son Hoang (B@FM, 2011)

TTM/PAT: Specifying and Verifying Timed Transition Models. - Jonathan S. Ostroff; Chen-Wei Wang; Simon Hudon; Yang Liu 003; Jun Sun 001 (FTSCS, 2013)

Precise Documentation and Validation of Requirements. - Chen-Wei Wang; Jonathan S. Ostroff; Simon Hudon (FTSCS, 2013)

Systems Design Guided by Progress Concerns. - Simon Hudon; Thai Son Hoang (IFM, 2013)

Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems. - Chen-Wei Wang; Jonathan S. Ostroff; Simon Hudon (ESSS, 2015)

The Unit-B method: refinement guided by progress concerns. - Simon Hudon; Thai Son Hoang; Jonathan S. Ostroff (Softw. Syst. Model., 2016)

Data Types as Quotients of Polynomial Functors. - Jeremy Avigad; Mario Carneiro; Simon Hudon (ITP, 2019)

Sealing pointer-based optimizations behind pure functions. - Daniel Selsam; Simon Hudon; Leonardo de Moura 001 (Proc. ACM Program. Lang., 2020)

Modular, Full-System Verification. - Gregory Malecha; Hoang-Hai Dang; Paolo G. Giarrusso; Simon Hudon; Jan-Oliver Kaiser; David Swasey (HotOS, 2025)