The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Theo C. Ruys: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gerard J. Holzmann, Theo C. Ruys
    Effective Bug Hunting with Spin and Modex. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:24-24 [Conf]
  2. Theo C. Ruys
    Low-Fat Recipes for SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:287-321 [Conf]
  3. Theo C. Ruys
    SPIN Tutorial: How to Become a SPIN Doctor. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:6-13 [Conf]
  4. Theo C. Ruys
    Optimal Scheduling Using Branch and Bound with SPIN 4.0. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:1-17 [Conf]
  5. Theo C. Ruys
    Xspin/Project - Integrated Validation Management for Xspin. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:108-119 [Conf]
  6. Theo C. Ruys, Gerard J. Holzmann
    Advanced SPIN Tutorial. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:304-305 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Theo C. Ruys, Ed Brinksma
    Managing the verification trajectory. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:246-259 [Journal]
  11. 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]

  12. Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. [Citation Graph (, )][DBLP]


  13. Incremental Hashing for Spin. [Citation Graph (, )][DBLP]


  14. Memoised Garbage Collection for Software Model Checking. [Citation Graph (, )][DBLP]


  15. MoonWalker: Verification of .NET Programs. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002