Charles Pecheur @ RUN
ULg Research Unit in Networking RUN
Charles Pecheur RUN RUN



Name Charles Pecheur
Former position at RUN Researcher
Current affiliation UCL (Louvain-la-Neuve)
Current personal page http://www.info.ucl.ac.be/~pecheur/
E-mail
Biographical Notes
Charles Pecheur joined RUN in October 1988 and left in November 1996.
Current diploma(s) : Ir. 1988 ULg, Dr. 1996 ULg
Publications at RUN
* Model-Based Verification of a Security Protocol for the Conditional Access to Services
G. Leduc, O. Bonaventure, E. Koerner, L. Léonard and C. Pecheur
Keywords : Equicrypt, LOTOS, model checking, security protocols
Read the abstract
Download the PostScript document
Formal Methods in System Design, vol. 14, nb. 2, March 1999, pp. 171-191
* Specification and verification of a TTP protocol for the conditional access to services
G. Leduc, O. Bonaventure, E. Koerner, L. Léonard, C. Pecheur and D. Zanetti
Keywords : formal verification, LOTOS, model-checking, security protocol
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the 12th J. Cartier Workshop on Formal Methods and their Applications: Telecommunications, VLSI and Real-Time Computerized Control Systems, Oct. 1996, Montreal, Canada
* Improving the Specification of Data Types in LOTOS
C. Pecheur
Doctoral Thesis, University of Liège
Collection des Publications de la Faculté des Sciences Appliquées de l'Université de Liège, nr. 171, 1996, 206 pp.
* VLib: Infinite virtual libraries for LOTOS
C. Pecheur
Keywords : languages constructs and features, processors, programming languages
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, 25-28 May 1993, Liège, Belgium, A. Danthine, G. Leduc, P. Wolper (eds.), Protocol Specification, Testing and Verification XIII, pp. 29-44, Elsevier Science
* Using LOTOS for Specifying the CHORUS Distributed Operating System Kernel
C. Pecheur
Keywords : CHORUS, distributed operating systems, formal description techniques, processing systems, specification languages LOTOS
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Computer Communications, vol. 15, Mar. 1992, pp. 93-102

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: 54.161.3.96... RUN | Montefiore | ULg
© 2000-2015.