BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ruys:Theo_C=

Contributed to:

TACAS 20092009
TACAS 20012001
TACAS 19981998
TACAS 19971997

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.