The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gérard Le Lann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Gérard Le Lann
    Error Recovery. [Citation Graph (2, 0)][DBLP]
    Advanced Course: Distributed Systems, 1980, pp:371-376 [Conf]
  4. Gérard Le Lann
    Synchronization. [Citation Graph (1, 0)][DBLP]
    Advanced Course: Distributed Systems, 1980, pp:266-283 [Conf]
  5. 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]
  6. 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]
  7. Gérard Le Lann
    Link Level. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1980, pp:86-93 [Conf]
  8. Gérard Le Lann
    Synchronization. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Local Area Networks, 1983, pp:361-395 [Conf]
  9. Gérard Le Lann
    Real-Time Protocols. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Local Area Networks, 1983, pp:457-469 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Gérard Le Lann
    Scheduling in Critical Real-Time Systems: a Minfesto. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:511-528 [Conf]
  19. Gérard Le Lann
    Predictability in Critical Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:315-338 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Gérard Le Lann
    Distributed Systems - Towards a Formal Approach. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:155-160 [Conf]
  25. Gérard Le Lann
    On Real-Time Distributed Computing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:741-753 [Conf]
  26. Gérard Le Lann
    Which LAN in the Factory (Panel). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:921-922 [Conf]
  27. 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]
  28. Gérard Le Lann
    Certifiable Critical Complex Computing Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (3), 1994, pp:287-294 [Conf]
  29. Gérard Le Lann
    Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. Gérard Le Lann
    On Real-Time and Non Real-Time Distributed Computing. [Citation Graph (0, 0)][DBLP]
    WDAG, 1995, pp:51-70 [Conf]
  38. Gérard Le Lann
    Asynchrony and Real-Time Dependable Computing. [Citation Graph (0, 0)][DBLP]
    WORDS, 2003, pp:18-25 [Conf]
  39. 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]
  40. 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]
  41. 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]
  42. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002