dblp.uni-trier.dewww.uni-trier.de

Michel Raynal

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
292EEAnne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana: Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring. ICDCN 2009: 25-36
291EEDamien Imbs, Michel Raynal: Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. ICDCN 2009: 67-78
290EEEli Gafni, Achour Mostéfaoui, Michel Raynal, Corentin Travers: From adaptive renaming to set agreement. Theor. Comput. Sci. 410(14): 1328-1335 (2009)
2008
289EEMichel Raynal: Synchronization is Coming Back, But is it the Same? AINA 2008: 1-10
288EESergio Rajsbaum, Michel Raynal, Corentin Travers: The Iterated Restricted Immediate Snapshot Model. COCOON 2008: 487-497
287EEYoram Moses, Michel Raynal: No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC 2008: 423-437
286EERoberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal: Brief Announcement: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. DISC 2008: 496-497
285EEAchour Mostéfaoui, Michel Raynal, Corentin Travers: Narrowing Power vs. Efficiency in Synchronous Set Agreement. ICDCN 2008: 99-111
284EEFrançois Bonnet, Michel Raynal: Conditions for Set Agreement with an Application to Synchronous Systems. ICDCS 2008: 663-672
283EEXiaopeng Fan, Jiannong Cao, Weigang Wu, Michel Raynal: On Modeling Fault Tolerance of Gossip-Based Reliable Multicast Protocols. ICPP 2008: 149-156
282EEDamien Imbs, Michel Raynal: A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. OPODIS 2008: 226-245
281EERoberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. OPODIS 2008: 428-445
280EEAnne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana: From anarchy to geometric structuring: the power of virtual coordinates. PODC 2008: 435
279EEFrançois Bonnet, Michel Raynal: Looking for the optimal conditions for solving set agreement. PODC 2008: 446
278EEMichel Raynal: Locks Considered Harmful: A Look at Non-traditional Synchronization. SEUS 2008: 369-380
277EEMichel Raynal: Set Agreement. Encyclopedia of Algorithms 2008
276EEVincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola: Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime CoRR abs/0801.1419: (2008)
275EEVincent Gramoli, Michel Raynal: Timed Quorum System for Large-Scale and Dynamic Environments CoRR abs/0802.0552: (2008)
274EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers: On the computability power and the robustness of set agreement-oriented failure detector classes. Distributed Computing 21(3): 201-222 (2008)
273EESergio Rajsbaum, Michel Raynal, Corentin Travers: An impossibility about failure detectors in the iterated immediate snapshot model. Inf. Process. Lett. 108(3): 160-164 (2008)
272EERoberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal: Anonymous graph exploration without collision by mobile robots. Inf. Process. Lett. 109(2): 98-103 (2008)
271EEWeigang Wu, Jiannong Cao, Jin Yang, Michel Raynal: Using asynchrony and zero degradation to speed up indulgent consensus protocols. J. Parallel Distrib. Comput. 68(7): 984-996 (2008)
270EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers: The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement. SIAM J. Comput. 38(4): 1574-1601 (2008)
269EERoy Friedman, Anne-Marie Kermarrec, Michel Raynal: Modularity: a first class concept to address distributed systems. SIGACT News 39(2): 91-110 (2008)
2007
268EERachid Guerraoui, Michel Raynal: A Universal Construction for Concurrent Objects. ARES 2007: 959-966
267EEMichel Raynal: A Subjective Visit to Selected Topics in Distributed Computing. DISC 2007: 5-6
266EEMichel Raynal, Sam Toueg, Shmuel Zaks: DISC at Its 20th Anniversary (Stockholm, 2006). DISC 2007: 501-503
265EEAntonio Fernández, Ernesto Jiménez, Michel Raynal: Electing an Eventual Leader in an Asynchronous Shared Memory System. DSN 2007: 399-408
264EEPaul D. Ezhilchelvan, Michel Raynal, Ajoy Kumar Datta: Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007). DSN 2007: 803
263EEAntonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal: Distributed Slicing in Dynamic Systems. ICDCS 2007: 66
262EEAntonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan: A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. ISORC 2007: 71-78
261EEWeigang Wu, Jiannong Cao, Michel Raynal: A Dual-Token-Based Fault Tolerant Mutual Exclusion Algorithm for MANETs. MSN 2007: 572-583
260EEMichel Raynal: Eventual Leader Service in Unreliable Asynchronous Systems: Why? How? NCA 2007: 11-24
259EEAntonio Fernández Anta, Michel Raynal: From an Intermittent Rotating Star to a Leader. OPODIS 2007: 189-203
258EEFrançois Bonnet, Anne-Marie Kermarrec, Michel Raynal: Small-World Networks: From Theoretical Bounds to Practical Systems. OPODIS 2007: 372-385
257EEVincent Gramoli, Michel Raynal: Timed Quorum Systems for Large-Scale and Dynamic Environments. OPODIS 2007: 429-442
256EEAlejandro Cornejo, Sergio Rajsbaum, Michel Raynal, Corentin Travers: Failure detectors are schedulers. PODC 2007: 308-309
255EEAntonio Fernández, Michel Raynal: From an intermittent rotating star to a leader. PODC 2007: 320-321
254EEJiannong Cao, Michel Raynal, Corentin Travers, Weigang Wu: The Eventual Leadership in Dynamic Mobile Networking Environments. PRDC 2007: 123-130
253EERoberto Baldoni, Marin Bertier, Michel Raynal, Sara Tucci Piergiovanni: Looking for a Definition of Dynamic Distributed Systems. PaCT 2007: 1-14
252EERachid Guerraoui, Michel Raynal: From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus. PaCT 2007: 47-61
251EEAchour Mostéfaoui, Michel Raynal, Corentin Travers: From Renaming to Set Agreement. SIROCCO 2007: 66-80
250EEMichel Raynal, Gadi Taubenfeld: The notion of a timed register and its application to indulgent synchronization. SPAA 2007: 200-209
249EEWeigang Wu, Jiannong Cao, Michel Raynal: The Eventual Clusterer Oracle and Its Application to Consensus in MANETs. SRDS 2007: 23-32
248EEEli Gafni, Michel Raynal, Corentin Travers: Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability. SRDS 2007: 93-102
247EEAntonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal: Distributed Slicing in Dynamic Systems CoRR abs/0712.3980: (2007)
246EERachid Guerraoui, Michel Raynal: The Alpha of Indulgent Consensus. Comput. J. 50(1): 53-67 (2007)
245EERoy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Asynchronous Agreement and Its Relation with Error-Correcting Codes. IEEE Trans. Computers 56(7): 865-875 (2007)
244EEWeigang Wu, Jiannong Cao, Jin Yang, Michel Raynal: Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks. IEEE Trans. Computers 56(8): 1055-1070 (2007)
243EESérgio Gorender, Raimundo José de Araújo Macêdo, Michel Raynal: An Adaptive Programming Model for Fault-Tolerant Distributed Computing. IEEE Trans. Dependable Sec. Comput. 4(1): 18-31 (2007)
242EERoy Friedman, Achour Mostéfaoui, Michel Raynal: On the Respective Power of *P and *S to Solve One-Shot Agreement Problems. IEEE Trans. Parallel Distrib. Syst. 18(5): 589-597 (2007)
241EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers: From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation. J. Parallel Distrib. Comput. 67(1): 125-129 (2007)
240EEAndrzej Pelc, David Peleg, Michel Raynal: Preface. Theor. Comput. Sci. 384(2-3): 137-138 (2007)
2006
239EEAchour Mostéfaoui, Michel Raynal, Corentin Travers, Sergio Rajsbaum: From Failure Detectors with Limited Scope Accuracy to System-wide Leadership. AINA (1) 2006: 81-86
238EEAchour Mostéfaoui, Michel Raynal, Corentin Travers: Exploring Gafni's Reduction Land: From Omegak to Wait-Free Adaptive (2p-[p/k])-Renaming Via k-Set Agreement. DISC 2006: 1-15
237EEAntonio Fernández, Ernesto Jiménez, Michel Raynal: Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony. DSN 2006: 166-178
236EEYehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers: Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus. ICDCN 2006: 331-341
235EEMichel Raynal: From static distributed systems to dynamic systems: an approach for a first step. ICDCS Workshops 2006
234EEJiannong Cao, Michel Raynal, Xianbing Wang, Weigang Wu: The Power and Limit of Adding Synchronization Messages for Synchronous Agreement. ICPP 2006: 399-406
233EEEli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers: The Committee Decision Problem. LATIN 2006: 502-514
232EEMichel Raynal, Corentin Travers: In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement. OPODIS 2006: 3-19
231EEVincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola: Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. OTM Workshops (2) 2006: 1470-1479
230EEWeigang Wu, Jiannong Cao, Jin Yang, Michel Raynal: A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks. PDP 2006: 64-72
229EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers: Irreducibility and additivity of set agreement-oriented failure detector classes. PODC 2006: 153-162
228EEAchour Mostéfaoui, Michel Raynal, Gilles Trédan: On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system. PRDC 2006: 259-266
227EEMichel Raynal, Corentin Travers: Synchronous Set Agreement: a Concise Guided Tour (including a new algorithm and a list of open problems). PRDC 2006: 267-274
226EEPhilippe Raipin Parvédy, Michel Raynal, Corentin Travers: Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures. SIROCCO 2006: 182-196
225EEAntonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal: Distributed Slicing in Dynamic Systems CoRR abs/cs/0612035: (2006)
224EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Synchronous condition-based consensus. Distributed Computing 18(5): 325-343 (2006)
223EEAchour Mostéfaoui, Michel Raynal, Corentin Travers: Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership. IEEE Trans. Parallel Distrib. Syst. 17(7): 656-666 (2006)
222EEAchour Mostéfaoui, Eric Mourgaya, Michel Raynal, Corentin Travers: A Time-free Assumption to Implement Eventual Leadership. Parallel Processing Letters 16(2): 189-208 (2006)
2005
221 Andrzej Pelc, Michel Raynal: Structural Information and Communication Complexity, 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings Springer 2005
220EEMichel Raynal, Matthieu Roy, Ciprian Tutu: A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations. AINA 2005: 961-966
219EESérgio Gorender, Raimundo A. Macêdo, Michel Raynal: A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing. DSN 2005: 412-421
218EERoy Friedman, Achour Mostéfaoui, Michel Raynal: Building and Using Quorums Despite any Number of Process of Crashes. EDCC 2005: 2-19
217EEZhiyuan Zhan, Mustaque Ahamad, Michel Raynal: Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users. ICDCS 2005: 209-218
216EEPaul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal: Building Responsive TMR-Based Servers in Presence of Timing Constraints. ISORC 2005: 267-274
215EERachid Guerraoui, Michel Raynal: Fault-Tolerant Techniques for Concurrent Objects. LADC 2005: 265
214EERoy Friedman, Michel Raynal, Corentin Travers: Two Abstractions for Implementing Atomic Objects in Dynamic Systems. OPODIS 2005: 73-87
213EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: The combined power of conditions and failure detectors to solve asynchronous set agreement. PODC 2005: 179-188
212EERoy Friedman, Michel Raynal, Corentin Travers: Brief announcement: abstractions for implementing atomic objects in dynamic systems. PODC 2005: 354
211EERoy Friedman, Achour Mostéfaoui, Michel Raynal: Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. PRDC 2005: 15-22
210EEPhilippe Raipin Parvédy, Michel Raynal, Corentin Travers: Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures. PRDC 2005: 23-30
209EEMichel Raynal, Matthieu Roy: A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models. PRDC 2005: 387-392
208EEPhilippe Raipin Parvédy, Michel Raynal, Corentin Travers: Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes. PaCT 2005: 49-58
207EEMichel Raynal, Matthieu Roy: Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. PaCT 2005: 59-73
206EEAchour Mostéfaoui, Michel Raynal, Corentin Travers, Stacy Patterson, Divyakant Agrawal, Amr El Abbadi: From Static Distributed Systems to Dynamic Systems. SRDS 2005: 109-118
205EEMichel Raynal: Wait-free computing: an introductory lecture. Future Generation Comp. Syst. 21(4): 655-663 (2005)
204EERoy Friedman, Achour Mostéfaoui, Michel Raynal: Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. IEEE Trans. Dependable Sec. Comput. 2(1): 46-56 (2005)
203EERoy Friedman, Achour Mostéfaoui, Michel Raynal: Asynchronous bounded lifetime failure detectors. Inf. Process. Lett. 94(2): 85-91 (2005)
202EEAjoy Kumar Datta, Maria Gradinariu, Michel Raynal: Stabilizing mobile philosophers. Inf. Process. Lett. 95(1): 299-306 (2005)
201EERoy Friedman, Achour Mostéfaoui, Michel Raynal: $\diamondsuit {\mathcal P}_{mute}$-based Consensus for Asynchronous Byzantine Systems. Parallel Processing Letters 15(1-2): 169-182 (2005)
2004
200EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: The Synchronous Condition-Based Consensus Hierarchy. DISC 2004: 1-15
199EERoy Friedman, Achour Mostéfaoui, Michel Raynal: The Notion of Veto Number and the Respective Power of OP and OS to Solve One-Shot Agreement Problems. DISC 2004: 41-55
198EEMichel Raynal, K. Vidyasankar: A Distributed Implementation of Sequential Consistency with Multi-Object Operations. ICDCS 2004: 544-551
197EERoy Friedman, Achour Mostéfaoui, Michel Raynal: The Notion of Veto Number for Distributed Agreement Problems. IWDC 2004: 315-325
196EEVicent Cholvi, Antonio Fernández, Ernesto Jiménez, Michel Raynal: A Methodological Construction of an Efficient Sequential Consistency Protocol. NCA 2004: 141-148
195EERoy Friedman, Achour Mostéfaoui, Michel Raynal: Brief announcement: veto number and the respective power of eventual failure detectors. PODC 2004: 398
194EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Brief announcement: the synchronous condition-based consensus hierarchy. PODC 2004: 399
193EEAchour Mostéfaoui, David Powell, Michel Raynal: A Hybrid Approach for Building Eventually Accurate Failure Detectors. PRDC 2004: 57-65
192EEPhilippe Raipin Parvédy, Michel Raynal: Optimal early stopping uniform consensus in synchronous systems with process omission failures. SPAA 2004: 302-310
191EEAchour Mostéfaoui, Michel Raynal, Corentin Travers: Crash-Resilient Time-Free Eventual Leadership. SRDS 2004: 208-217
190EERoy Friedman, Achour Mostéfaoui, Michel Raynal: Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. SRDS 2004: 228-237
189EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy: Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. Distributed Computing 17(1): 1-20 (2004)
188EERachid Guerraoui, Michel Raynal: The Information Structure of Indulgent Consensus. IEEE Trans. Computers 53(4): 453-466 (2004)
187EERoy Friedman, Achour Mostéfaoui, Michel Raynal: A weakest failure detector-based asynchronous consensus protocol for f<n. Inf. Process. Lett. 90(1): 39-46 (2004)
186EEEmmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal: A necessary and sufficient condition for transforming limited accuracy failure detectors. J. Comput. Syst. Sci. 68(1): 123-133 (2004)
2003
185EEMichel Raynal: Token-Based Sequential Consistency in Asynchronous Distributed Systems. AINA 2003: 421-426
184EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Using Conditions to Expedite Consensus in Synchronous Distributed Systems. DISC 2003: 249-263
183EEAchour Mostéfaoui, Eric Mourgaya, Michel Raynal: Asynchronous Implementation of Failure Detectors. DSN 2003: 351-360
182EEAchour Mostéfaoui, Eric Mourgaya, Philippe Raipin Parvédy, Michel Raynal: Evaluating the Condition-Based Approach to Solve Consensus. DSN 2003: 541-550
181EEMaria Gradinariu, Michel Raynal, Gwendal Simon: Looking for a Common View for Mobile Worlds. FTDCS 2003: 159-
180EEStephen S. Yau, Carl K. Chang, Randy Chow, Luca Limoncini, Michel Raynal: Challenges of Future Distributed Computing Systems. FTDCS 2003: 376
179EERoy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? Future Directions in Distributed Computing 2003: 17-21
178EEMustaque Ahamad, Michel Raynal: Ordering vs Timeliness: Two Facets of Consistency? Future Directions in Distributed Computing 2003: 73-80
177EEChristof Fetzer, Michel Raynal: Elastic Vector Time. ICDCS 2003: 284-
176EERachid Guerraoui, Michel Raynal: A Generic Framework for Indulgent Consensus. ICDCS 2003: 88-95
175EEPhilippe Raipin Parvédy, Michel Raynal: Uniform Agreement Despite Process Omission Failures. IPDPS 2003: 212
174EEAjoy Kumar Datta, Maria Gradinariu, Michel Raynal, Gwendal Simon: Anonymous Publish/Subscribe in P2P Networks. IPDPS 2003: 74
173EEKenichi Hori, Tomoya Enokido, Makoto Takizawa, Michel Raynal: Nested Invocation Protocol for Object-Based Systems. ISORC 2003: 238-248
172EEFabrice Le Fessant, Philippe Raipin Parvédy, Michel Raynal: Brief announcement: early decision despite general process omission failures. PODC 2003: 222
171EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy: A Hierarchy of Conditions for Asynchronous Interactive Consistency. PaCT 2003: 130-140
170EEMichel Raynal: The Renaming Problem as an Introduction to Structures for Wait-Free Computing. PaCT 2003: 151-164
169EEPaul D. Ezhilchelvan, Doug Palmer, Michel Raynal: An Optimal Atomic Broadcast Protocol and an Implementation Framework. WORDS 2003: 32-
168EEPhilippe Raipin Parvédy, Michel Raynal: Reliable Compare & Swap for Fault-Tolerant Synchronization. WORDS 2003: 50-55
167EELuís Rodrigues, Michel Raynal: Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication. IEEE Trans. Knowl. Data Eng. 15(5): 1206-1217 (2003)
166EEJean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni: Efficient Causality-Tracking Timestamping. IEEE Trans. Knowl. Data Eng. 15(5): 1239-1250 (2003)
165EECarole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal: Early Stopping in Global Data Computation. IEEE Trans. Parallel Distrib. Syst. 14(9): 909-921 (2003)
164EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Conditions on input vectors for consensus solvability in asynchronous distributed systems. J. ACM 50(6): 922-954 (2003)
163EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy: Consensus in Byzantine asynchronous systems. J. Discrete Algorithms 1(2): 185-210 (2003)
2002
162EEDivyakant Agrawal, Amr El Abbadi, Achour Mostéfaoui, Michel Raynal, Matthieu Roy: The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses. DISC 2002: 33-47
161EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy: Condition-Based Protocols for Set Agreement Problems. DISC 2002: 48-62
160EERoy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Distributed Agreement and Its Relation with Error-Correcting Codes. DISC 2002: 63-87
159EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: A Versatile and Modular Consensus Protoco. DSN 2002: 364-373
158EEMichel Raynal: Sequential Consistency as Lazy Linearizability. EurAsia-ICT 2002: 866-873
157EEPaul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal: Building responseive TMR-based servers in presence of timing constraints. PODC 2002: 127
156EEAchour Mostéfaoui, Michel Raynal, Matthieu Roy, Divyakant Agrawal, Amr El Abbadi: Towards a formal model for view maintenance in data warehouses. PODC 2002: 129
155EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Asynchronous interactive consistency and its relation with error-correcting codes. PODC 2002: 253
154EECarole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal: Early stopping in aglobal data computation. PODC 2002: 258
153EEMichel Raynal: An Introduction to the Renaming Problem. PRDC 2002: 121-124
152EEMichel Raynal: Consensus in Synchronous Systems: A Concise Guided Tour. PRDC 2002: 221-228
151EEMichel Raynal: Sequential consistency as lazy linearizability. SPAA 2002: 151-152
150EEEmmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal: Tracking immediate predecessors in distributed computations. SPAA 2002: 210-219
149EEMichel Raynal: Wait-Free Objects for Real-Time Systems? (position paper). Symposium on Object-Oriented Real-Time Distributed Computing 2002: 413-420
148EEChristof Fetzer, Michel Raynal: Approximate Real-Time Clocks for Scheduled Events. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 54-61
147 Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal: Real-time based strong consistency for distributed objects. Comput. Syst. Sci. Eng. 17(2): 133-142 (2002)
146 Michel Raynal: Token-based sequential consistency. Comput. Syst. Sci. Eng. 17(6): 359-365 (2002)
145EEAchour Mostéfaoui, Eric Mourgaya, Michel Raynal: An introduction to oracles for asynchronous distributed systems. Future Generation Comp. Syst. 18(6): 757-767 (2002)
144EERoberto Baldoni, Michel Raynal: Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems. IEEE Distributed Systems Online 3(2): (2002)
143EEMichel Hurfin, Achour Mostéfaoui, Michel Raynal: A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors. IEEE Trans. Computers 51(4): 395-408 (2002)
142EEEmmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal: A Note on the Determination of the Immediate Predecessors in a Distributed Computation. Int. J. Found. Comput. Sci. 13(6): 865-872 (2002)
141EEJean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Interval Consistency of Asynchronous Distributed Computations. J. Comput. Syst. Sci. 64(2): 329-349 (2002)
2001
140EEPaul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal: Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. Euro-Par 2001: 482-485
139EEVijaykumar Krishnaswamy, Mustaque Ahamad, Michel Raynal, David E. Bakken: Shared State Consistency for Time-Sensitive Distributed Applications. ICDCS 2001: 606-614
138 Achour Mostéfaoui, Michel Raynal: A Condition for k-Set Agreement in Asynchronous Distributed Systems. IPDPS 2001: 78
137EEFabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel: Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. ISADS 2001: 93-100
136EEPaul D. Ezhilchelvan, Achour Mostéfaoui, Michel Raynal: Randomized Multivalued Consensus. ISORC 2001: 195-200
135EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy: A hierarchy of conditions for consensus solvability. PODC 2001: 151-160
134EEChristof Fetzer, Michel Raynal, Frederic Tronel: An Adaptive Failure Detection Protocol. PRDC 2001: 146-153
133EEFrancisco Vilar Brasileiro, Fabíola Greve, Achour Mostéfaoui, Michel Raynal: Consensus in One Communication Step. PaCT 2001: 42-50
132EEMichel Raynal: Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles. PaCT 2001: 98-111
131 Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy: Efficient Condition-Based Consensus. SIROCCO 2001: 275-292
130EEAchour Mostéfaoui, Michel Raynal: Randomized k-set agreement. SPAA 2001: 291-297
129EEMichel Hurfin, Achour Mostéfaoui, Michel Raynal, Raimundo A. Macêdo: A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window. SRDS 2001: 120-129
128EEAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Conditions on input vectors for consensus solvability in asynchronous distributed systems. STOC 2001: 153-162
127EEFrancisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal: Real-Time Based Strong Consistency for Distributed Objects. WORDS 2001: 161-168
126EERoberto Baldoni, Francesco Quaglia, Michel Raynal: Consistent Checkpointing for Transaction Systems. Comput. J. 44(2): 92-100 (2001)
125 Roberto Baldoni, Giacomo Cioffi, Jean-Michel Hélary, Michel Raynal: Direct dependency-based determination of consistent global checkpoints. Comput. Syst. Sci. Eng. 16(1): 43-49 (2001)
124EEAchour Mostéfaoui, Michel Raynal, Paulo Veríssimo: The logically instantaneous communication mode: a communication abstraction. Future Generation Comp. Syst. 17(6): 669-678 (2001)
123EEMichel Raynal, Mukesh Singhal: Mastering Agreement Problems in Distributed Systems. IEEE Software 18(4): 40-47 (2001)
122EEUdo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal: Consensus-Based Fault-Tolerant Total Order Multicast. IEEE Trans. Parallel Distrib. Syst. 12(2): 147-156 (2001)
121EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal: Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. Inf. Comput. 165(2): 144-173 (2001)
120EERoberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property. Inf. Process. Lett. 80(2): 105-111 (2001)
119 Achour Mostéfaoui, Michel Raynal: Leader-Based Consensus. Parallel Processing Letters 11(1): 95-107 (2001)
2000
118EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal: From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. DSN 2000: 273-282
117EEAchour Mostéfaoui, Michel Raynal, Frederic Tronel: The Best of Both Worlds: A Hybrid Approach to Solve Consensus. DSN 2000: 513-522
116EEMichel Raynal: Logical Instantaneity and Causal Order: Two ``First Class'' Communication Modes for Parallel Computing. Euro-Par 2000: 35-42
115EELuís Rodrigues, Michel Raynal: Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note). Euro-Par 2000: 605-608
114EELuís Rodrigues, Michel Raynal: Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems. ICDCS 2000: 288-295
113EEJean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel: Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. ICDCS 2000: 584-591
112EEAchour Mostéfaoui, Michel Raynal: Consensus Based on Failure Detectors with a Perpetual Accuracy Property. IPDPS 2000: 514-519
111EEFabíola Greve, Michel Hurfin, Raimundo A. Macêdo, Michel Raynal: Consensus Based on Strong Failure Detectors: A Time and Message-Efficient Protocol. IPDPS Workshops 2000: 1258-1265
110EELuís Rodrigues, Roberto Baldoni, Emmanuelle Anceaume, Michel Raynal: Deadline-Constrained Causal Order. ISORC 2000: 234-
109EEAchour Mostéfaoui, Michel Raynal: k-set agreement with limited accuracy failure detectors. PODC 2000: 143-152
108EEFabíola Greve, Michel Hurfin, Raimundo A. Macêdo, Michel Raynal: Time and message-efficient S-based consensus (brief announcement). PODC 2000: 332
107EEAchour Mostéfaoui, Michel Raynal: Low cost consensus-based Atomic Broadcast. PRDC 2000: 45-52
106 Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy: Consensus in byzantine asynchronous systems. SIROCCO 2000: 1-15
105 Jean-Michel Hélary, Giovanna Melideo, Michel Raynal: Tracking causality in distributed systems: a suite of efficient protocols. SIROCCO 2000: 181-195
104EEJean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal: Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. Distributed Computing 13(1): 29-43 (2000)
103EEJean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel: Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. IEEE Trans. Parallel Distrib. Syst. 11(9): 897-909 (2000)
102EEAchour Mostéfaoui, Michel Raynal, Frederic Tronel: From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems. Inf. Process. Lett. 73(5-6): 207-212 (2000)
1999
101EEPaulo Veríssimo, Michel Raynal: Time in Distributed System Models and Algorithms. Advances in Distributed Systems 1999: 1-32
100EERachid Guerraoui, Michel Hurfin, Achour Mostéfaoui, Rui Carlos Oliveira, Michel Raynal, André Schiper: Consensus in Asynchronous Distributed Systems: A Concise Guided Tour. Advances in Distributed Systems 1999: 33-47
99EEAchour Mostéfaoui, Michel Raynal: Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach. DISC 1999: 49-63
98EERoberto Baldoni, Francesco Quaglia, Michel Raynal: Distributed Database Checkpointing. Euro-Par 1999: 450-458
97EEMichel Raynal: Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example. Euro-Par 1999: 806-814
96EEAchour Mostéfaoui, Michel Raynal: Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus. FSTTCS 1999: 329-340
95EEEddy Fromentin, Michel Raynal, Frederic Tronel: On Classes of Problems in Asynchronous Distributed Systems with Process Crashes. ICDCS 1999: 470-477
94 Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hélary: Direct Dependency-Based Determination of Consistent GlobalCheckpoints. OPODIS 1999: 11-28
93 Michel Raynal: Simple Vector Clocks are limited to Solve some Causallity Related Problems. OPODIS 1999: 195-204
92 Achour Mostéfaoui, Michel Raynal, Makoto Takizawa: Logical Clocks for Unreliable Process Groups. PDPTA 1999: 2272-2278
91EEFrancisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal: Timed Consistency for Shared Distributed Objects. PODC 1999: 163-172
90EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal: Rollback-Dependency Trackability: Visible Characterizations. PODC 1999: 33-42
89EEAchour Mostéfaoui, Michel Raynal, Paulo Veríssimo: Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. PaCT 1999: 258-270
88EEAchour Mostéfaoui, Michel Raynal, Makoto Takizawa: Consistent Lamport Clocks for Asynchronous Groups with Process Crashes. PaCT 1999: 98-107
87EEMichel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel: A General Framework to Solve Agreement Problems. SRDS 1999: 56-65
86EERoberto Baldoni, Francesco Quaglia, Michel Raynal: Consistent Checkpointing in Distributed Databases: Towards a Formal Approach CoRR cs.DB/9910019: (1999)
85EEMichel Hurfin, Michel Raynal: A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector. Distributed Computing 12(4): 209-223 (1999)
84EEMustaque Ahamad, Michel Raynal, Gérard Thia-Kime: An adaptive architecture for causally consistent distributed services. Distributed Systems Engineering 6(2): 63-70 (1999)
83EEMichel Raynal, Frederic Tronel: Group membership failure detection: a simple protocol and its probabilistic analysis. Distributed Systems Engineering 6(3): 95-102 (1999)
82EEJean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Communication-Induced Determination of Consistent Snapshots. IEEE Trans. Parallel Distrib. Syst. 10(9): 865-877 (1999)
81EEJean-Michel Hélary, Robert H. B. Netzer, Michel Raynal: Consistency Issues in Distributed Checkpoints. IEEE Trans. Software Eng. 25(2): 274-281 (1999)
80EEMichel Raynal, Frederic Tronel: Restricted failure detectors: Definition and reduction protocols. Inf. Process. Lett. 72(3-4): 91-97 (1999)
79 Vijay K. Garg, Michel Raynal: Normality: A Consistency Condition for Concurrent Objects. Parallel Processing Letters 9(1): 123-134 (1999)
1998
78EEFrancisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal: Lifetime Based Consistency Protocols for Distributed Objects. DISC 1998: 378-392
77 Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Communication-Induced Determination of Consistent Snapshots. FTCS 1998: 208-217
76EEMustaque Ahamad, Michel Raynal, Gérard Thia-Kime: An Adaptive Protocol for Implementing Causally Consistent Distributed Services. ICDCS 1998: 86-93
75EEMichel Hurfin, Michel Raynal: Asynchronous Protocols to Meet Real-Time Constraints: Is It Really Sensible? How to Proceed? ISORC 1998: 290-297
74 Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal: Fault-Tolerant Total Order Multicast to Asynchronous Groups. SRDS 1998: 228-234
73 Michel Hurfin, Achour Mostéfaoui, Michel Raynal: Consensus in Asynchronous Systems Where Processes Can Crash and Recover. SRDS 1998: 280-286
72EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal: Consistent Records in Asynchronous Computations. Acta Inf. 35(6): 441-455 (1998)
71EEMichel Raynal: Consensus-Based Management of Distributed and Replicated Data. IEEE Data Eng. Bull. 21(4): 30-37 (1998)
70EEMichel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal: Efficient Distributed Detection of Conjunctions of Local Predicates. IEEE Trans. Software Eng. 24(8): 664-677 (1998)
69EEYoshifumi Manabe, Roberto Baldoni, Michel Raynal, Shigemi Aoyagi: k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion. Theor. Comput. Sci. 193(1-2): 97-112 (1998)
1997
68EERoberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Consistent State Restoration in Shared Memory Systems. APDC 1997: 330-337
67EEMichel Raynal, Gérard Thia-Kime, Mustaque Ahamad: From serializable to causal transactions for collaborative applications. EUROMICRO 1997: 314-
66 Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability. FTCS 1997: 68-77
65EEMichel Raynal: A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. HASE 1997: 209-214
64EEOliver E. Theel, Michel Raynal: Static and Dynamic Adaptation of Transactional Consistency. HICSS (1) 1997: 533-542
63 Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Cycle Prevention in Distributed Checkpointing. OPODIS 1997: 309-318
62 Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal: Preventing Useless Checkpoints in Distributed Computations. SRDS 1997: 183-190
61 Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Virtual Precedence in Asynchronous Systems: Cencept and Applications. WDAG 1997: 170-184
60EERoberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Adaptive checkpointing in message passing distributed systems. Int. J. Systems Science 28(11): 1145-1161 (1997)
59 Eddy Fromentin, Michel Raynal: Shared Global States in Distributed Computations. J. Comput. Syst. Sci. 55(3): 522-528 (1997)
58 Ravi Prakash, Michel Raynal, Mukesh Singhal: An Adaptive Causal Ordering Algorithm Suited to Mobile Computing Environments. J. Parallel Distrib. Comput. 41(2): 190-204 (1997)
1996
57 Achour Mostéfaoui, Michel Raynal: Efficient Message Logging for Uncoordinated Checkpointing Protocols. EDCC 1996: 353-364
56EERoberto Baldoni, Michel Raynal, Ravi Prakash, Mukesh Singhal: Broadcast with Time and Causality Constraints for Multimedia Applications. EUROMICRO 1996: 617-624
55 Ravi Prakash, Michel Raynal, Mukesh Singhal: An Efficient Causal Ordering Algorithm for Mobile Computing Environments. ICDCS 1996: 744-751
54 Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad: From Serializable to Causal Transactions (Abstract). PODC 1996: 310
53 Roberto Baldoni, Jean-Michel Hélary, Michel Raynal: About State Recording in Asynchronous Computations (Abstract). PODC 1996: 55
52 Roberto Baldoni, Ravi Prakash, Michel Raynal, Mukesh Singhal: Efficient Delta-Causal Broadcasting of Multimedia Applications (Abstract). PODC 1996: 89
51 Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal: On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations. SPDP 1996: 0-
50 Michel Hurfin, Michel Raynal: Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging). WG 1996: 211-223
49 André Schiper, Michel Raynal: From Group Communication to Transactions in Distributed Systems. Commun. ACM 39(4): 84-87 (1996)
48 Michel Raynal, Mukesh Singhal: Logical Time: Capturing Causality in Distributed Systems. IEEE Computer 29(2): 49-56 (1996)
47 Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal: Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distrib. Comput. 32(2): 232 (1996)
46EEÖzalp Babaoglu, Eddy Fromentin, Michel Raynal: A unified framework for the specification and run-time detection of dynamic properties in distributed computations. Journal of Systems and Software 33(3): 287-298 (1996)
45 Roberto Baldoni, Achour Mostéfaoui, Michel Raynal: Causal Delivery of Messages with Real-Time Data in Unreliable Networks. Real-Time Systems 10(3): 245-262 (1996)
1995
44 Jean-Michel Hélary, Michel Raynal: Distributed Algorithms, 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995, Proceedings Springer 1995
43 Eddy Fromentin, Noël Plouzeau, Michel Raynal: Replaying Distributed Executions. AADEBUG 1995: 1-18
42 Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal: Recognition of Patterns on Control Flows for Debugging Distributed Executions. AADEBUG 1995: 221-232
41 Michel Raynal, André Schiper: From Causal Consistency to Sequential Consistency in Shared Memory Systems. FSTTCS 1995: 180-194
40EEJerzy Brzezinski, Jean-Michel Hélary, Michel Raynal: Deadlocks in Distributed Systems: Request Models and Definitions. FTDCS 1995: 186-193
39EERoberto Baldoni, Jerzy Brzezinski, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems. FTDCS 1995: 314-323
38EERoberto Baldoni, Achour Mostéfaoui, Michel Raynal: Efficient Causally Ordered Communications for Multimedia Real-Time Applications. HPDC 1995: 140-147
37 Eddy Fromentin, Michel Raynal: Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation. ICDCS 1995: 431-438
36 Özalp Babaoglu, Eddy Fromentin, Michel Raynal: Debugging Distributed Executions by Using Language Recognition. ICPP (2) 1995: 55-62
35EEAjay D. Kshemkalyani, Michel Raynal, Mukesh Singhal: An introduction to snapshot algorithms in distributed computing. Distributed Systems Engineering 2(4): 224- (1995)
34EEEddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal: On-The-Fly Analysis of Distributed Computations. Inf. Process. Lett. 54(5): 267-274 (1995)
33 Özalp Babaoglu, Michel Raynal: Specification and Verification of Dynamic Properties in Distributed Computations. J. Parallel Distrib. Comput. 28(2): 173-185 (1995)
32 Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distrib. Comput. 31(2): 112-125 (1995)
31 Mohan Ahuja, Michel Raynal: An Implementation of Global Flush Primitives Using Counters. Parallel Processing Letters 5: 171-178 (1995)
1994
30 Achour Mostéfaoui, Michel Raynal: Definition and Implementation of a Flexible Communication Primitive for Distributed Programming. Applications in Parallel and Distributed Computing 1994: 115-124
29 Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen: An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. Applications in Parallel and Distributed Computing 1994: 145-154
28 Masaaki Mizuno, Michel Raynal, James Z. Zhou: Sequential Consistency in Distributed Systems. Dagstuhl Seminar on Distributed Systems 1994: 224-241
27 Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson: On the Fly Testing of Regular Patterns in Distributed Computations. ICPP 1994: 73-76
26 Jean-Michel Hélary, Michel Raynal: Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination. Distributed Computing 7(3): 137-147 (1994)
25EEJean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms. IEEE Trans. Parallel Distrib. Syst. 5(11): 1185-1196 (1994)
24 Eddy Fromentin, Michel Raynal: Local States in Distributed Computations: A Few Relations and Formulas. Operating Systems Review 28(2): 65-72 (1994)
1993
23 Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal: Termination Detection in a Very General Distributed Computing Model. ICDCS 1993: 374-381
22 Michel Hurfin, Noël Plouzeau, Michel Raynal: Detecting Atomic Sequences of Predicates in Distributed Computations. Workshop on Parallel and Distributed Debugging 1993: 32-42
21EEMichel Hurfin, Noël Plouzeau, Michel Raynal: Debugging tool for distributed Estelle programs. Computer Communications 16(5): 328-333 (1993)
1992
20 Philippe Ingels, Carlos Maziero, Michel Raynal: A Distributed Kernel for Virtual Time Driven Applications. ICCI 1992: 457-460
19 Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal: A General Method to Define Quorums. ICDCS 1992: 657-664
18 Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen: Synchronization and Concurrency Measures for Distributed Computations. ICDCS 1992: 700-707
17 Jean-Michel Hélary, Michel Raynal: Distributed Evaluation: A Tool for Constructing Distributed Detection Programs. ISTCS 1992: 184-194
16 Michel Raynal: About Logical Clocks for Distributed Systems. Operating Systems Review 26(1): 41-48 (1992)
1991
15 André Couvert, René Pedrono, Michel Raynal: Implementation and Evaluation of Distributed Synchronization on a Distributed Memory Parallel Machine. EDMCC 1991: 304-314
14 Michel Raynal: A Distributed Solution to the k-out of-M Resources Allocation Problem. ICCI 1991: 599-609
13 Michel Raynal, André Schiper, Sam Toueg: The Causal Ordering Abstraction and a Simple Way to Implement it. Inf. Process. Lett. 39(6): 343-350 (1991)
12 Michel Raynal: A Simple Taxonomy for Distributed Mutual Exclusion Algorithms. Operating Systems Review 25(2): 47-50 (1991)
1989
11 Jean-Claude Bermond, Michel Raynal: Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings Springer 1989
10 Michel Raynal: Prime Numbers as a Tool to Design Distributed Algorithms. Inf. Process. Lett. 33(1): 53-58 (1989)
1988
9 Jean-Michel Hélary, Noël Plouzeau, Michel Raynal: A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network. Comput. J. 31(4): 289-295 (1988)
1987
8 Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal: Detection of Stable Properties in Distributed Applications. PODC 1987: 125-136
7 Jean-Claude Bermond, Jean-Claude König, Michel Raynal: General and Efficient Decentralized Consensus Protocols. WDAG 1987: 41-56
6 Jean-Michel Hélary, Aomar Maddi, Michel Raynal: Calcul Réparti D'un Extrémum Et Du Routage Associé Dans Un Réseau Quelconque. ITA 21(3): 223-244 (1987)
5 Michel Raynal: A Distributed Algorithm to Prevent Mutual Drift Between n Logical Clocks. Inf. Process. Lett. 24(3): 199-202 (1987)
1983
4 Gregor von Bochmann, Michel Raynal: Structured Specification of Communicating Systems. IEEE Trans. Computers 32(2): 120-133 (1983)
1981
3 Philippe Darondeau, Paul Le Guernic, Michel Raynal: Types in a Mixed Language System. BIT 21(3): 246-254 (1981)
2 Michel Banâtre, André Couvert, D. Herman, Michel Raynal: An Experience in Implementing Abstract Data Types. Softw., Pract. Exper. 11(3): 315-320 (1981)
1980
1 D. Herman, Michel Raynal: Synchronization and Protection Features for Data Abstraction. GI Jahrestagung 1980: 277-291

