Pr. Olivier Bonaventure

Olivier Bonaventure's picture
Address
Department of Computing Science and Engineering
Place Sainte Barbe, 2
B-1348 Louvain-la-Neuve, Belgium
Office
a.027
Phone
+32 (0)10 479012
E-Mail
Olivier.Bonaventure (at) uclouvain.be
Position
Head of the group
Website
Personal website

Publications

1999

Olivier Bonaventure. Integration of ATM under TCP/IP to provide services with minimum guaranteed bandwidth. PhD thesis. Université de Liège, October 1999. bibTeX  pdf 

G. Leduc, O. Bonaventure, E. Koerner, L. Léonard and C. Pecheur. Model-Based Verification of a Security Protocol for the Conditional Access to Services. Formal Methods in System Design, 14(2), March 1999. bibTeX  pdf