Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gérard Le Lann
2010 – today
- 2011
[c40]Gérard Le Lann: Cohorts and groups for safe and efficient autonomous driving on highways. VNC 2011: 1-8- 2010
- [c39]Gérard Le Lann, Paul Simon: Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering. CSDM 2010: 259-278
2000 – 2009
- 2005
- [c38]Josef Widder, Gérard Le Lann, Ulrich Schmid: Failure Detection with Booting in Partially Synchronous Systems. EDCC 2005: 20-37
- [c37]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: 140-153
- [c36]Martin Biely, Gérard Le Lann, Ulrich Schmid: Proof-Based System Engineering Using a Virtual System Model. ISAS 2005: 164-179
- 2004
- [c35]Gérard Le Lann: Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. IPDPS 2004
- [c34]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: 262-269
- 2003
- [c33]Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li: A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. ISORC 2003: 105-112
- [c32]
- 2002
- [j4]Jean-François Hermant, Gérard Le Lann: Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. IEEE Trans. Computers 51(8): 931-944 (2002)
- [c31]Binoy Ravindran, Gérard Le Lann, Peng Li: Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. HASE 2002: 89-92
- [c30]Marcos Kawazoe Aguilera, Gérard Le Lann, Sam Toueg: On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems. DISC 2002: 354-370
1990 – 1999
- 1999
- [c29]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: 271-
- 1998
- [c28]
- [c27]Jean-François Hermant, Gérard Le Lann: A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks. ICDCS 1998: 360-369
- 1997
- [c26]Gérard Le Lann: An analysis of the Ariane 5 flight 501 failure-a system engineering perspective. ECBS 1997: 339-246
- 1996
- [c25]Gérard Le Lann: A Methodology for Designing and Dimensioning Critical Complex Computing Systems. ECBS 1996: 332-
- [c24]Gérard Le Lann: Proof-Based System Engineering and Embedded Systems. European Educational Forum: School on Embedded Systems 1996: 208-248
- 1995
- [c23]
- 1994
- [c22]
- [c21]
- 1993
- [c20]Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby: Limits in Dependability (Panel). FTCS 1993: 608-613
- 1992
- [j3]Gérard Le Lann: Designing real-time dependable distributed systems. Computer Communications 15(4): 225-234 (1992)
- [c19]Gérard Le Lann: What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems? IFIP Congress (1) 1992: 596-597
- 1991
- [j2]Gérard Le Lann, G. Bres: Reliable Atomic Broadcast in Distributed Systems with Omission Faults. Operating Systems Review 25(2): 80-86 (1991)
- [c18]Gérard Le Lann: Notes on Future Operating Systems for Real-Time Dependable Distributed Computing. Operating Systems of the 90s and Beyond 1991: 109-115
- 1990
- [c17]Gérard Le Lann, G. Bres: Reliable atomic broadcast in distributed systems with omission faults. ACM SIGOPS European Workshop 1990
1980 – 1989
- 1986
- [c16]
- [c15]Gérard Le Lann: Issues in Fault-Tolerant Real-Time Local Area Networks. Symposium on Reliability in Distributed Software and Database Systems 1986: 28-32
- 1983
- [c14]
- [c13]
- [c12]
- 1982
- [c11]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: 447-453
- 1980
- [c10]Gérard Le Lann: Motivations, Objectives and Characterization of Distributed Systems. Advanced Course: Distributed Systems 1980: 1-9
- [c9]
- [c8]
- [c7]
- [c6]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: 137-159
- [c5]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: 75-85
1970 – 1979
- 1978
- [j1]Gérard Le Lann, Hervé Le Goff: Verification and Evaluation of Communication Protocols. Computer Networks 2: 50-69 (1978)
- [c4]Gérard Le Lann: Algorithms for Distributed Data-Sharing Systems Which Use Tickets. Berkeley Workshop 1978: 259-272
- 1977
- [c3]
- 1976
- [c2]Hervé Le Goff, Gérard Le Lann: Communication and Sysnchronization Tools in a Distributed Environment. ECI 1976: 50-61
- [c1]Gérard Le Lann, Hervé Le Goff: Advances in Performance Evaluation of Communication Protocols. ICCC 1976: 361-366
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:24 CET by the dblp team