 | 2009 |
|---|
| 15 |       | Niels H. M. Aan de Brugh,
Viet Yen Nguyen,
Theo C. Ruys:
MoonWalker: Verification of .NET Programs.
TACAS 2009: 170-173 |
| 14 | | Viet Yen Nguyen,
Theo C. Ruys:
Memoised Garbage Collection for Software Model Checking.
TACAS 2009: 201-214 |
| 2008 |
|---|
| 13 | | Pieter H. Hartel,
Theo C. Ruys,
Marc C. W. Geilen:
Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow.
FMCAD 2008: 1-10 |
| 12 | | Viet Yen Nguyen,
Theo C. Ruys:
Incremental Hashing for Spin.
SPIN 2008: 232-249 |
| 2007 |
|---|
| 11 | | Theo C. Ruys,
Niels H. M. Aan de Brugh:
MMC: the Mono Model Checker.
Electr. Notes Theor. Comput. Sci. 190(1): 149-160 (2007) |
| 2005 |
|---|
| 10 | | Gerard J. Holzmann,
Theo C. Ruys:
Effective Bug Hunting with Spin and Modex.
SPIN 2005: 24-24 |
| 2004 |
|---|
| 9 | | Theo C. Ruys,
Gerard J. Holzmann:
Advanced SPIN Tutorial.
SPIN 2004: 304-305 |
| 2003 |
|---|
| 8 | | Theo C. Ruys:
Optimal Scheduling Using Branch and Bound with SPIN 4.0.
SPIN 2003: 1-17 |
| 7 | | Theo C. Ruys,
Ed Brinksma:
Managing the verification trajectory.
STTT 4(2): 246-259 (2003) |
| 2002 |
|---|
| 6 | | Theo C. Ruys:
SPIN Tutorial: How to Become a SPIN Doctor.
SPIN 2002: 6-13 |
| 2001 |
|---|
| 5 | | Theo C. Ruys,
Rom Langerak,
Joost-Pieter Katoen,
Diego Latella,
Mieke Massink:
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.
TACAS 2001: 220-235 |
| 2000 |
|---|
| 4 |  | Theo C. Ruys:
Low-Fat Recipes for SPIN.
SPIN 2000: 287-321 |
| 1999 |
|---|
| 3 | | Theo C. Ruys:
Xspin/Project - Integrated Validation Management for Xspin.
SPIN 1999: 108-119 |
| 1998 |
|---|
| 2 | | Theo C. Ruys,
Ed Brinksma:
Experience with Literate Programming in the Modelling and Validation of Systems.
TACAS 1998: 393-408 |
| 1997 |
|---|
| 1 | | Pedro R. D'Argenio,
Joost-Pieter Katoen,
Theo C. Ruys,
Jan Tretmans:
The Bounded Retransmission Protocol Must Be on Time!
TACAS 1997: 416-431 |
