Gérard Le Lann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 51 from 51

2024

Next Generation Vehicles, Safety, and Cybersecurity - The CMX FrameworkJonathan Petit, Gérard Le Lann. tits, 25(2):1333-1345, February 2024. [doi]

2018

Autonomic Vehicular Networks: Safety, Privacy, Cybersecurity and Societal IssuesGérard Le Lann. vtc 2018: 1-5 [doi]

2017

Fast Distributed Agreements and safety-critical scenarios in VANETsGérard Le Lann. iccnc 2017: 200-206 [doi]

2016

A collision-free MAC protocol for fast message dissemination in vehicular stringsGérard Le Lann. cscn 2016: 243-249 [doi]

2015

Safety in Vehicular Networks - on the Inevitability of Short-Range Directional CommunicationsGérard Le Lann. adhoc-now 2015: 347-360 [doi]

2012

On the Power of Cohorts - Multipoint Protocols for Fast and Reliable Safety-Critical Communications in Intelligent Vehicular NetworksGérard Le Lann. iccve 2012: 35-42 [doi]

2011

Cohorts and groups for safe and efficient autonomous driving on highwaysGérard Le Lann. vnc 2011: 1-8 [doi]

2010

Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System EngineeringGérard Le Lann, Paul Simon. csdm 2010: 259-278 [doi]

2005

2004

Designing Modular Services in the Scattered Byzantine Failure ModelEmmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Gérard Le Lann. ispdc 2004: 262-269 [doi]

Time-Utility Scheduling and Provably Correct Critical Computer-Based SystemsGérard Le Lann. ipps 2004: [doi]

2003

Asynchrony and Real-Time Dependable ComputingGérard Le Lann. words 2003: 18-25 [doi]

A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed SystemsBinoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li. isorc 2003: 105-112 [doi]

2002

On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant SystemsMarcos Kawazoe Aguilera, Gérard Le Lann, Sam Toueg. wdag 2002: 354-370 [doi]

Fast Asynchronous Uniform Consensus in Real-Time Distributed SystemsJean-François Hermant, Gérard Le Lann. TC, 51(8):931-944, 2002. [doi]

Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering ApproachBinoy Ravindran, Gérard Le Lann, Peng Li. hase 2002: 89-92 [doi]

1999

In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed SystemsPatrice Carrére, Jean-François Hermant, Gérard Le Lann. isorc 1999: 271 [doi]

1998

A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast NetworksJean-François Hermant, Gérard Le Lann. icdcs 1998: 360-369 [doi]

Predictability in Critical SystemsGérard Le Lann. ftrtft 1998: 315-338 [doi]

1997

An analysis of the Ariane 5 flight 501 failure-a system engineering perspectiveGérard Le Lann. ECBS 1997: 339-246 [doi]

1996

Proof-Based System Engineering and Embedded SystemsGérard Le Lann. eef 1998: 208-248

A Methodology for Designing and Dimensioning Critical Complex Computing SystemsGérard Le Lann. ECBS 1996: 332 [doi]

1995

On Real-Time and Non Real-Time Distributed ComputingGérard Le Lann. wdag 1995: 51-70

1994

Scheduling in Critical Real-Time Systems: a MinfestoGérard Le Lann. ftrtft 1994: 511-528

Certifiable Critical Complex Computing SystemsGérard Le Lann. ifip11-9 1994: 287-294

1993

Limits in Dependability (Panel)Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby. ftcs 1993: 608-613

1992

Designing real-time dependable distributed systemsGérard Le Lann. comcom, 15(4):225-234, 1992. [doi]

What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems?Gérard Le Lann. ifip 1992: 596-597

1991

Reliable Atomic Broadcast in Distributed Systems with Omission FaultsGérard Le Lann, G. Bres. sigops, 25(2):80-86, 1991.

Notes on Future Operating Systems for Real-Time Dependable Distributed ComputingGérard Le Lann. Dagstuhl 1991: 109-115

1990

Reliable atomic broadcast in distributed systems with omission faultsGérard Le Lann, G. Bres. sigopsE 1990: [doi]

1986

Which LAN in the Factory (Panel)Gérard Le Lann. ifip 1986: 921-922

Issues in Fault-Tolerant Real-Time Local Area NetworksGérard Le Lann. srds 1986: 28-32

1983

SynchronizationGérard Le Lann. ac 1985: 361-395

On Real-Time Distributed ComputingGérard Le Lann. ifip 1983: 741-753

Real-Time ProtocolsGérard Le Lann. ac 1985: 457-469

1982

Queueing Analysis of the ordering issue in a distributed database concurrency control mechanism: A General CaseFarouk Kamoun, M. Ben Djerad, Gérard Le Lann. icdcs 1982: 447-453

1981

A Distributed System for Real-Time Transaction ProcessingGérard Le Lann. Computer, 14(2):43-48, 1981. [doi]

1980

1978

Verification and Evaluation of Communication ProtocolsGérard Le Lann, Hervé Le Goff. cn, 2:50-69, 1978.

Algorithms for Distributed Data-Sharing Systems Which Use TicketsGérard Le Lann. berkeley 1978: 259-272

1977

Distributed Systems - Towards a Formal ApproachGérard Le Lann. ifip11-9 1977: 155-160

1976

Communication and Sysnchronization Tools in a Distributed EnvironmentHervé Le Goff, Gérard Le Lann. eci 1976: 50-61

Advances in Performance Evaluation of Communication ProtocolsGérard Le Lann, Hervé Le Goff. iccc 1976: 361-366

Sign in or sign up to see more results.

runs on WebDSL