Gérard Le Lann Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Cohorts and groups for safe and efficient autonomous driving on highways. VNC 2011: 1-8
2010
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann, Paul Simon: Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering. CSDM 2010: 259-278
2005
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Josef Widder, Gérard Le Lann, Ulrich Schmid: Failure Detection with Booting in Partially Synchronous Systems. EDCC 2005: 20-37
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Biely, Gérard Le Lann, Ulrich Schmid: Proof-Based System Engineering Using a Virtual System Model. ISAS 2005: 164-179
2004
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. IPDPS 2004
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Asynchrony and Real-Time Dependable Computing. WORDS 2003: 18-25
2002
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1999
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Predictability in Critical Systems. FTRTFT 1998: 315-338
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: An analysis of the Ariane 5 flight 501 failure-a system engineering perspective. ECBS 1997: 339-246
1996
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: A Methodology for Designing and Dimensioning Critical Complex Computing Systems. ECBS 1996: 332-
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Proof-Based System Engineering and Embedded Systems. European Educational Forum: School on Embedded Systems 1996: 208-248
1995
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: On Real-Time and Non Real-Time Distributed Computing. WDAG 1995: 51-70
1994
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Scheduling in Critical Real-Time Systems: a Minfesto. FTRTFT 1994: 511-528
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Certifiable Critical Complex Computing Systems. IFIP Congress (3) 1994: 287-294
1993
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby: Limits in Dependability (Panel). FTCS 1993: 608-613
1992
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Designing real-time dependable distributed systems. Computer Communications 15(4): 225-234 (1992)
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems? IFIP Congress (1) 1992: 596-597
1991
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann, G. Bres: Reliable Atomic Broadcast in Distributed Systems with Omission Faults. Operating Systems Review 25(2): 80-86 (1991)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann, G. Bres: Reliable atomic broadcast in distributed systems with omission faults. ACM SIGOPS European Workshop 1990
1986
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Which LAN in the Factory (Panel). IFIP Congress 1986: 921-922
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Synchronization. Advanced Course: Local Area Networks 1983: 361-395
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Real-Time Protocols. Advanced Course: Local Area Networks 1983: 457-469
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: On Real-Time Distributed Computing. IFIP Congress 1983: 741-753
1982
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Motivations, Objectives and Characterization of Distributed Systems. Advanced Course: Distributed Systems 1980: 1-9
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Link Level. Advanced Course: Distributed Systems 1980: 86-93
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Synchronization. Advanced Course: Distributed Systems 1980: 266-283
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Error Recovery. Advanced Course: Distributed Systems 1980: 371-376
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1978
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann, Hervé Le Goff: Verification and Evaluation of Communication Protocols. Computer Networks 2: 50-69 (1978)
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Algorithms for Distributed Data-Sharing Systems Which Use Tickets. Berkeley Workshop 1978: 259-272
1977
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann: Distributed Systems - Towards a Formal Approach. IFIP Congress 1977: 155-160
1976
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hervé Le Goff, Gérard Le Lann: Communication and Sysnchronization Tools in a Distributed Environment. ECI 1976: 50-61
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Le Lann, Hervé Le Goff: Advances in Performance Evaluation of Communication Protocols. ICCC 1976: 361-366

Coauthor Index

1Marcos K. Aguilera (Marcos Kawazoe Aguilera)
[c30]
2Emmanuelle Anceaume
[c34]
3Martin Biely
[c36]
4Jean Le Bihan
[c6] [c5]
5Eric Bornschlegl
[c37]
6G. Bres
[j2] [c17]
7Patrice Carrére
[c29]
8Carole Delporte-Gallet (Carole Delporte)
[c34]
9M. Ben Djerad
[c11]
10Christian Esculier
[c6] [c5]
11Jean-Charles Fabre
[c37]
12Hugues Fauconnier
[c34]
13Georges Gardarin
[c5]
14Hervé Le Goff
[j1] [c2] [c1]
15Pascal Gula
[c37]
16Jean-François Hermant
[j4] [c29] [c27]
17Christophe Honvault
[c37]
18Michel Hurfin
[c34]
19Farouk Kamoun
[c11]
20Jean-Claude Laprie
[c20]
21Peng Li
[c33] [c31]
22Witold Litwin
[c5]
23Michele Morganti
[c20]
24Binoy Ravindran
[c33] [c31]
25Marc Le Roy
[c37]
26John M. Rushby
[c20]
27Ulrich Schmid
[c38] [c36]
28S. Sedillort
[c5]
29Paul Simon
[c39]
30Sam Toueg
[c30]
31L. Treille
[c6] [c5]
32Jinggang Wang
[c33]
33Josef Widder
[c38]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 19:40:53 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page