Travelled to:1 × Italy
1 × Portugal
1 × The Netherlands
1 × United Kingdom
Collaborated with:V.Y.Nguyen E.Brinksma J.Katoen N.H.M.A.d.Brugh P.R.D'Argenio J.Tretmans R.Langerak D.Latella M.Massink
Talks about:program (2) model (2) time (2) retransmiss (1) stochast (1) protocol (1) softwar (1) process (1) partial (1) collect (1)
Person: Theo C. Ruys
DBLP: Ruys:Theo_C=
Contributed to:
2009200119981997Wrote 5 papers:
- TACAS-2009-BrughNR #dot-net #named #source code #verification
- MoonWalker: Verification of .NET Programs (NHMAdB, VYN, TCR), pp. 170–173.
- TACAS-2009-NguyenR #garbage collection #model checking
- Memoised Garbage Collection for Software Model Checking (VYN, TCR), pp. 201–214.
- TACAS-2001-RuysLKLM #algebra #analysis #partial order #probability #process #using
- First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders (TCR, RL, JPK, DL, MM), pp. 220–235.
- TACAS-1998-RuysB #experience #modelling #programming #validation
- Experience with Literate Programming in the Modelling and Validation of Systems (TCR, EB), pp. 393–408.
- TACAS-1997-DArgenioKRT #bound #exclamation #protocol
- The Bounded Retransmission Protocol Must Be on Time! (PRD, JPK, TCR, JT), pp. 416–431.