Luc Léonard

According to our database, Luc Léonard authored at least 6 papers between 1992 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

Model-Based Verification of a Security Protocol for Conditional Access to Services.

Guy Leduc, Olivier Bonaventure, Luc Léonard, Eckhart Koerner, Charles Pecheur

Formal Methods Syst. Des., 1999

1998

A Formal Definition of Time in LOTOS.

Luc Léonard, Guy Leduc

Formal Aspects Comput., 1998

1997

An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems.

Luc Léonard, Guy Leduc

Comput. Networks ISDN Syst., 1997

1993

An Enhanced Version of Timed LOTOS and its Application to a Case Study.

Luc Léonard, Guy Leduc

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

The OSI 95 Connection-Mode Transport Service: The Enhanced QoS.

André A. S. Danthine, Yves Baguette, Guy Leduc, Luc Léonard

Proceedings of the High Performance Networking IV, 1992

A timed LOTOS supporting a dense time domain and including new timed operators.

Guy Leduc, Luc Léonard

Proceedings of the Formal Description Techniques, 1992