Gérard Le Lann

According to our database, Gérard Le Lann authored at least 49 papers between 1976 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Next Generation Vehicles, Safety, and Cybersecurity - The CMX Framework.

Jonathan Petit, Gérard Le Lann

IEEE Trans. Intell. Transp. Syst., February, 2024

2018

Autonomic Vehicular Networks: Safety, Privacy, Cybersecurity and Societal Issues.

Gérard Le Lann

Proceedings of the 87th IEEE Vehicular Technology Conference, 2018

2017

Fast Distributed Agreements and safety-critical scenarios in VANETs.

Gérard Le Lann

Proceedings of the 2017 International Conference on Computing, 2017

2016

A collision-free MAC protocol for fast message dissemination in vehicular strings.

Gérard Le Lann

Proceedings of the 2016 IEEE Conference on Standards for Communications and Networking, 2016

2015

Safety in Vehicular Networks - on the Inevitability of Short-Range Directional Communications.

Gérard Le Lann

Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 14th International Conference, 2015

2012

On the Power of Cohorts - Multipoint Protocols for Fast and Reliable Safety-Critical Communications in Intelligent Vehicular Networks.

Gérard Le Lann

Proceedings of the 2012 International Conference on Connected Vehicles and Expo, 2012

2011

Cohorts and groups for safe and efficient autonomous driving on highways.

Gérard Le Lann

Proceedings of the 2011 IEEE Vehicular Networking Conference, 2011

2010

Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering.

Gérard Le Lann, Paul Simon

Proceedings of the Complex Systems Design & Management, 2010

2005

Proof-Based System Engineering Using a Virtual System Model.

Martin Biely, Gérard Le Lann, Ulrich Schmid

Proceedings of the Service Availability, 2005

Failure Detection with Booting in Partially Synchronous Systems.

Josef Widder, Gérard Le Lann, Ulrich Schmid

Proceedings of the Dependable Computing, 2005

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

Proceedings of the Dependable Computing, 2005

2004

Designing Modular Services in the Scattered Byzantine Failure Model.

Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Gérard Le Lann

Proceedings of the 3rd International Symposium on Parallel and Distributed Computing (ISPDC 2004), 2004

Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems.

Gérard Le Lann

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

Asynchrony and Real-Time Dependable Computing.

Gérard Le Lann

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems.

Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

2002

Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems.

Jean-François Hermant, Gérard Le Lann

IEEE Trans. Computers, 2002

On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems.

Marcos Kawazoe Aguilera, Gérard Le Lann, Sam Toueg

Proceedings of the Distributed Computing, 16th International Conference, 2002

Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach.

Binoy Ravindran, Gérard Le Lann, Peng Li

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

1999

In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems.

Patrice Carrére, Jean-François Hermant, Gérard Le Lann

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

1998

A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks.

Jean-François Hermant, Gérard Le Lann

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Predictability in Critical Systems.

Gérard Le Lann

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

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

Gérard Le Lann

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

1996

Proof-Based System Engineering and Embedded Systems.

Gérard Le Lann

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

A Methodology for Designing and Dimensioning Critical Complex Computing Systems.

Gérard Le Lann

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1995

On Real-Time and Non Real-Time Distributed Computing.

Gérard Le Lann

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

1994

Certifiable Critical Complex Computing Systems.

Gérard Le Lann

Proceedings of the Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Scheduling in Critical Real-Time Systems: a Minfesto.

Gérard Le Lann

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Limits in Dependability (Panel).

Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby

Proceedings of the Digest of Papers: FTCS-23, 1993

1992

Designing real-time dependable distributed systems.

Gérard Le Lann

Comput. Commun., 1992

What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems?

Gérard Le Lann

Proceedings of the Algorithms, Software, Architecture, 1992

1991

Reliable Atomic Broadcast in Distributed Systems with Omission Faults.

Gérard Le Lann, G. Bres

ACM SIGOPS Oper. Syst. Rev., 1991

Notes on Future Operating Systems for Real-Time Dependable Distributed Computing.

Gérard Le Lann

Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1986

Issues in Fault-Tolerant Real-Time Local Area Networks.

Gérard Le Lann

Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, 1986

Which LAN in the Factory (Panel).

Gérard Le Lann

Proceedings of the Information Processing 86, 1986

1983

On Real-Time Distributed Computing.

Gérard Le Lann

Proceedings of the Information Processing 83, 1983

Real-Time Protocols.

Gérard Le Lann

Proceedings of the Local Area Networks: An Advanced Course, 1983

1982

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

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981

A Distributed System for Real-Time Transaction Processing.

Gérard Le Lann

Computer, 1981

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

Proceedings of the Sixth International Conference on Very Large Data Bases, 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

Proceedings of the International Symposium on Distributed Data Bases, 1980

Error Recovery.

Gérard Le Lann

Proceedings of the Distributed Systems - Architecture and Implementation, 1980

Synchronization.

Gérard Le Lann

Proceedings of the Distributed Systems - Architecture and Implementation, 1980

Link Level.

Gérard Le Lann

Proceedings of the Distributed Systems - Architecture and Implementation, 1980

Motivations, Objectives and Characterization of Distributed Systems.

Gérard Le Lann

Proceedings of the Distributed Systems - Architecture and Implementation, 1980

1978

Verification and Evaluation of Communication Protocols.

Gérard Le Lann, Hervé Le Goff

Comput. Networks, 1978

Algorithms for Distributed Data-Sharing Systems Which Use Tickets.

Gérard Le Lann

Proceedings of the Third Berkeley Workshop on Distributed Data Management and Computer Networks, 1978

1977

Distributed Systems - Towards a Formal Approach.

Gérard Le Lann

Proceedings of the Information Processing, 1977

1976

Advances in Performance Evaluation of Communication Protocols.

Gérard Le Lann, Hervé Le Goff

Proceedings of the Third International Conference on Computer Communication, 1976

Communication and Sysnchronization Tools in a Distributed Environment.

Hervé Le Goff, Gérard Le Lann

Proceedings of the ECI Conference 1976, 1976