Gérard Le Lann

52 papers A* 1A 4C 3Misc 3Journal 7Unranked 34

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Next Generation Vehicles, Safety, and Cybersecurity - The CMX Framework. IEEE Trans. Intell. Transp. Syst. Jonathan Petit, Gérard Le Lann
2018	—	`conf`	Autonomic Vehicular Networks: Safety, Privacy, Cybersecurity and Societal Issues. VTC Spring Gérard Le Lann
2018	J	`jnl`	Autonomic Vehicular Networks: Safety, Privacy, Cybersecurity and Societal Issues. CoRR Gérard Le Lann
2017	Misc	`conf`	Fast Distributed Agreements and safety-critical scenarios in VANETs. ICNC Gérard Le Lann
2016	—	`conf`	A collision-free MAC protocol for fast message dissemination in vehicular strings. CSCN Gérard Le Lann
2015	—	`conf`	Safety in Vehicular Networks - on the Inevitability of Short-Range Directional Communications. ADHOC-NOW Gérard Le Lann
2012	—	`conf`	On the Power of Cohorts - Multipoint Protocols for Fast and Reliable Safety-Critical Communications in Intelligent Vehicular Networks. ICCVE Gérard Le Lann
2011	—	`conf`	Cohorts and groups for safe and efficient autonomous driving on highways. VNC Gérard Le Lann
2010	—	`conf`	Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering. CSDM Gérard Le Lann, Paul Simon
2005	Misc	`conf`	Failure Detection with Booting in Partially Synchronous Systems. EDCC Josef Widder, Gérard Le Lann, Ulrich Schmid
2005	Misc	`conf`	Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems. EDCC Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, Eric Bornschlegl
2005	—	`conf`	Proof-Based System Engineering Using a Virtual System Model. ISAS Martin Biely, Gérard Le Lann, Ulrich Schmid
2004	—	`conf`	Designing Modular Services in the Scattered Byzantine Failure Model. ISPDC/HeteroPar Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Gérard Le Lann
2004	A	`conf`	Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. IPDPS Gérard Le Lann
2003	C	`conf`	A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. ISORC Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li
2003	—	`conf`	Asynchrony and Real-Time Dependable Computing. WORDS Gérard Le Lann
2002	—	`conf`	Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. HASE Binoy Ravindran, Gérard Le Lann, Peng Li
2002	J	`jnl`	Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. IEEE Trans. Computers Jean-François Hermant, Gérard Le Lann
2002	A	`conf`	On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems. DISC Marcos Kawazoe Aguilera, Gérard Le Lann, Sam Toueg
1999	C	`conf`	In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems. ISORC Patrice Carrére, Jean-François Hermant, Gérard Le Lann
1998	A	`conf`	A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks. ICDCS Jean-François Hermant, Gérard Le Lann
1998	—	`conf`	Predictability in Critical Systems. FTRTFT Gérard Le Lann
1997	—	`conf`	An analysis of the Ariane 5 flight 501 failure-a system engineering perspective. ECBS Gérard Le Lann
1996	—	`conf`	A Methodology for Designing and Dimensioning Critical Complex Computing Systems. ECBS Gérard Le Lann
1996	—	`conf`	Proof-Based System Engineering and Embedded Systems. European Educational Forum: School on Embedded Systems Gérard Le Lann
1995	—	`conf`	On Real-Time and Non Real-Time Distributed Computing. WDAG Gérard Le Lann
1994	—	`conf`	Certifiable Critical Complex Computing Systems. IFIP Congress (3) Gérard Le Lann
1994	—	`conf`	Scheduling in Critical Real-Time Systems: a Minfesto. FTRTFT Gérard Le Lann
1993	—	`conf`	Limits in Dependability (Panel). FTCS Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby
1992	J	`jnl`	Designing real-time dependable distributed systems. Comput. Commun. Gérard Le Lann
1992	—	`conf`	What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems? IFIP Congress (1) Gérard Le Lann
1991	—	`conf`	Notes on Future Operating Systems for Real-Time Dependable Distributed Computing. Operating Systems of the 90s and Beyond Gérard Le Lann
1991	J	`jnl`	Reliable Atomic Broadcast in Distributed Systems with Omission Faults. ACM SIGOPS Oper. Syst. Rev. Gérard Le Lann, G. Bres
1990	—	`conf`	Reliable atomic broadcast in distributed systems with omission faults. ACM SIGOPS European Workshop Gérard Le Lann, G. Bres
1986	—	`conf`	Issues in Fault-Tolerant Real-Time Local Area Networks. Symposium on Reliability in Distributed Software and Database Systems Gérard Le Lann
1986	—	`conf`	Which LAN in the Factory (Panel). IFIP Congress Gérard Le Lann
1983	—	`conf`	On Real-Time Distributed Computing. IFIP Congress Gérard Le Lann
1983	—	`conf`	Real-Time Protocols. Advanced Course: Local Area Networks Gérard Le Lann
1983	—	`conf`	Synchronization. Advanced Course: Local Area Networks Gérard Le Lann
1982	A	`conf`	Queueing Analysis of the ordering issue in a distributed database concurrency control mechanism: A General Case. ICDCS Farouk Kamoun, M. Ben Djerad, Gérard Le Lann
1981	J	`jnl`	A Distributed System for Real-Time Transaction Processing. Computer Gérard Le Lann
1980	—	`conf`	Error Recovery. Advanced Course: Distributed Systems Gérard Le Lann
1980	—	`conf`	Link Level. Advanced Course: Distributed Systems Gérard Le Lann
1980	—	`conf`	Motivations, Objectives and Characterization of Distributed Systems. Advanced Course: Distributed Systems Gérard Le Lann
1980	—	`conf`	SIRIUS-DELTA: Un Prototype de Systeme de Gestion de Bases de Donnees Reparties. DDB Jean Le Bihan, Christian Esculier, Gérard Le Lann, L. Treille
1980	A*	`conf`	SIRIUS: A French Nationwide Project on Distributed Data Bases. VLDB Jean Le Bihan, Christian Esculier, Gérard Le Lann, Witold Litwin, Georges Gardarin, S. Sedillort, L. Treille
1980	—	`conf`	Synchronization. Advanced Course: Distributed Systems Gérard Le Lann
1978	—	`conf`	Algorithms for Distributed Data-Sharing Systems Which Use Tickets. Berkeley Workshop Gérard Le Lann
1978	J	`jnl`	Verification and Evaluation of Communication Protocols. Comput. Networks Gérard Le Lann, Hervé Le Goff
1977	—	`conf`	Distributed Systems - Towards a Formal Approach. IFIP Congress Gérard Le Lann
1976	C	`conf`	Advances in Performance Evaluation of Communication Protocols. ICCC Gérard Le Lann, Hervé Le Goff
1976	—	`conf`	Communication and Sysnchronization Tools in a Distributed Environment. ECI Hervé Le Goff, Gérard Le Lann