| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
Colors in the list of coauthors
Last update Wed May 22 19:40:53 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page