EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Ruys, T.C.
Home Policy Brochure Browse Search User Area Contact Help

2014

van de Pol, J.C. and Ruys, T.C. and te Brinke, S. (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, Viet Yen and Ruys, T.C. (2009) MoonWalker: Veri?cation 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. 170-173. Lecture Notes in Computer Science 5505. Springer Verlag. ISBN 978-3-642-00767-5
Nguyen, Viet Yen 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. 201-214. Lecture Notes in Computer Science 5505. Springer Verlag. ISBN 978-3-642-00767-5

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). Technical Report TR-CTIT-08-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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. 161-170. IEEE Computer Society. ISBN 978-1-4244-2735-2
Nguyen, Viet Yen 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. 232-249. Lecture Notes in Computer Science 5156. Springer Verlag. ISBN 978-3-540-85113-4

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. 84-92. TUE Computer Science Reports (07-04). Computer Science Department, Eindhoven University of Technology (TUE). ISSN 0926-4515
Ruys, T.C. and Aan de Brugh, N.H.M. (2007) MMC: the Mono Model Checker. In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007), 31 March 2007, Braga, Portugal. pp. 149-160. Electronic Notes in Theoretical Computer Science 190 (1). Elsevier. ISSN 1571-0661

2006

van de Griendt, W.E. 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. International Association for the Study of Common Property (IASCP). ISBN not assigned

2005

Holzmann, G.J. and Ruys, T.C. (2005) Effective Bug Hunting with SPIN and Modex. (Invited) In: Model Checking Software, Proceedings of the 12th International SPIN Workshop, August 22-24, 2005, San Francisco, CA, USA. pp. 24-24. Lecture Notes in Computer Science 3639. Springer Verlag. ISSN 0302-9743 ISBN 3-540-28195-9

2004

Jones, V.M. and Rensink, A. and Ruys, T.C. and Brinksma, H. and van Halteren, A.T. (2004) A formal MDA approach for mobile health systems. In: EWMDA-2, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, 7-8 Sept 2004, Canterbury, England. pp. 28-35. University of Kent. ISBN not assigned
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. 304-305. Lecture notes in Computer Science 2989. Springer Verlag.

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. 1-17. Lecture notes in Computer Science 2648. Springer Verlag. ISSN 0302-9743 ISBN 3-540-40117-2
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. 6-13. Lecture Notes in Computer Science 2318. Springer Verlag.

2001

Ruys, T.C. (2001) Towards Effective Model Checking. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 01-34 ISBN 90-365-1564-5
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. 220-235. Lecture Notes in Computer Science 2031. Springer. ISSN 0302-9743 ISBN 3-540-41865-2

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. 287-321. Lecture Notes in Computer Science 1885. Springer Verlag. ISBN 3-540-41030-9
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. 3009-3015. CSREA Press. ISBN 1-892512-51-3

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. 108-119. Lecture Notes in Computer Science 1680. Springer Verlag. ISBN 3-540-66499-8

1998

Ruys, T.C. and Brinksma, H. (1998) Experience with Literate Programming in the Modelling and Validation of Systems. In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, March 28 - April 4, 1998, Lisbon, Portugal. pp. 393-408. Lecture Notes in Computer Science 1384. Springer Verlag. ISBN 3-540-64356-7

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! Technical Report TR-CTIT-97-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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. 416-431. Lecture Notes in Computer Science 1217. Springer-Verlag.
Ruys, T.C. and Langerak, R. (1997) Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN. In: Proceedings of SPIN97, the Third InternationalWorkshop on SPIN, 5 April 1997, Enschede, The Netherlands. unpublished. ISBN not assigned

1995

Ruys, T.C. (1995) A Simple and a Retargetable Code Generator for TCGS. Master's thesis, University of Twente, Enschede, The Netherlands.