Theo C. Ruys

According to our database, Theo C. Ruys authored at least 22 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bug Localisation in Model-Based Testing using Model-Centric Shrinking.

Susan van den Broek, Ana Oprescu, Theo C. Ruys

Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024

Effective Model-Based Testing.

Theo C. Ruys, Machiel van der Bijl

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2014

Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges.

Jaco van de Pol, Theo C. Ruys, Steven te Brinke

Int. J. Softw. Tools Technol. Transf., 2014

Unit testing for SPIN: runspin and parsepan.

Theo C. Ruys

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

2013

Selected dynamic issues in software model checking.

Viet Yen Nguyen, Theo C. Ruys

Int. J. Softw. Tools Technol. Transf., 2013

2012

Gossiping Girls Are All Alike.

Theo C. Ruys, Pim Kars

Proceedings of the Model Checking Software - 19th International Workshop, 2012

2010

The SpinJa Model Checker.

Marc de Jonge, Theo C. Ruys

Proceedings of the Model Checking Software, 2010

2009

Memoised Garbage Collection for Software Model Checking.

Viet Yen Nguyen, Theo C. Ruys

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

MoonWalker: Verification of .NET Programs.

Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

Incremental Hashing for Spin.

Viet Yen Nguyen, Theo C. Ruys

Proceedings of the Model Checking Software, 2008

Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow.

Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

MMC: the Mono Model Checker.

Theo C. Ruys, Niels H. M. Aan de Brugh

Proceedings of the Second Workshop on Bytecode Semantics, 2007

2005

Effective Bug Hunting with Spin and Modex.

Gerard J. Holzmann, Theo C. Ruys

Proceedings of the Model Checking Software, 2005

2004

Advanced SPIN Tutorial.

Theo C. Ruys, Gerard J. Holzmann

Proceedings of the Model Checking Software, 2004

2003

Managing the verification trajectory.

Theo C. Ruys, Ed Brinksma

Int. J. Softw. Tools Technol. Transf., 2003

Optimal Scheduling Using Branch and Bound with SPIN 4.0.

Theo C. Ruys

Proceedings of the Model Checking Software, 2003

2002

SPIN Tutorial: How to Become a SPIN Doctor.

Theo C. Ruys

Proceedings of the Model Checking of Software, 2002

2001

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.

Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Low-Fat Recipes for SPIN.

Theo C. Ruys

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

1999

Xspin/Project - Integrated Validation Management for Xspin.

Theo C. Ruys

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1998

Experience with Literate Programming in the Modelling and Validation of Systems.

Theo C. Ruys, Ed Brinksma

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997

The Bounded Retransmission Protocol Must Be on Time!

Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997