Gérard Le Lann

Publications

762

Citations

H-Index

1977

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Gérard Le Lann is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and systems engineering.

ORCID

Top concepts

EngineeringComputer ScienceDistributed SystemsSystems EngineeringReal-time SystemsFormal MethodsFormal VerificationVerificationParallel ComputingSystem Software

Publications per year

1977–2011

Publications

Distributed Systems--Towards a Formal Approach

Gérard Le Lann · HAL (Le Centre pour la Communication Scientifique Directe) · 1977 · 314 citations · Full text

Engineering, Formal Approach, Verification +8

Algorithms for Distributed Data-Sharing Systems Which Use Tickets.

Gérard Le Lann · Berkeley Workshop · 1978 · 64 citations

Engineering, Distributed Algorithms, Distributed Data Management +5

Real-time communications over broadcast networks : the CSMA-DCR and the DOD-CSMA-CD protocols

Gérard Le Lann, Nicolas Rivierre · OpenGrey (Institut de l'Information Scientifique et Technique) · 1993 · 63 citations · Full text

An analysis of the Ariane 5 flight 501 failure-a system engineering perspective

Gérard Le Lann · 2002 · 56 citations

Engineering, Flight 501, Verification +26

Fast asynchronous uniform consensus in real-time distributed systems

Jean‐François Hermant, Gérard Le Lann · IEEE Transactions on Computers · 2002 · 50 citations

Engineering, Asynchronous Uniform Consensus, Verification +19

Rows per page

1–5 of 16