Author Publications

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

2014

Pol, Jaco van de and Ruys, Theo C. and Brinke, Steven te (2014) Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. International journal on software tools for technology transfer, 16 (5). pp. 481-491. ISSN 1433-2779

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. (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).

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

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

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).

Ruys, Theodorus Cornelis (2001) Towards effective model checking. thesis.

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 Ruys, 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 Sun Apr 30 05:34:39 2017 CEST.