Theo C. Ruys
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
1997–2009
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | TACAS | MoonWalker: Verification of .NET Programs. | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys |
| 2009 | TACAS | Memoised Garbage Collection for Software Model Checking. | Viet Yen Nguyen, Theo C. Ruys |
| 2008 | FMCAD | Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. | Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen |
| 2001 | TACAS | First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. | Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink |
| 1998 | TACAS | Experience with Literate Programming in the Modelling and Validation of Systems. | Theo C. Ruys, Ed Brinksma |
| 1997 | TACAS | The Bounded Retransmission Protocol Must Be on Time! | Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans |