Theo C. Ruys Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Theo C. Ruys, Pim Kars: Gossiping Girls Are All Alike. SPIN 2012: 117-136
2010
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc de Jonge, Theo C. Ruys: The SpinJa Model Checker. SPIN 2010: 124-128
2009
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys: MoonWalker: Verification of .NET Programs. TACAS 2009: 170-173
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Viet Yen Nguyen, Theo C. Ruys: Memoised Garbage Collection for Software Model Checking. TACAS 2009: 201-214
2008
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Viet Yen Nguyen, Theo C. Ruys: Incremental Hashing for Spin. SPIN 2008: 232-249
2007
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gerard J. Holzmann, Theo C. Ruys: Effective Bug Hunting with Spin and Modex. SPIN 2005: 24-24
2004
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Theo C. Ruys, Gerard J. Holzmann: Advanced SPIN Tutorial. SPIN 2004: 304-305
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Theo C. Ruys, Ed Brinksma: Managing the verification trajectory. STTT 4(2): 246-259 (2003)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Theo C. Ruys: Optimal Scheduling Using Branch and Bound with SPIN 4.0. SPIN 2003: 1-17
2002
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Theo C. Ruys: SPIN Tutorial: How to Become a SPIN Doctor. SPIN 2002: 6-13
2001
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Theo C. Ruys: Low-Fat Recipes for SPIN. SPIN 2000: 287-321
1999
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Theo C. Ruys: Xspin/Project - Integrated Validation Management for Xspin. SPIN 1999: 108-119
1998
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Theo C. Ruys, Ed Brinksma: Experience with Literate Programming in the Modelling and Validation of Systems. TACAS 1998: 393-408
1997
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans: The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431

Coauthor Index

1Ed Brinksma
[j1] [c2]
2Niels H. M. Aan de Brugh
[c13] [j2]
3Pedro R. D'Argenio
[c1]
4Marc Geilen (Marc C. W. Geilen)
[c11]
5Pieter H. Hartel
[c11]
6Gerard J. Holzmann
[c9] [c8]
7Marc de Jonge
[c14]
8Pim Kars
[c15]
9Joost-Pieter Katoen
[c5] [c1]
10Rom Langerak
[c5]
11Diego Latella
[c5]
12Mieke Massink
[c5]
13Viet Yen Nguyen
[c13] [c12] [c10]
14Jan Tretmans
[c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 23:55:03 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page