Gérard Le Lann

Publication Activity (10 Years)

Years Active: 1976-2024
Publications (10 Years): 5

Top Topics

Vehicular Networks

Safety Critical

Propagation Model

Top Venues

IEEE Trans. Intell. Transp. Syst.

Publications

Jonathan Petit, Gérard Le Lann
Next Generation Vehicles, Safety, and Cybersecurity - The CMX Framework. IEEE Trans. Intell. Transp. Syst. 25 (2) (2024)
Gérard Le Lann
Autonomic Vehicular Networks: Safety, Privacy, Cybersecurity and Societal Issues. VTC Spring (2018)
Gérard Le Lann
Autonomic Vehicular Networks: Safety, Privacy, Cybersecurity and Societal Issues. CoRR (2018)
Gérard Le Lann
Fast Distributed Agreements and safety-critical scenarios in VANETs. ICNC (2017)
Gérard Le Lann
A collision-free MAC protocol for fast message dissemination in vehicular strings. CSCN (2016)
Gérard Le Lann
Safety in Vehicular Networks - on the Inevitability of Short-Range Directional Communications. ADHOC-NOW (2015)
Gérard Le Lann
On the Power of Cohorts - Multipoint Protocols for Fast and Reliable Safety-Critical Communications in Intelligent Vehicular Networks. ICCVE (2012)
Gérard Le Lann
Cohorts and groups for safe and efficient autonomous driving on highways. VNC (2011)
Gérard Le Lann, Paul Simon
Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering. CSDM (2010)
Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, Eric Bornschlegl
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems. EDCC (2005)
Martin Biely, Gérard Le Lann, Ulrich Schmid
Proof-Based System Engineering Using a Virtual System Model. ISAS (2005)
Josef Widder, Gérard Le Lann, Ulrich Schmid
Failure Detection with Booting in Partially Synchronous Systems. EDCC (2005)
Gérard Le Lann
Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. IPDPS (2004)
Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Gérard Le Lann
Designing Modular Services in the Scattered Byzantine Failure Model. ISPDC/HeteroPar (2004)
Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li
A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. ISORC (2003)
Gérard Le Lann
Asynchrony and Real-Time Dependable Computing. WORDS (2003)
Jean-François Hermant, Gérard Le Lann
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. IEEE Trans. Computers 51 (8) (2002)
Marcos Kawazoe Aguilera, Gérard Le Lann, Sam Toueg
On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems. DISC (2002)
Binoy Ravindran, Gérard Le Lann, Peng Li
Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. HASE (2002)
Patrice Carrére, Jean-François Hermant, Gérard Le Lann
In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems. ISORC (1999)
Gérard Le Lann
Predictability in Critical Systems. FTRTFT (1998)
Jean-François Hermant, Gérard Le Lann
A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks. ICDCS (1998)
Gérard Le Lann
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective. ECBS (1997)
Gérard Le Lann
Proof-Based System Engineering and Embedded Systems. European Educational Forum: School on Embedded Systems (1996)
Gérard Le Lann
A Methodology for Designing and Dimensioning Critical Complex Computing Systems. ECBS (1996)
Gérard Le Lann
On Real-Time and Non Real-Time Distributed Computing. WDAG (1995)
Gérard Le Lann
Scheduling in Critical Real-Time Systems: a Minfesto. FTRTFT (1994)
Gérard Le Lann
Certifiable Critical Complex Computing Systems. IFIP Congress (3) (1994)
Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby
Limits in Dependability (Panel). FTCS (1993)
Gérard Le Lann
Designing real-time dependable distributed systems. Comput. Commun. 15 (4) (1992)
Gérard Le Lann
What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems? IFIP Congress (1) (1992)
Gérard Le Lann
Notes on Future Operating Systems for Real-Time Dependable Distributed Computing. Operating Systems of the 90s and Beyond (1991)
Gérard Le Lann, G. Bres
Reliable Atomic Broadcast in Distributed Systems with Omission Faults. ACM SIGOPS Oper. Syst. Rev. 25 (2) (1991)
Gérard Le Lann, G. Bres
Reliable atomic broadcast in distributed systems with omission faults. ACM SIGOPS European Workshop (1990)
Gérard Le Lann
Which LAN in the Factory (Panel). IFIP Congress (1986)
Gérard Le Lann
Issues in Fault-Tolerant Real-Time Local Area Networks. Symposium on Reliability in Distributed Software and Database Systems (1986)
Gérard Le Lann
On Real-Time Distributed Computing. IFIP Congress (1983)
Gérard Le Lann
Synchronization. Advanced Course: Local Area Networks (1983)
Gérard Le Lann
Real-Time Protocols. Advanced Course: Local Area Networks (1983)
Farouk Kamoun, M. Ben Djerad, Gérard Le Lann
Queueing Analysis of the ordering issue in a distributed database concurrency control mechanism: A General Case. ICDCS (1982)
Gérard Le Lann
A Distributed System for Real-Time Transaction Processing. Computer 14 (2) (1981)
Gérard Le Lann
Synchronization. Advanced Course: Distributed Systems (1980)
Jean Le Bihan, Christian Esculier, Gérard Le Lann, L. Treille
SIRIUS-DELTA: Un Prototype de Systeme de Gestion de Bases de Donnees Reparties. DDB (1980)
Jean Le Bihan, Christian Esculier, Gérard Le Lann, Witold Litwin, Georges Gardarin, S. Sedillort, L. Treille
SIRIUS: A French Nationwide Project on Distributed Data Bases. VLDB (1980)
Gérard Le Lann
Motivations, Objectives and Characterization of Distributed Systems. Advanced Course: Distributed Systems (1980)
Gérard Le Lann
Link Level. Advanced Course: Distributed Systems (1980)
Gérard Le Lann
Error Recovery. Advanced Course: Distributed Systems (1980)
Gérard Le Lann
Algorithms for Distributed Data-Sharing Systems Which Use Tickets. Berkeley Workshop (1978)
Gérard Le Lann, Hervé Le Goff
Verification and Evaluation of Communication Protocols. Comput. Networks 2 (1978)
Gérard Le Lann
Distributed Systems - Towards a Formal Approach. IFIP Congress (1977)
Hervé Le Goff, Gérard Le Lann
Communication and Sysnchronization Tools in a Distributed Environment. ECI (1976)
Gérard Le Lann, Hervé Le Goff
Advances in Performance Evaluation of Communication Protocols. ICCC (1976)