Luc Léonard @ RUN
ULg Research Unit in Networking RUN
Luc Léonard RUN RUN



Name Luc Léonard
Former position at RUN Researcher
Current affiliation Dexia
E-mail
Biographical Notes
Luc Léonard joined RUN in October 1991 and left in March 1997.
Current diploma(s) : Ir. 1991 ULg, Dr. 1997 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
* A formal definition of time in LOTOS
L. Léonard and G. Leduc
Keywords : ET-LOTOS, LOTOS, negative premises, operational semantics, real time
Read the abstract
Download the PDF document
Formal Aspect of Computing, vol. 10 E, 1998, pp. 28-96
* A formal definition of time in LOTOS - Extended abstract
L. Léonard and G. Leduc
Keywords : ET-LOTOS, LOTOS, negative premises, operational semantics, real time
Read the abstract
Download the PDF document
Formal Aspects of Computing, vol. 10, nb. 3, 1998, pp. 248-266
* An introduction to ET-LOTOS for the description of time-sensitive systems
L. Léonard and G. Leduc
Keywords : ET-LOTOS, formal methods, LOTOS, specification, time
Read the abstract
Download the PDF document
Computer Networks and ISDN Systems, vol. 29, nb. 3, 1997, pp. 271-292
* QoS specification of ODP binding objects
A. Février, E. Najm, G. Leduc and L. Léonard
Read the abstract
Telektronnikk, vol. 93, nb. 1, Mar. 1997, pp. 42-49
* An Extended LOTOS for the Design of Time-Sensitive Systems
L. Léonard
Doctoral Thesis, University of Liège
Collection des Publications de la Faculté des Sciences Appliquées de l'Université de Liège, nr. 177, 1997, 198 pp.
* 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
* Compositional Specification of ODP Binding Objects
A. Février, E. Najm, G. Leduc and L. Léonard
Keywords : binding object, LOTOS, MT-LOTOS, ODP
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the 6th IFIP/ICCC Conference on Information Network and Data Communication (INDC'96), Jun. 1996, Trondheim, Norway
* An Extended LOTOS for the design of Real-Time Systems
L. Léonard and G. Leduc
Keywords : ET-LOTOS, LOTOS, process algebra, real-time
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the Workshop on Design and Analysis of Real Time Systems (DARTS'95), Nov. 1995, Brussels, Belgium
* The Tick-Tock Case Study for the Assessment of Timed FDT's
L. Léonard, G. Leduc and A. Danthine
Keywords : assessment, case study, FDT, time
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 338-352
* The OSI95 Connection-Mode Transport Service
Y. Baguette, L. Léonard, G. Leduc and A. Danthine
Keywords : connection-mode, error management, OSI95, out-of-band data transfer, QoS re-negotiation, QoS semantics, transport connection release, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 181-198
* The LOTOS Specification of the Enhanced Transport Service
L. Léonard
Keywords : LOTOS, OSI95, specification, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 239-244
* An enhanced Version of Timed LOTOS and its Application to a Case Study
L. Léonard and G. Leduc
Keywords : formal definitions and theory, formal languages, language constructs and features, mathematical logic and formal languages, programming languages
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques (FORTE '93), 26-29 Oct. 1993, Boston, Massachusetts, R. Tenney, P. Amer, M. Uyar (eds.), Formal Description Techniques VI, IFIP Transactions, C-22, pp. 483-498, Elsevier Science
* QoS Enhancements and the new transport services
A. Danthine, O. Bonaventure, Y. Baguette, G. Leduc and L. Léonard
Download the PostScript document or the compressed PostScript (gzip) document
* The OSI 95 Connection-mode Transport Service - The Enhanced Qos
A. Danthine, Y. Baguette, G. Leduc and L. Léonard
Keywords : broadband and high-speed networks, connection-mode, multimedia, OSI95, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the IFIP TC6/WG6.4 Fourth International Conference on High Performance Networking, 14-18 Dec. 1992, Liège, Belgium, A. Danthine, O. Spaniol (eds.), High Performance Networking IV, IFIP Transactions, C-14, Elsevier Science
* Comment rendre LOTOS apte à spécifier des systèmes temps réel ?
G. Leduc and L. Léonard
Keywords : FDT, LOTOS, real time, specification language, timed-proces algebra
Read the abstract
Lisez le résumé
Download the PostScript document or the compressed PostScript (gzip) document
Actes de CFIP'93, Sep. 1993, Montréal, Canada, R. Dssouli, G. Bochmann (eds.), Ingénierie des Protocoles, pp. 407-425, Hermès Paris
* A timed LOTOS supporting a dense time domain and including new timed operators
G. Leduc and L. Léonard
Keywords : formal definitions and theory, formal languages, language constructs and features, mathematical logic and formal languages, programming languages
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of FORTE'92, 13-16 Oct. 1992, Perros-Guirec, France, M. Diaz, R. Groz (eds.), Formal Description Techniques V, IFIP Transactions, C-10, pp. 87-102, Elsevier Science

[ 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.225.3.207... RUN | Montefiore | ULg
© 2000-2015.