Filters: Author is Theo C. Ruys  [Clear All Filters]
1997
P. R. D'Argenio, Katoen, J. - P., Ruys, T. C., and Tretmans, J., “The Bounded Retransmission Protocol Must Be on Time!”, in Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, 1997, vol. 1217, pp. 416-431.PDF icon paper-216.pdf (1003.61 KB)
P. R. D'Argenio, Katoen, J. - P., Ruys, T. C., and Tretmans, J., “The bounded retransmission protocol must be on time! (Full version)”, University of Twente, 97-03, 1997.PDF icon paper-212.pdf (654.77 KB)
1996
P. R. D'Argenio, Katoen, J. - P., Ruys, T. C., and Tretmans, J., “Modeling and verifying a bounded retransmission protocol”, in Proc. of COST 247 International Workshop on Applied Formal Methods in System Design, {\rm Maribor, Slovenia}, 1996.PDF icon paper-219.pdf (351.06 KB)

Pedro R. D'Argenio (pedro.dargenio [at] unc.edu.ar)
Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054