|
Search the dblp DataBase
Theo C. Ruys:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gerard J. Holzmann, Theo C. Ruys
Effective Bug Hunting with Spin and Modex. [Citation Graph (0, 0)][DBLP] SPIN, 2005, pp:24-24 [Conf]
- Theo C. Ruys
Low-Fat Recipes for SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:287-321 [Conf]
- Theo C. Ruys
SPIN Tutorial: How to Become a SPIN Doctor. [Citation Graph (0, 0)][DBLP] SPIN, 2002, pp:6-13 [Conf]
- Theo C. Ruys
Optimal Scheduling Using Branch and Bound with SPIN 4.0. [Citation Graph (0, 0)][DBLP] SPIN, 2003, pp:1-17 [Conf]
- Theo C. Ruys
Xspin/Project - Integrated Validation Management for Xspin. [Citation Graph (0, 0)][DBLP] SPIN, 1999, pp:108-119 [Conf]
- Theo C. Ruys, Gerard J. Holzmann
Advanced SPIN Tutorial. [Citation Graph (0, 0)][DBLP] SPIN, 2004, pp:304-305 [Conf]
- Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
The Bounded Retransmission Protocol Must Be on Time! [Citation Graph (0, 0)][DBLP] TACAS, 1997, pp:416-431 [Conf]
- Theo C. Ruys, Ed Brinksma
Experience with Literate Programming in the Modelling and Validation of Systems. [Citation Graph (0, 0)][DBLP] TACAS, 1998, pp:393-408 [Conf]
- Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. [Citation Graph (0, 0)][DBLP] TACAS, 2001, pp:220-235 [Conf]
- Theo C. Ruys, Ed Brinksma
Managing the verification trajectory. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:2, pp:246-259 [Journal]
- Theo C. Ruys, Niels H. M. Aan de Brugh
MMC: the Mono Model Checker. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:149-160 [Journal]
Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. [Citation Graph (, )][DBLP]
Incremental Hashing for Spin. [Citation Graph (, )][DBLP]
Memoised Garbage Collection for Software Model Checking. [Citation Graph (, )][DBLP]
MoonWalker: Verification of .NET Programs. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|