The Bounded Retransmission Protocol Must Be on Time! - Pedro R. D'Argenio; Joost-Pieter Katoen; Theo C. Ruys; Jan Tretmans (TACAS, 1997)

Experience with Literate Programming in the Modelling and Validation of Systems. - Theo C. Ruys; Ed Brinksma (TACAS, 1998)

Xspin/Project - Integrated Validation Management for Xspin. - Theo C. Ruys (SPIN, 1999)

Low-Fat Recipes for SPIN. - Theo C. Ruys (SPIN, 2000)

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. - Theo C. Ruys; Rom Langerak; Joost-Pieter Katoen; Diego Latella; Mieke Massink (TACAS, 2001)

SPIN Tutorial: How to Become a SPIN Doctor. - Theo C. Ruys (SPIN, 2002)

Optimal Scheduling Using Branch and Bound with SPIN 4.0. - Theo C. Ruys (SPIN, 2003)

Managing the verification trajectory. - Theo C. Ruys; Ed Brinksma (Int. J. Softw. Tools Technol. Transf., 2003)

Advanced SPIN Tutorial. - Theo C. Ruys; Gerard J. Holzmann (SPIN, 2004)

Effective Bug Hunting with Spin and Modex. - Gerard J. Holzmann; Theo C. Ruys (SPIN, 2005)

MMC: the Mono Model Checker. - Theo C. Ruys; Niels H. M. Aan de Brugh (Bytecode@ETAPS, 2007)

Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. - Pieter H. Hartel; Theo C. Ruys; Marc C. W. Geilen (FMCAD, 2008)

Incremental Hashing for Spin. - Viet Yen Nguyen; Theo C. Ruys (SPIN, 2008)

MoonWalker: Verification of .NET Programs. - Niels H. M. Aan de Brugh; Viet Yen Nguyen; Theo C. Ruys (TACAS, 2009)

Memoised Garbage Collection for Software Model Checking. - Viet Yen Nguyen; Theo C. Ruys (TACAS, 2009)

The SpinJa Model Checker. - Marc de Jonge; Theo C. Ruys (SPIN, 2010)

Gossiping Girls Are All Alike. - Theo C. Ruys; Pim Kars (SPIN, 2012)

Selected dynamic issues in software model checking. - Viet Yen Nguyen; Theo C. Ruys (Int. J. Softw. Tools Technol. Transf., 2013)

Unit testing for SPIN: runspin and parsepan. - Theo C. Ruys (SPIN, 2014)

Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. - Jaco van de Pol; Theo C. Ruys; Steven te Brinke (Int. J. Softw. Tools Technol. Transf., 2014)

Effective Model-Based Testing. - Theo C. Ruys; Machiel van der Bijl (Principles of Verification (3), 2024)

Bug Localisation in Model-Based Testing using Model-Centric Shrinking. - Susan van den Broek; Ana Oprescu; Theo C. Ruys (DEBT@ISSTA, 2024)