Coauthor Index

1Amr El Abbadi [156] [162] [206]
2Yehuda Afek [236]
3Divyakant Agrawal [156] [162] [206]
4Mustaque Ahamad [54] [67] [76] [78] [84] [91] [127] [139] [147] [178] [217]
5Mohan Ahuja [31]
6Emmanuelle Anceaume [110] [142] [150] [186]
7Antonio Fernández Anta [259]
8Shigemi Aoyagi [69]
9Özalp Babaoglu [33] [36] [46]
10David E. Bakken [139]
11Roberto Baldoni [38] [39] [45] [52] [53] [56] [60] [66] [68] [69] [72] [86] [90] [94] [98] [106] [110] [118] [120] [121] [125] [126] [144] [163] [166] [253] [272] [281] [286]
12Michel Banâtre [2]
13Jean-Claude Bermond [7] [11]
14Marin Bertier [253]
15Gregor von Bochmann [4]
16François Bonnet [258] [272] [279] [281] [284] [286]
17Francisco Vilar Brasileiro (Francisco V. Brasileiro) [133]
18Jerzy Brzezinski [23] [32] [39] [40] [47]
19Jiannong Cao [230] [234] [244] [249] [254] [261] [271] [283]
20Carl K. Chang [180]
21Vicent Cholvi (Vicent Cholvi-Juan) [196]
22Randy Chow [180]
23Giacomo Cioffi [94] [125]
24Alejandro Cornejo [256]
25André Couvert [2] [15]
26Philippe Darondeau [3]
27Ajoy Kumar Datta [174] [202] [264]
28Carole Delporte-Gallet (Carole Delporte) [154] [165]
29Tomoya Enokido [173]
30Paul D. Ezhilchelvan [136] [140] [157] [169] [216] [264]
31Xiaopeng Fan [283]
32Hugues Fauconnier [154] [165]
33Antonio Fernández [186] [196] [225] [237] [247] [255] [262] [263] [265]
34Fabrice Le Fessant [172]
35Christof Fetzer [134] [148] [177]
36Roy Friedman [160] [179] [187] [190] [195] [197] [199] [201] [203] [204] [211] [212] [214] [218] [242] [245] [269]
37Udo Fritzke Jr. [74] [122]
38Eddy Fromentin [24] [27] [34] [36] [37] [42] [43] [46] [59] [95]
39Eli Gafni [233] [236] [248] [290]
40Vijay K. Garg [27] [79]
41Sérgio Gorender [219] [243]
42Vincent Gramoli [225] [231] [247] [257] [263] [275] [276]
43Fabíola Greve [108] [111] [133] [137]
44Paul Le Guernic [3]
45Rachid Guerraoui [100] [176] [188] [215] [246] [252] [268]
46Jean-Michel Hélary [6] [8] [9] [17] [23] [25] [26] [32] [39] [40] [44] [47] [53] [60] [61] [62] [63] [66] [68] [72] [77] [81] [82] [90] [94] [103] [104] [105] [106] [113] [118] [120] [121] [125] [140] [141] [142] [150] [154] [157] [163] [165] [166] [216]
47D. Herman [1] [2]
48Kenichi Hori [173]
49Michel Hurfin [21] [22] [50] [51] [70] [73] [75] [85] [87] [100] [103] [108] [111] [113] [129] [137] [143]
50Damien Imbs [282] [291]
51Philippe Ingels [20] [74] [122]
52Claude Jard [8] [34] [42]
53Ernesto Jiménez [196] [225] [237] [247] [262] [263] [265]
54Guy-Vincent Jourdan [34] [42]
55Anne-Marie Kermarrec [225] [231] [247] [258] [263] [269] [276] [280] [292]
56Jean-Claude König [7]
57Vijaykumar Krishnaswamy [139]
58Ajay D. Kshemkalyani [35]
59Luca Limoncini [180]
60Raimundo José de Araújo Macêdo (Raimundo A. Macêdo) [87] [108] [111] [129] [219] [243]
61Aomar Maddi [6]
62Yoshifumi Manabe [69]
63Carlos Maziero (Carlos Alberto Maziero) [20]
64Giovanna Melideo [105] [166]
65Alessia Milani [272] [281] [286]
66Masaaki Mizuno [18] [19] [28] [29] [51] [70]
67Yoram Moses [287]
68Achour Mostéfaoui [25] [30] [38] [39] [45] [57] [60] [61] [62] [63] [66] [68] [73] [74] [77] [82] [88] [89] [92] [96] [99] [100] [102] [103] [104] [107] [109] [112] [113] [117] [119] [120] [122] [124] [128] [129] [130] [131] [133] [135] [136] [138] [141] [143] [145] [155] [156] [159] [160] [161] [162] [164] [171] [179] [182] [183] [184] [186] [187] [189] [190] [191] [193] [194] [195] [197] [199] [200] [201] [203] [204] [206] [211] [213] [218] [222] [223] [224] [228] [229] [231] [238] [239] [241] [242] [245] [251] [270] [274] [276] [280] [285] [290] [292]
69Eric Mourgaya [145] [182] [183] [222]
70Gil Neiger [186]
71Mitchell L. Neilsen [18] [19] [29]
72Robert H. B. Netzer [62] [81] [104]
73Rui Carlos Oliveira [100]
74Doug Palmer [169]
75Philippe Raipin Parvédy [168] [172] [175] [182] [192] [208] [210] [226]
76Stacy Patterson [206]
77René Pedrono [15]
78Andrzej Pelc [221] [240]
79David Peleg [240]
80Sara Tucci Piergiovanni [253]
81Noël Plouzeau [8] [9] [21] [22] [43]
82Maria Gradinariu Potop-Butucaru (Maria Potop-Butucaru, Maria Gradinariu) [174] [181] [202]
83David Powell [193]
84Ravi Prakash [52] [55] [56] [58]
85Francesco Quaglia [86] [98] [126]
86Sergio Rajsbaum [128] [131] [135] [155] [159] [160] [161] [164] [171] [179] [184] [189] [194] [200] [213] [224] [229] [233] [236] [239] [241] [245] [256] [270] [273] [274] [288]
87Luís Rodrigues [110] [114] [115] [167]
88Matthieu Roy [131] [135] [156] [161] [162] [171] [189] [207] [209] [220]
89André Schiper [13] [41] [49] [100]
90Bruno Sericola [231] [276]
91Gwendal Simon [174] [181]
92Gurdip Singh [29]
93Mukesh Singhal [32] [35] [47] [48] [51] [52] [55] [56] [58] [70] [123]
94Makoto Takizawa [88] [92] [173]
95Lénaick Tanguy [106] [163]
96Gadi Taubenfeld [250]
97Oliver E. Theel [64]
98Gérard Thia-Kime [54] [67] [76] [84]
99Alexander I. Tomlinson [27]
100Francisco J. Torres-Rojas [78] [91] [127] [147]
101Sam Toueg [13] [266]
102Corentin Travers [191] [206] [208] [210] [212] [214] [222] [223] [226] [227] [229] [232] [233] [236] [238] [239] [241] [248] [251] [254] [256] [270] [273] [274] [285] [288] [290]
103Gilles Trédan [228] [262] [280] [292]
104Frédéric Tronel (Frederic Tronel) [80] [83] [87] [95] [102] [103] [113] [117] [134] [137]
105Ciprian Tutu [220]
106Paulo Veríssimo [89] [101] [124]
107Aline Carneiro Viana [280] [292]
108Krishnamurthy Vidyasankar (K. Vidyasankar) [198]
109Xianbing Wang [234]
110Weigang Wu [230] [234] [244] [249] [254] [261] [271] [283]
111Jin Yang [230] [244] [271]
112Stephen S. Yau [180]
113Shmuel Zaks [266]
114Zhiyuan Zhan [217]
115James Z. Zhou [28]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)