Theo C. Ruys

22 papers A 5B 1Journal 3Unranked 13
YearRankTypeTitle / Venue / Authors
2024 — conf
Bug Localisation in Model-Based Testing using Model-Centric Shrinking.
DEBT@ISSTA
Susan van den Broek, Ana Oprescu, Theo C. Ruys
2024 — conf
Effective Model-Based Testing.
Principles of Verification (3)
Theo C. Ruys, Machiel van der Bijl
2014 J jnl
Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges.
Int. J. Softw. Tools Technol. Transf.
Jaco van de Pol, Theo C. Ruys, Steven te Brinke
2014 — conf
Unit testing for SPIN: runspin and parsepan.
SPIN
Theo C. Ruys
2013 J jnl
Selected dynamic issues in software model checking.
Int. J. Softw. Tools Technol. Transf.
Viet Yen Nguyen, Theo C. Ruys
2012 — conf
Gossiping Girls Are All Alike.
SPIN
Theo C. Ruys, Pim Kars
2010 — conf
The SpinJa Model Checker.
SPIN
Marc de Jonge, Theo C. Ruys
2009 A conf
Memoised Garbage Collection for Software Model Checking.
TACAS
Viet Yen Nguyen, Theo C. Ruys
2009 A conf
MoonWalker: Verification of .NET Programs.
TACAS
Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys
2008 — conf
Incremental Hashing for Spin.
SPIN
Viet Yen Nguyen, Theo C. Ruys
2008 B conf
Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow.
FMCAD
Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen
2007 — conf
MMC: the Mono Model Checker.
Bytecode@ETAPS
Theo C. Ruys, Niels H. M. Aan de Brugh
2005 — conf
Effective Bug Hunting with Spin and Modex.
SPIN
Gerard J. Holzmann, Theo C. Ruys
2004 — conf
Advanced SPIN Tutorial.
SPIN
Theo C. Ruys, Gerard J. Holzmann
2003 J jnl
Managing the verification trajectory.
Int. J. Softw. Tools Technol. Transf.
Theo C. Ruys, Ed Brinksma
2003 — conf
Optimal Scheduling Using Branch and Bound with SPIN 4.0.
SPIN
Theo C. Ruys
2002 — conf
SPIN Tutorial: How to Become a SPIN Doctor.
SPIN
Theo C. Ruys
2001 A conf
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.
TACAS
Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
2000 — conf
Low-Fat Recipes for SPIN.
SPIN
Theo C. Ruys
1999 — conf
Xspin/Project - Integrated Validation Management for Xspin.
SPIN
Theo C. Ruys
1998 A conf
Experience with Literate Programming in the Modelling and Validation of Systems.
TACAS
Theo C. Ruys, Ed Brinksma
1997 A conf
The Bounded Retransmission Protocol Must Be on Time!
TACAS
Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans