Simon Hudon

11 papers A 1B 2Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A conf
Modular, Full-System Verification.
HotOS
Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser, David Swasey
2020 J jnl
Sealing Pointer-Based Optimizations Behind Pure Functions.
CoRR
Daniel Selsam, Simon Hudon, Leonardo de Moura
2020 J jnl
Sealing pointer-based optimizations behind pure functions.
Proc. ACM Program. Lang.
Daniel Selsam, Simon Hudon, Leonardo de Moura
2019 B conf
Data Types as Quotients of Polynomial Functors.
ITP
Jeremy Avigad, Mario Carneiro, Simon Hudon
2018 J jnl
The Unit-B Method - Refinement Guided by Progress Concerns.
CoRR
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
2016 J jnl
The Unit-B method: refinement guided by progress concerns.
Softw. Syst. Model.
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
2015 — conf
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems.
ESSS
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
2013 — conf
Precise Documentation and Validation of Requirements.
FTSCS
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
2013 B conf
Systems Design Guided by Progress Concerns.
IFM
Simon Hudon, Thai Son Hoang
2013 — conf
TTM/PAT: Specifying and Verifying Timed Transition Models.
FTSCS
Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun
2011 — conf
Development of Control Systems Guided by Models of their Environment.
B@FM
Simon Hudon, Thai Son Hoang