Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1995
Number of items: 24.

2009

Aan de Brugh, N.H.M. and Nguyen, V.Y. and Ruys, T.C. (2009) MoonWalker: Verification of .NET Programs. In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK (pp. pp. 170-173).

Nguyen, V.Y. and Ruys, T.C. (2009) Memoised Garbage Collection for Software Model Checking. In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK (pp. pp. 201-214).

2008

Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow (with appendix). [Report]

Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. In: 8th Int. Conf. on Formal Methods in Computer Aided Design (FMCAD), 17-20 Nov. 2008, Portland, Oregon (pp. pp. 161-170).

Nguyen, V.Y. and Ruys, T.C. (2008) Incremental Hashing for SPIN. In: Model Checking Software, Proceedings of the 15th International SPIN Workshop, 10-12 Aug 2008, Los Angeles, CA, USA (pp. pp. 232-249).

2007

Kattenbelt, M. and Ruys, T.C. and Rensink, A. (2007) An Object-Oriented Framework for Explicit-State Model Checking. In: Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), 23 March 2007, Eindhoven, The Netherlands (pp. pp. 84-92).

Ruys, Theo C. and Aan de Brugh, Niels H.M. (2007) MMC: the Mono Model Checker. In: Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode 2007, 31 March 2007, Braga, Portugal (pp. pp. 149-160).

2006

Griendt, W.E. van de and Ruys, T.C. (2006) New Approach and Tools for Comparative Institutional Analysis of Legal Regimes Used for Integrated Resources Management. In: Survival of the Commons: Mounting Challenges and New Realities, the 11th Conference of the IASCP, 19-23 June 2006, Bali, Indonesia.

2005

Holzmann, G.J. and Ruys, T.C. (2005) Effective Bug Hunting with SPIN and Modex. In: Model Checking Software, Proceedings of the 12th International SPIN Workshop, August 22-24, 2005, San Francisco, CA, USA (pp. p. 24).

2004

Jones, Val and Rensink, Arend and Ruys, Theo and Brinksma, Ed and Halteren, Aart van (2004) A formal MDA approach for mobile health systems. In: Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, EWMDA-2, 7-8 September 2004, Canterbury, England (pp. pp. 28-35).

Ruys, T.C. and Holzmann, G.J. (2004) Advanced SPIN Tutorial. In: Model Checking Software. Proceedings of the 11th International SPIN Workshop (SPIN 2004). (pp. pp. 304-305).

2003

Ruys, T.C. and Brinksma, H. (2003) Managing the Verification Trajectory. International journal on software tools for technology transfer, 4 (2). pp. 246-259. ISSN 1433-2779

Ruys, T.C. (2003) Optimal Scheduling Using Branch and Bound with SPIN 4.0. In: Model Checking Software, Proceedings of the 10th International SPIN Workshop (pp. pp. 1-17).

2002

Ruys, T.C. (2002) SPIN Tutorial: How to Become a SPIN Doctor. In: 9th International SPIN Workshop (SPIN 2002) (pp. pp. 6-13).

2001

Ruijs, Theodorus Cornelis (2001) Towards Effective Model Checking. thesis.

Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems (pp. pp. 220-235).

2000

Ruys, T.C. (2000) Low-Fat Recipes for SPIN. In: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, August 30 - September 1, 2000, Stanford, California (pp. pp. 287-321).

Ruys, T.C. and Brinksma, H. (2000) Model Checking: Verification or Debugging? In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000), 26-29 June 2000, Las Vegas, Nevada, USA (pp. pp. 3009-3015).

1999

Ruys, T.C. (1999) Xspin/Project - Integrated Validation Management for Xspin. In: Theoretical and Practical Aspects of SPIN Model Checking.Proceedings of the 5th and 6th International SPIN Workshop, 1999, Trento, Italy (pp. pp. 108-119).

1998

Ruys, Theo C. and Brinksma, Ed (1998) Experience with Literate Programming in the Modelling and Validation of Systems. In: 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998, March 28 - April 4, 1998, Lisbon, Portugal (pp. pp. 393-408).

1997

D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The bounded retransmission protocol must be on time! In: Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems (pp. pp. 416-431).

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Ruijs, Theo C. and Tretmans, G. Jan (1997) The bounded retransmission protocol must be on time! [Report]

Ruys, Theo C. and Langerak, Rom (1997) Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN. In: Third International Workshop on SPIN, SPIN '97, 5 April 1997, Enschede, The Netherlands.

1995

Ruys, T.C. (1995) A Simple and a Retargetable Code Generator for TCGS. [Masters Thesis]

This list was generated on Wed Oct 1 05:24:49 2014 CEST.