Research Unit in Networking
	Charles Pecheur 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 PhD 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: 3.14.253.221...

RUN | Montefiore | ULg © 2000-2024.