- DynAlloy: Upgrading Alloy with Actions [frias:icse:2005]
- Model checking early requirements specifications in Tropos [fuxman:isre:2001]
- Alloy: A lightweight object modelling notation [jackson:tosem:2002]
- Who guards the guards? Formal validation of the ARM v8-M architecture specification [reid:oopsla:2017]
- Defining interfaces between hardware and software: Quality and performance [reid:phd:2019]
The opinions expressed are my own views and not my employer’s.