Get started
Author

Gérard Le Lann

Observed names: G. Lann, G. Le Lann, Gerard Lann, Gerard Le Lann, Gerard LeLann, Gérard Lann, Le Lann, Gerard, Le Lann, Gérard, Le Lann,G.
Observed institutions: Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires, ASTRA: Systèmes de transport automatisés et sécurisés, Université de Rennes, Virginia Tech, South China University of Technology
ORCID: 0009-0004-0411-9073
Observed ORCID: 0009-0004-0411-9073
OpenAlex ID: A5079994261
Distributed Systems--Towards a Formal Approach
1977 · Gérard Le Lann · 320
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective
2002 · G. Le Lann · IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS) · 67
Algorithms for Distributed Data-Sharing Systems Which Use Tickets.
1978 · Gérard Le Lann · Berkeley Workshop · 64
Real-time communications over broadcast networks : the CSMA-DCR and the DOD-CSMA-CD protocols
1993 · Gérard Le Lann, Nicolas Rivierre · OpenGrey (Institut de l'Information Scientifique et Technique) · 62
Fast asynchronous uniform consensus in real-time distributed systems
2002 · J.-F. Hermant, G. Le Lann · IEEE Transactions on Computers · 51
On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems
2002 · Marcos K. Aguilera, Gérard Le Lann, et al. · Lecture notes in computer science · 41
Critical issues for the development of distributed real-time computing systems
2002 · G. Le Lann · IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS) · 31
PDF
A protocol and correctness proofs for real-time high-performance broadcast networks
2002 · J.-F. Hermant, G. Le Lann · Proceedings of the ... International Conference on Distributed Computing Systems/Proceedings of the International Conference on Distributed Computing Systems · 28
Proof-based system engineering and embedded systems
1998 · Gerard Lann · Lecture notes in computer science · 26
The Ariane 5 Flight 501 Failure - A Case Study in System Engineering for Computing Systems
1996 · Gérard Le Lann · OpenGrey (Institut de l'Information Scientifique et Technique) · 26
Designing real-time dependable distributed systems
1992 · Gérard Le Lann · Computer Communications · 23
A Distributed System for Real-Time Transaction Processing
1981 · G. Le Lann · Computer · 23
Failure Detection with Booting in Partially Synchronous Systems
2005 · Josef Widder, Gérard Le Lann, et al. · Lecture notes in computer science · 21
On Real-Time Distributed Computing.
1983 · Gérard Le Lann · IFIP Congress · 21
Cohorts and groups for safe and efficient autonomous driving on highways
2011 · Gerard Le Lann · IEEE Vehicular Networking Conference (VNC) · 15
Verification and evaluation of communication protocols
1978 · Gérard Le Lann, Hervé Le Goff · Computer Networks (1976) · 15
Dependable Computing for Critical Applications 4
1995 · Flaviu Cristian, Gerard Lann, et al. · Dependable computing and fault-tolerant systems · 14
SIRIUS: a French nationwide project on distributed data bases
1980 · Jean Le Bihan, Christian Esculier, et al. · Very Large Data Bases · 13
On real-time and non real-time distributed computing
1995 · G. Le Lann · Lecture notes in computer science · 12
Asynchrony and real-time dependable computing
2003 · G. Le Lann · International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS) · 10
Motivations, Objectives and Characterization of Distributed Systems
1980 · Gérard Le Lann · 10
Safety in Vehicular Networks—on the Inevitability of Short-Range Directional Communications
2015 · Gérard Le Lann · Lecture notes in computer science · 8
A methodology for designing and dimensioning critical complex computing systems
2002 · G. Le Lann · IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS) · 8
Reliable atomic broadcast in distributed systems with omission faults
1991 · G. Le Lann, G. Bres · ACM SIGOPS Operating Systems Review · 8
PDF
Integrated Safety and Efficiency in Intelligent Vehicular Networks: Issues and Novel Constructs
2012 · Gérard Le Lann · Procedia - Social and Behavioral Sciences · 7
PDF
Works count: 94
Citation count: 1,047
H-index: 15
I10-index: 21
Year
Topic
Type