Search the dblp DataBase
Gérard Le Lann :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gérard Le Lann Algorithms for Distributed Data-Sharing Systems Which Use Tickets. [Citation Graph (13, 0)][DBLP ] Berkeley Workshop, 1978, pp:259-272 [Conf ] 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. [Citation Graph (4, 12)][DBLP ] VLDB, 1980, pp:75-85 [Conf ] Gérard Le Lann Error Recovery. [Citation Graph (2, 0)][DBLP ] Advanced Course: Distributed Systems, 1980, pp:371-376 [Conf ] Gérard Le Lann Synchronization. [Citation Graph (1, 0)][DBLP ] Advanced Course: Distributed Systems, 1980, pp:266-283 [Conf ] Jean Le Bihan , Christian Esculier , Gérard Le Lann , L. Treille SIRIUS-DELTA: Un Prototype de Systeme de Gestion de Bases de Donnees Reparties. [Citation Graph (1, 0)][DBLP ] DDB, 1980, pp:137-159 [Conf ] Gérard Le Lann Motivations, Objectives and Characterization of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Advanced Course: Distributed Systems, 1980, pp:1-9 [Conf ] Gérard Le Lann Link Level. [Citation Graph (0, 0)][DBLP ] Advanced Course: Distributed Systems, 1980, pp:86-93 [Conf ] Gérard Le Lann Synchronization. [Citation Graph (0, 0)][DBLP ] Advanced Course: Local Area Networks, 1983, pp:361-395 [Conf ] Gérard Le Lann Real-Time Protocols. [Citation Graph (0, 0)][DBLP ] Advanced Course: Local Area Networks, 1983, pp:457-469 [Conf ] Gérard Le Lann Notes on Future Operating Systems for Real-Time Dependable Distributed Computing. [Citation Graph (0, 0)][DBLP ] Operating Systems of the 90s and Beyond, 1991, pp:109-115 [Conf ] Gérard Le Lann A Methodology for Designing and Dimensioning Critical Complex Computing Systems. [Citation Graph (0, 0)][DBLP ] ECBS, 1996, pp:332-0 [Conf ] Gérard Le Lann An analysis of the Ariane 5 flight 501 failure-a system engineering perspective. [Citation Graph (0, 0)][DBLP ] ECBS, 1997, pp:339-246 [Conf ] Hervé Le Goff , Gérard Le Lann Communication and Sysnchronization Tools in a Distributed Environment. [Citation Graph (0, 0)][DBLP ] ECI, 1976, pp:50-61 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] EDCC, 2005, pp:140-153 [Conf ] Josef Widder , Gérard Le Lann , Ulrich Schmid Failure Detection with Booting in Partially Synchronous Systems. [Citation Graph (0, 0)][DBLP ] EDCC, 2005, pp:20-37 [Conf ] Gérard Le Lann Proof-Based System Engineering and Embedded Systems. [Citation Graph (0, 0)][DBLP ] European Educational Forum: School on Embedded Systems, 1996, pp:208-248 [Conf ] Jean-Claude Laprie , Gérard Le Lann , Michele Morganti , John M. Rushby Limits in Dependability (Panel). [Citation Graph (0, 0)][DBLP ] FTCS, 1993, pp:608-613 [Conf ] Gérard Le Lann Scheduling in Critical Real-Time Systems: a Minfesto. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1994, pp:511-528 [Conf ] Gérard Le Lann Predictability in Critical Systems. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1998, pp:315-338 [Conf ] Binoy Ravindran , Gérard Le Lann , Peng Li Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. [Citation Graph (0, 0)][DBLP ] HASE, 2002, pp:89-92 [Conf ] Gérard Le Lann , Hervé Le Goff Advances in Performance Evaluation of Communication Protocols. [Citation Graph (0, 0)][DBLP ] ICCC, 1976, pp:361-366 [Conf ] Jean-François Hermant , Gérard Le Lann A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks. [Citation Graph (0, 0)][DBLP ] ICDCS, 1998, pp:360-369 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICDCS, 1982, pp:447-453 [Conf ] Gérard Le Lann Distributed Systems - Towards a Formal Approach. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1977, pp:155-160 [Conf ] Gérard Le Lann On Real-Time Distributed Computing. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1983, pp:741-753 [Conf ] Gérard Le Lann Which LAN in the Factory (Panel). [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1986, pp:921-922 [Conf ] Gérard Le Lann What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems? [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1992, pp:596-597 [Conf ] Gérard Le Lann Certifiable Critical Complex Computing Systems. [Citation Graph (0, 0)][DBLP ] IFIP Congress (3), 1994, pp:287-294 [Conf ] Gérard Le Lann Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Martin Biely , Gérard Le Lann , Ulrich Schmid Proof-Based System Engineering Using a Virtual System Model. [Citation Graph (0, 0)][DBLP ] ISAS, 2005, pp:164-179 [Conf ] Patrice Carrére , Jean-François Hermant , Gérard Le Lann In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] ISORC, 1999, pp:271-0 [Conf ] Binoy Ravindran , Gérard Le Lann , Jinggang Wang , Peng Li A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] ISORC, 2003, pp:105-112 [Conf ] Emmanuelle Anceaume , Carole Delporte-Gallet , Hugues Fauconnier , Michel Hurfin , Gérard Le Lann Designing Modular Services in the Scattered Byzantine Failure Model. [Citation Graph (0, 0)][DBLP ] ISPDC/HeteroPar, 2004, pp:262-269 [Conf ] Gérard Le Lann , G. Bres Reliable atomic broadcast in distributed systems with omission faults. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1990, pp:- [Conf ] Gérard Le Lann Issues in Fault-Tolerant Real-Time Local Area Networks. [Citation Graph (0, 0)][DBLP ] Symposium on Reliability in Distributed Software and Database Systems, 1986, pp:28-32 [Conf ] Marcos Kawazoe Aguilera , Gérard Le Lann , Sam Toueg On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP ] DISC, 2002, pp:354-370 [Conf ] Gérard Le Lann On Real-Time and Non Real-Time Distributed Computing. [Citation Graph (0, 0)][DBLP ] WDAG, 1995, pp:51-70 [Conf ] Gérard Le Lann Asynchrony and Real-Time Dependable Computing. [Citation Graph (0, 0)][DBLP ] WORDS, 2003, pp:18-25 [Conf ] Gérard Le Lann , Hervé Le Goff Verification and Evaluation of Communication Protocols. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1978, v:2, n:, pp:50-69 [Journal ] Gérard Le Lann Designing real-time dependable distributed systems. [Citation Graph (0, 0)][DBLP ] Computer Communications, 1992, v:15, n:4, pp:225-234 [Journal ] Gérard Le Lann , G. Bres Reliable Atomic Broadcast in Distributed Systems with Omission Faults. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1991, v:25, n:2, pp:80-86 [Journal ] Jean-François Hermant , Gérard Le Lann Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2002, v:51, n:8, pp:931-944 [Journal ] Search in 0.003secs, Finished in 0.455secs