Communication and Sysnchronization Tools in a Distributed Environment. - Hervé Le Goff; Gérard Le Lann (ECI, 1976)

Advances in Performance Evaluation of Communication Protocols. - Gérard Le Lann; Hervé Le Goff (ICCC, 1976)

Distributed Systems - Towards a Formal Approach. - Gérard Le Lann (IFIP Congress, 1977)

Algorithms for Distributed Data-Sharing Systems Which Use Tickets. - Gérard Le Lann (Berkeley Workshop, 1978)

Verification and Evaluation of Communication Protocols. - Gérard Le Lann; Hervé Le Goff (Comput. Networks, 1978)

Motivations, Objectives and Characterization of Distributed Systems. - Gérard Le Lann (Advanced Course: Distributed Systems, 1980)

Link Level. - Gérard Le Lann (Advanced Course: Distributed Systems, 1980)

Synchronization. - Gérard Le Lann (Advanced Course: Distributed Systems, 1980)

Error Recovery. - Gérard Le Lann (Advanced Course: Distributed Systems, 1980)

SIRIUS-DELTA: Un Prototype de Systeme de Gestion de Bases de Donnees Reparties. - Jean Le Bihan; Christian Esculier; Gérard Le Lann; L. Treille (DDB, 1980)

SIRIUS: A French Nationwide Project on Distributed Data Bases. - Jean Le Bihan; Christian Esculier; Gérard Le Lann; Witold Litwin; Georges Gardarin; S. Sedillort; L. Treille (VLDB, 1980)

A Distributed System for Real-Time Transaction Processing. - Gérard Le Lann (Computer, 1981)

Queueing Analysis of the ordering issue in a distributed database concurrency control mechanism: A General Case. - Farouk Kamoun; M. Ben Djerad; Gérard Le Lann (ICDCS, 1982)

Real-Time Protocols. - Gérard Le Lann (Advanced Course: Local Area Networks, 1983)

On Real-Time Distributed Computing. - Gérard Le Lann (IFIP Congress, 1983)

Which LAN in the Factory (Panel). - Gérard Le Lann (IFIP Congress, 1986)

Issues in Fault-Tolerant Real-Time Local Area Networks. - Gérard Le Lann (Symposium on Reliability in Distributed Software and Database Systems, 1986)

Notes on Future Operating Systems for Real-Time Dependable Distributed Computing. - Gérard Le Lann (Operating Systems of the 90s and Beyond, 1991)

Reliable Atomic Broadcast in Distributed Systems with Omission Faults. - Gérard Le Lann; G. Bres (ACM SIGOPS Oper. Syst. Rev., 1991)

What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems? - Gérard Le Lann (IFIP Congress (1), 1992)

Designing real-time dependable distributed systems. - Gérard Le Lann (Comput. Commun., 1992)

Limits in Dependability (Panel). - Jean-Claude Laprie; Gérard Le Lann; Michele Morganti; John M. Rushby (FTCS, 1993)

Scheduling in Critical Real-Time Systems: a Minfesto. - Gérard Le Lann (FTRTFT, 1994)

Certifiable Critical Complex Computing Systems. - Gérard Le Lann (IFIP Congress (3), 1994)

On Real-Time and Non Real-Time Distributed Computing. - Gérard Le Lann (WDAG, 1995)

A Methodology for Designing and Dimensioning Critical Complex Computing Systems. - Gérard Le Lann (ECBS, 1996)

Proof-Based System Engineering and Embedded Systems. - Gérard Le Lann (European Educational Forum: School on Embedded Systems, 1996)

An analysis of the Ariane 5 flight 501 failure-a system engineering perspective. - Gérard Le Lann (ECBS, 1997)

Predictability in Critical Systems. - Gérard Le Lann (FTRTFT, 1998)

A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks. - Jean-François Hermant; Gérard Le Lann (ICDCS, 1998)

In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems. - Patrice Carrére; Jean-François Hermant; Gérard Le Lann (ISORC, 1999)

Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. - Binoy Ravindran; Gérard Le Lann; Peng Li 020 (HASE, 2002)

On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems. - Marcos Kawazoe Aguilera; Gérard Le Lann; Sam Toueg (DISC, 2002)

Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. - Jean-François Hermant; Gérard Le Lann (IEEE Trans. Computers, 2002)

A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. - Binoy Ravindran; Gérard Le Lann; Jinggang Wang; Peng Li 020 (ISORC, 2003)

Asynchrony and Real-Time Dependable Computing. - Gérard Le Lann (WORDS, 2003)

Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. - Gérard Le Lann (IPDPS, 2004)

Designing Modular Services in the Scattered Byzantine Failure Model. - Emmanuelle Anceaume; Carole Delporte-Gallet; Hugues Fauconnier; Michel Hurfin; Gérard Le Lann (ISPDC/HeteroPar, 2004)

Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems. - Christophe Honvault; Marc Le Roy; Pascal Gula; Jean-Charles Fabre; Gérard Le Lann; Eric Bornschlegl (EDCC, 2005)

Failure Detection with Booting in Partially Synchronous Systems. - Josef Widder; Gérard Le Lann; Ulrich Schmid 001 (EDCC, 2005)

Proof-Based System Engineering Using a Virtual System Model. - Martin Biely; Gérard Le Lann; Ulrich Schmid 001 (ISAS, 2005)

Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering. - Gérard Le Lann; Paul Simon (CSDM, 2010)

Cohorts and groups for safe and efficient autonomous driving on highways. - Gérard Le Lann (VNC, 2011)

On the Power of Cohorts - Multipoint Protocols for Fast and Reliable Safety-Critical Communications in Intelligent Vehicular Networks. - Gérard Le Lann (ICCVE, 2012)

Safety in Vehicular Networks - on the Inevitability of Short-Range Directional Communications. - Gérard Le Lann (ADHOC-NOW, 2015)

A collision-free MAC protocol for fast message dissemination in vehicular strings. - Gérard Le Lann (CSCN, 2016)

Fast Distributed Agreements and safety-critical scenarios in VANETs. - Gérard Le Lann (ICNC, 2017)

Autonomic Vehicular Networks: Safety, Privacy, Cybersecurity and Societal Issues. - Gérard Le Lann (VTC Spring, 2018)

Next Generation Vehicles, Safety, and Cybersecurity - The CMX Framework. - Jonathan Petit; Gérard Le Lann (IEEE Trans. Intell. Transp. Syst., 2024)