| 2009 |
|---|
| 292 | EE | Anne-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 |
| 291 | EE | Damien Imbs,
Michel Raynal:
Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort.
ICDCN 2009: 67-78 |
| 290 | EE | Eli Gafni,
Achour Mostéfaoui,
Michel Raynal,
Corentin Travers:
From adaptive renaming to set agreement.
Theor. Comput. Sci. 410(14): 1328-1335 (2009) |
| 2008 |
|---|
| 289 | EE | Michel Raynal:
Synchronization is Coming Back, But is it the Same?
AINA 2008: 1-10 |
| 288 | EE | Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
The Iterated Restricted Immediate Snapshot Model.
COCOON 2008: 487-497 |
| 287 | EE | Yoram Moses,
Michel Raynal:
No Double Discount: Condition-Based Simultaneity Yields Limited Gain.
DISC 2008: 423-437 |
| 286 | EE | Roberto 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 |
| 285 | EE | Achour Mostéfaoui,
Michel Raynal,
Corentin Travers:
Narrowing Power vs. Efficiency in Synchronous Set Agreement.
ICDCN 2008: 99-111 |
| 284 | EE | François Bonnet,
Michel Raynal:
Conditions for Set Agreement with an Application to Synchronous Systems.
ICDCS 2008: 663-672 |
| 283 | EE | Xiaopeng Fan,
Jiannong Cao,
Weigang Wu,
Michel Raynal:
On Modeling Fault Tolerance of Gossip-Based Reliable Multicast Protocols.
ICPP 2008: 149-156 |
| 282 | EE | Damien Imbs,
Michel Raynal:
A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.
OPODIS 2008: 226-245 |
| 281 | EE | Roberto Baldoni,
François Bonnet,
Alessia Milani,
Michel Raynal:
On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots.
OPODIS 2008: 428-445 |
| 280 | EE | Anne-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 |
| 279 | EE | François Bonnet,
Michel Raynal:
Looking for the optimal conditions for solving set agreement.
PODC 2008: 446 |
| 278 | EE | Michel Raynal:
Locks Considered Harmful: A Look at Non-traditional Synchronization.
SEUS 2008: 369-380 |
| 277 | EE | Michel Raynal:
Set Agreement.
Encyclopedia of Algorithms 2008 |
| 276 | EE | Vincent 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) |
| 275 | EE | Vincent Gramoli,
Michel Raynal:
Timed Quorum System for Large-Scale and Dynamic Environments
CoRR abs/0802.0552: (2008) |
| 274 | EE | Achour 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) |
| 273 | EE | Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
An impossibility about failure detectors in the iterated immediate snapshot model.
Inf. Process. Lett. 108(3): 160-164 (2008) |
| 272 | EE | Roberto Baldoni,
François Bonnet,
Alessia Milani,
Michel Raynal:
Anonymous graph exploration without collision by mobile robots.
Inf. Process. Lett. 109(2): 98-103 (2008) |
| 271 | EE | Weigang 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) |
| 270 | EE | Achour 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) |
| 269 | EE | Roy Friedman,
Anne-Marie Kermarrec,
Michel Raynal:
Modularity: a first class concept to address distributed systems.
SIGACT News 39(2): 91-110 (2008) |
| 2007 |
|---|
| 268 | EE | Rachid Guerraoui,
Michel Raynal:
A Universal Construction for Concurrent Objects.
ARES 2007: 959-966 |
| 267 | EE | Michel Raynal:
A Subjective Visit to Selected Topics in Distributed Computing.
DISC 2007: 5-6 |
| 266 | EE | Michel Raynal,
Sam Toueg,
Shmuel Zaks:
DISC at Its 20th Anniversary (Stockholm, 2006).
DISC 2007: 501-503 |
| 265 | EE | Antonio Fernández,
Ernesto Jiménez,
Michel Raynal:
Electing an Eventual Leader in an Asynchronous Shared Memory System.
DSN 2007: 399-408 |
| 264 | EE | Paul D. Ezhilchelvan,
Michel Raynal,
Ajoy Kumar Datta:
Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007).
DSN 2007: 803 |
| 263 | EE | Antonio Fernández,
Vincent Gramoli,
Ernesto Jiménez,
Anne-Marie Kermarrec,
Michel Raynal:
Distributed Slicing in Dynamic Systems.
ICDCS 2007: 66 |
| 262 | EE | Antonio 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 |
| 261 | EE | Weigang Wu,
Jiannong Cao,
Michel Raynal:
A Dual-Token-Based Fault Tolerant Mutual Exclusion Algorithm for MANETs.
MSN 2007: 572-583 |
| 260 | EE | Michel Raynal:
Eventual Leader Service in Unreliable Asynchronous Systems: Why? How?
NCA 2007: 11-24 |
| 259 | EE | Antonio Fernández Anta,
Michel Raynal:
From an Intermittent Rotating Star to a Leader.
OPODIS 2007: 189-203 |
| 258 | EE | François Bonnet,
Anne-Marie Kermarrec,
Michel Raynal:
Small-World Networks: From Theoretical Bounds to Practical Systems.
OPODIS 2007: 372-385 |
| 257 | EE | Vincent Gramoli,
Michel Raynal:
Timed Quorum Systems for Large-Scale and Dynamic Environments.
OPODIS 2007: 429-442 |
| 256 | EE | Alejandro Cornejo,
Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
Failure detectors are schedulers.
PODC 2007: 308-309 |
| 255 | EE | Antonio Fernández,
Michel Raynal:
From an intermittent rotating star to a leader.
PODC 2007: 320-321 |
| 254 | EE | Jiannong Cao,
Michel Raynal,
Corentin Travers,
Weigang Wu:
The Eventual Leadership in Dynamic Mobile Networking Environments.
PRDC 2007: 123-130 |
| 253 | EE | Roberto Baldoni,
Marin Bertier,
Michel Raynal,
Sara Tucci Piergiovanni:
Looking for a Definition of Dynamic Distributed Systems.
PaCT 2007: 1-14 |
| 252 | EE | Rachid Guerraoui,
Michel Raynal:
From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus.
PaCT 2007: 47-61 |
| 251 | EE | Achour Mostéfaoui,
Michel Raynal,
Corentin Travers:
From Renaming to Set Agreement.
SIROCCO 2007: 66-80 |
| 250 | EE | Michel Raynal,
Gadi Taubenfeld:
The notion of a timed register and its application to indulgent synchronization.
SPAA 2007: 200-209 |
| 249 | EE | Weigang Wu,
Jiannong Cao,
Michel Raynal:
The Eventual Clusterer Oracle and Its Application to Consensus in MANETs.
SRDS 2007: 23-32 |
| 248 | EE | Eli Gafni,
Michel Raynal,
Corentin Travers:
Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability.
SRDS 2007: 93-102 |
| 247 | EE | Antonio Fernández,
Vincent Gramoli,
Ernesto Jiménez,
Anne-Marie Kermarrec,
Michel Raynal:
Distributed Slicing in Dynamic Systems
CoRR abs/0712.3980: (2007) |
| 246 | EE | Rachid Guerraoui,
Michel Raynal:
The Alpha of Indulgent Consensus.
Comput. J. 50(1): 53-67 (2007) |
| 245 | EE | Roy 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) |
| 244 | EE | Weigang 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) |
| 243 | EE | Sé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) |
| 242 | EE | Roy 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) |
| 241 | EE | Achour 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) |
| 240 | EE | Andrzej Pelc,
David Peleg,
Michel Raynal:
Preface.
Theor. Comput. Sci. 384(2-3): 137-138 (2007) |
| 2006 |
|---|
| 239 | EE | Achour Mostéfaoui,
Michel Raynal,
Corentin Travers,
Sergio Rajsbaum:
From Failure Detectors with Limited Scope Accuracy to System-wide Leadership.
AINA (1) 2006: 81-86 |
| 238 | EE | Achour 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 |
| 237 | EE | Antonio Fernández,
Ernesto Jiménez,
Michel Raynal:
Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony.
DSN 2006: 166-178 |
| 236 | EE | Yehuda Afek,
Eli Gafni,
Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus.
ICDCN 2006: 331-341 |
| 235 | EE | Michel Raynal:
From static distributed systems to dynamic systems: an approach for a first step.
ICDCS Workshops 2006 |
| 234 | EE | Jiannong Cao,
Michel Raynal,
Xianbing Wang,
Weigang Wu:
The Power and Limit of Adding Synchronization Messages for Synchronous Agreement.
ICPP 2006: 399-406 |
| 233 | EE | Eli Gafni,
Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
The Committee Decision Problem.
LATIN 2006: 502-514 |
| 232 | EE | Michel Raynal,
Corentin Travers:
In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement.
OPODIS 2006: 3-19 |
| 231 | EE | Vincent 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 |
| 230 | EE | Weigang Wu,
Jiannong Cao,
Jin Yang,
Michel Raynal:
A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks.
PDP 2006: 64-72 |
| 229 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
Irreducibility and additivity of set agreement-oriented failure detector classes.
PODC 2006: 153-162 |
| 228 | EE | Achour 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 |
| 227 | EE | Michel Raynal,
Corentin Travers:
Synchronous Set Agreement: a Concise Guided Tour (including a new algorithm and a list of open problems).
PRDC 2006: 267-274 |
| 226 | EE | Philippe 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 |
| 225 | EE | Antonio Fernández,
Vincent Gramoli,
Ernesto Jiménez,
Anne-Marie Kermarrec,
Michel Raynal:
Distributed Slicing in Dynamic Systems
CoRR abs/cs/0612035: (2006) |
| 224 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Synchronous condition-based consensus.
Distributed Computing 18(5): 325-343 (2006) |
| 223 | EE | Achour 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) |
| 222 | EE | Achour 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 |
| 220 | EE | Michel Raynal,
Matthieu Roy,
Ciprian Tutu:
A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations.
AINA 2005: 961-966 |
| 219 | EE | Sérgio Gorender,
Raimundo A. Macêdo,
Michel Raynal:
A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing.
DSN 2005: 412-421 |
| 218 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Building and Using Quorums Despite any Number of Process of Crashes.
EDCC 2005: 2-19 |
| 217 | EE | Zhiyuan Zhan,
Mustaque Ahamad,
Michel Raynal:
Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users.
ICDCS 2005: 209-218 |
| 216 | EE | Paul D. Ezhilchelvan,
Jean-Michel Hélary,
Michel Raynal:
Building Responsive TMR-Based Servers in Presence of Timing Constraints.
ISORC 2005: 267-274 |
| 215 | EE | Rachid Guerraoui,
Michel Raynal:
Fault-Tolerant Techniques for Concurrent Objects.
LADC 2005: 265 |
| 214 | EE | Roy Friedman,
Michel Raynal,
Corentin Travers:
Two Abstractions for Implementing Atomic Objects in Dynamic Systems.
OPODIS 2005: 73-87 |
| 213 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
The combined power of conditions and failure detectors to solve asynchronous set agreement.
PODC 2005: 179-188 |
| 212 | EE | Roy Friedman,
Michel Raynal,
Corentin Travers:
Brief announcement: abstractions for implementing atomic objects in dynamic systems.
PODC 2005: 354 |
| 211 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.
PRDC 2005: 15-22 |
| 210 | EE | Philippe 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 |
| 209 | EE | Michel Raynal,
Matthieu Roy:
A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models.
PRDC 2005: 387-392 |
| 208 | EE | Philippe 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 |
| 207 | EE | Michel Raynal,
Matthieu Roy:
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.
PaCT 2005: 59-73 |
| 206 | EE | Achour Mostéfaoui,
Michel Raynal,
Corentin Travers,
Stacy Patterson,
Divyakant Agrawal,
Amr El Abbadi:
From Static Distributed Systems to Dynamic Systems.
SRDS 2005: 109-118 |
| 205 | EE | Michel Raynal:
Wait-free computing: an introductory lecture.
Future Generation Comp. Syst. 21(4): 655-663 (2005) |
| 204 | EE | Roy 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) |
| 203 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Asynchronous bounded lifetime failure detectors.
Inf. Process. Lett. 94(2): 85-91 (2005) |
| 202 | EE | Ajoy Kumar Datta,
Maria Gradinariu,
Michel Raynal:
Stabilizing mobile philosophers.
Inf. Process. Lett. 95(1): 299-306 (2005) |
| 201 | EE | Roy 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 |
|---|
| 200 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
The Synchronous Condition-Based Consensus Hierarchy.
DISC 2004: 1-15 |
| 199 | EE | Roy 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 |
| 198 | EE | Michel Raynal,
K. Vidyasankar:
A Distributed Implementation of Sequential Consistency with Multi-Object Operations.
ICDCS 2004: 544-551 |
| 197 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
The Notion of Veto Number for Distributed Agreement Problems.
IWDC 2004: 315-325 |
| 196 | EE | Vicent Cholvi,
Antonio Fernández,
Ernesto Jiménez,
Michel Raynal:
A Methodological Construction of an Efficient Sequential Consistency Protocol.
NCA 2004: 141-148 |
| 195 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Brief announcement: veto number and the respective power of eventual failure detectors.
PODC 2004: 398 |
| 194 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Brief announcement: the synchronous condition-based consensus hierarchy.
PODC 2004: 399 |
| 193 | EE | Achour Mostéfaoui,
David Powell,
Michel Raynal:
A Hybrid Approach for Building Eventually Accurate Failure Detectors.
PRDC 2004: 57-65 |
| 192 | EE | Philippe Raipin Parvédy,
Michel Raynal:
Optimal early stopping uniform consensus in synchronous systems with process omission failures.
SPAA 2004: 302-310 |
| 191 | EE | Achour Mostéfaoui,
Michel Raynal,
Corentin Travers:
Crash-Resilient Time-Free Eventual Leadership.
SRDS 2004: 208-217 |
| 190 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems.
SRDS 2004: 228-237 |
| 189 | EE | Achour 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) |
| 188 | EE | Rachid Guerraoui,
Michel Raynal:
The Information Structure of Indulgent Consensus.
IEEE Trans. Computers 53(4): 453-466 (2004) |
| 187 | EE | Roy 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) |
| 186 | EE | Emmanuelle 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 |
|---|
| 185 | EE | Michel Raynal:
Token-Based Sequential Consistency in Asynchronous Distributed Systems.
AINA 2003: 421-426 |
| 184 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Using Conditions to Expedite Consensus in Synchronous Distributed Systems.
DISC 2003: 249-263 |
| 183 | EE | Achour Mostéfaoui,
Eric Mourgaya,
Michel Raynal:
Asynchronous Implementation of Failure Detectors.
DSN 2003: 351-360 |
| 182 | EE | Achour Mostéfaoui,
Eric Mourgaya,
Philippe Raipin Parvédy,
Michel Raynal:
Evaluating the Condition-Based Approach to Solve Consensus.
DSN 2003: 541-550 |
| 181 | EE | Maria Gradinariu,
Michel Raynal,
Gwendal Simon:
Looking for a Common View for Mobile Worlds.
FTDCS 2003: 159- |
| 180 | EE | Stephen S. Yau,
Carl K. Chang,
Randy Chow,
Luca Limoncini,
Michel Raynal:
Challenges of Future Distributed Computing Systems.
FTDCS 2003: 376 |
| 179 | EE | Roy 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 |
| 178 | EE | Mustaque Ahamad,
Michel Raynal:
Ordering vs Timeliness: Two Facets of Consistency?
Future Directions in Distributed Computing 2003: 73-80 |
| 177 | EE | Christof Fetzer,
Michel Raynal:
Elastic Vector Time.
ICDCS 2003: 284- |
| 176 | EE | Rachid Guerraoui,
Michel Raynal:
A Generic Framework for Indulgent Consensus.
ICDCS 2003: 88-95 |
| 175 | EE | Philippe Raipin Parvédy,
Michel Raynal:
Uniform Agreement Despite Process Omission Failures.
IPDPS 2003: 212 |
| 174 | EE | Ajoy Kumar Datta,
Maria Gradinariu,
Michel Raynal,
Gwendal Simon:
Anonymous Publish/Subscribe in P2P Networks.
IPDPS 2003: 74 |
| 173 | EE | Kenichi Hori,
Tomoya Enokido,
Makoto Takizawa,
Michel Raynal:
Nested Invocation Protocol for Object-Based Systems.
ISORC 2003: 238-248 |
| 172 | EE | Fabrice Le Fessant,
Philippe Raipin Parvédy,
Michel Raynal:
Brief announcement: early decision despite general process omission failures.
PODC 2003: 222 |
| 171 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal,
Matthieu Roy:
A Hierarchy of Conditions for Asynchronous Interactive Consistency.
PaCT 2003: 130-140 |
| 170 | EE | Michel Raynal:
The Renaming Problem as an Introduction to Structures for Wait-Free Computing.
PaCT 2003: 151-164 |
| 169 | EE | Paul D. Ezhilchelvan,
Doug Palmer,
Michel Raynal:
An Optimal Atomic Broadcast Protocol and an Implementation Framework.
WORDS 2003: 32- |
| 168 | EE | Philippe Raipin Parvédy,
Michel Raynal:
Reliable Compare & Swap for Fault-Tolerant Synchronization.
WORDS 2003: 50-55 |
| 167 | EE | Luí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) |
| 166 | EE | Jean-Michel Hélary,
Michel Raynal,
Giovanna Melideo,
Roberto Baldoni:
Efficient Causality-Tracking Timestamping.
IEEE Trans. Knowl. Data Eng. 15(5): 1239-1250 (2003) |
| 165 | EE | Carole 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) |
| 164 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Conditions on input vectors for consensus solvability in asynchronous distributed systems.
J. ACM 50(6): 922-954 (2003) |
| 163 | EE | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal,
Lénaick Tanguy:
Consensus in Byzantine asynchronous systems.
J. Discrete Algorithms 1(2): 185-210 (2003) |
| 2002 |
|---|
| 162 | EE | Divyakant 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 |
| 161 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal,
Matthieu Roy:
Condition-Based Protocols for Set Agreement Problems.
DISC 2002: 48-62 |
| 160 | EE | Roy Friedman,
Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Distributed Agreement and Its Relation with Error-Correcting Codes.
DISC 2002: 63-87 |
| 159 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
A Versatile and Modular Consensus Protoco.
DSN 2002: 364-373 |
| 158 | EE | Michel Raynal:
Sequential Consistency as Lazy Linearizability.
EurAsia-ICT 2002: 866-873 |
| 157 | EE | Paul D. Ezhilchelvan,
Jean-Michel Hélary,
Michel Raynal:
Building responseive TMR-based servers in presence of timing constraints.
PODC 2002: 127 |
| 156 | EE | Achour Mostéfaoui,
Michel Raynal,
Matthieu Roy,
Divyakant Agrawal,
Amr El Abbadi:
Towards a formal model for view maintenance in data warehouses.
PODC 2002: 129 |
| 155 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Asynchronous interactive consistency and its relation with error-correcting codes.
PODC 2002: 253 |
| 154 | EE | Carole Delporte-Gallet,
Hugues Fauconnier,
Jean-Michel Hélary,
Michel Raynal:
Early stopping in aglobal data computation.
PODC 2002: 258 |
| 153 | EE | Michel Raynal:
An Introduction to the Renaming Problem.
PRDC 2002: 121-124 |
| 152 | EE | Michel Raynal:
Consensus in Synchronous Systems: A Concise Guided Tour.
PRDC 2002: 221-228 |
| 151 | EE | Michel Raynal:
Sequential consistency as lazy linearizability.
SPAA 2002: 151-152 |
| 150 | EE | Emmanuelle Anceaume,
Jean-Michel Hélary,
Michel Raynal:
Tracking immediate predecessors in distributed computations.
SPAA 2002: 210-219 |
| 149 | EE | Michel Raynal:
Wait-Free Objects for Real-Time Systems? (position paper).
Symposium on Object-Oriented Real-Time Distributed Computing 2002: 413-420 |
| 148 | EE | Christof 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) |
| 145 | EE | Achour Mostéfaoui,
Eric Mourgaya,
Michel Raynal:
An introduction to oracles for asynchronous distributed systems.
Future Generation Comp. Syst. 18(6): 757-767 (2002) |
| 144 | EE | Roberto Baldoni,
Michel Raynal:
Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems.
IEEE Distributed Systems Online 3(2): (2002) |
| 143 | EE | Michel 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) |
| 142 | EE | Emmanuelle 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) |
| 141 | EE | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Interval Consistency of Asynchronous Distributed Computations.
J. Comput. Syst. Sci. 64(2): 329-349 (2002) |
| 2001 |
|---|
| 140 | EE | Paul D. Ezhilchelvan,
Jean-Michel Hélary,
Michel Raynal:
Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes.
Euro-Par 2001: 482-485 |
| 139 | EE | Vijaykumar 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 |
| 137 | EE | Fabí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 |
| 136 | EE | Paul D. Ezhilchelvan,
Achour Mostéfaoui,
Michel Raynal:
Randomized Multivalued Consensus.
ISORC 2001: 195-200 |
| 135 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal,
Matthieu Roy:
A hierarchy of conditions for consensus solvability.
PODC 2001: 151-160 |
| 134 | EE | Christof Fetzer,
Michel Raynal,
Frederic Tronel:
An Adaptive Failure Detection Protocol.
PRDC 2001: 146-153 |
| 133 | EE | Francisco Vilar Brasileiro,
Fabíola Greve,
Achour Mostéfaoui,
Michel Raynal:
Consensus in One Communication Step.
PaCT 2001: 42-50 |
| 132 | EE | Michel 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 |
| 130 | EE | Achour Mostéfaoui,
Michel Raynal:
Randomized k-set agreement.
SPAA 2001: 291-297 |
| 129 | EE | Michel 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 |
| 128 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Conditions on input vectors for consensus solvability in asynchronous distributed systems.
STOC 2001: 153-162 |
| 127 | EE | Francisco J. Torres-Rojas,
Mustaque Ahamad,
Michel Raynal:
Real-Time Based Strong Consistency for Distributed Objects.
WORDS 2001: 161-168 |
| 126 | EE | Roberto 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) |
| 124 | EE | Achour Mostéfaoui,
Michel Raynal,
Paulo Veríssimo:
The logically instantaneous communication mode: a communication abstraction.
Future Generation Comp. Syst. 17(6): 669-678 (2001) |
| 123 | EE | Michel Raynal,
Mukesh Singhal:
Mastering Agreement Problems in Distributed Systems.
IEEE Software 18(4): 40-47 (2001) |
| 122 | EE | Udo 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) |
| 121 | EE | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol.
Inf. Comput. 165(2): 144-173 (2001) |
| 120 | EE | Roberto 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 |
|---|
| 118 | EE | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach.
DSN 2000: 273-282 |
| 117 | EE | Achour Mostéfaoui,
Michel Raynal,
Frederic Tronel:
The Best of Both Worlds: A Hybrid Approach to Solve Consensus.
DSN 2000: 513-522 |
| 116 | EE | Michel Raynal:
Logical Instantaneity and Causal Order: Two ``First Class'' Communication Modes for Parallel Computing.
Euro-Par 2000: 35-42 |
| 115 | EE | Luís Rodrigues,
Michel Raynal:
Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note).
Euro-Par 2000: 605-608 |
| 114 | EE | Luís Rodrigues,
Michel Raynal:
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems.
ICDCS 2000: 288-295 |
| 113 | EE | Jean-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 |
| 112 | EE | Achour Mostéfaoui,
Michel Raynal:
Consensus Based on Failure Detectors with a Perpetual Accuracy Property.
IPDPS 2000: 514-519 |
| 111 | EE | Fabí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 |
| 110 | EE | Luís Rodrigues,
Roberto Baldoni,
Emmanuelle Anceaume,
Michel Raynal:
Deadline-Constrained Causal Order.
ISORC 2000: 234- |
| 109 | EE | Achour Mostéfaoui,
Michel Raynal:
k-set agreement with limited accuracy failure detectors.
PODC 2000: 143-152 |
| 108 | EE | Fabíola Greve,
Michel Hurfin,
Raimundo A. Macêdo,
Michel Raynal:
Time and message-efficient S-based consensus (brief announcement).
PODC 2000: 332 |
| 107 | EE | Achour 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 |
| 104 | EE | Jean-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) |
| 103 | EE | Jean-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) |
| 102 | EE | Achour 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 |
|---|
| 101 | EE | Paulo Veríssimo,
Michel Raynal:
Time in Distributed System Models and Algorithms.
Advances in Distributed Systems 1999: 1-32 |
| 100 | EE | Rachid 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 |
| 99 | EE | Achour Mostéfaoui,
Michel Raynal:
Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach.
DISC 1999: 49-63 |
| 98 | EE | Roberto Baldoni,
Francesco Quaglia,
Michel Raynal:
Distributed Database Checkpointing.
Euro-Par 1999: 450-458 |
| 97 | EE | Michel Raynal:
Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example.
Euro-Par 1999: 806-814 |
| 96 | EE | Achour Mostéfaoui,
Michel Raynal:
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus.
FSTTCS 1999: 329-340 |
| 95 | EE | Eddy 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 |
| 91 | EE | Francisco J. Torres-Rojas,
Mustaque Ahamad,
Michel Raynal:
Timed Consistency for Shared Distributed Objects.
PODC 1999: 163-172 |
| 90 | EE | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
Rollback-Dependency Trackability: Visible Characterizations.
PODC 1999: 33-42 |
| 89 | EE | Achour Mostéfaoui,
Michel Raynal,
Paulo Veríssimo:
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines.
PaCT 1999: 258-270 |
| 88 | EE | Achour Mostéfaoui,
Michel Raynal,
Makoto Takizawa:
Consistent Lamport Clocks for Asynchronous Groups with Process Crashes.
PaCT 1999: 98-107 |
| 87 | EE | Michel Hurfin,
Raimundo A. Macêdo,
Michel Raynal,
Frederic Tronel:
A General Framework to Solve Agreement Problems.
SRDS 1999: 56-65 |
| 86 | EE | Roberto Baldoni,
Francesco Quaglia,
Michel Raynal:
Consistent Checkpointing in Distributed Databases: Towards a Formal Approach
CoRR cs.DB/9910019: (1999) |
| 85 | EE | Michel Hurfin,
Michel Raynal:
A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector.
Distributed Computing 12(4): 209-223 (1999) |
| 84 | EE | Mustaque Ahamad,
Michel Raynal,
Gérard Thia-Kime:
An adaptive architecture for causally consistent distributed services.
Distributed Systems Engineering 6(2): 63-70 (1999) |
| 83 | EE | Michel Raynal,
Frederic Tronel:
Group membership failure detection: a simple protocol and its probabilistic analysis.
Distributed Systems Engineering 6(3): 95-102 (1999) |
| 82 | EE | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Communication-Induced Determination of Consistent Snapshots.
IEEE Trans. Parallel Distrib. Syst. 10(9): 865-877 (1999) |
| 81 | EE | Jean-Michel Hélary,
Robert H. B. Netzer,
Michel Raynal:
Consistency Issues in Distributed Checkpoints.
IEEE Trans. Software Eng. 25(2): 274-281 (1999) |
| 80 | EE | Michel 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 |
|---|
| 78 | EE | Francisco 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 |
| 76 | EE | Mustaque Ahamad,
Michel Raynal,
Gérard Thia-Kime:
An Adaptive Protocol for Implementing Causally Consistent Distributed Services.
ICDCS 1998: 86-93 |
| 75 | EE | Michel 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 |
| 72 | EE | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
Consistent Records in Asynchronous Computations.
Acta Inf. 35(6): 441-455 (1998) |
| 71 | EE | Michel Raynal:
Consensus-Based Management of Distributed and Replicated Data.
IEEE Data Eng. Bull. 21(4): 30-37 (1998) |
| 70 | EE | Michel Hurfin,
Masaaki Mizuno,
Michel Raynal,
Mukesh Singhal:
Efficient Distributed Detection of Conjunctions of Local Predicates.
IEEE Trans. Software Eng. 24(8): 664-677 (1998) |
| 69 | EE | Yoshifumi 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 |
|---|
| 68 | EE | Roberto Baldoni,
Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Consistent State Restoration in Shared Memory Systems.
APDC 1997: 330-337 |
| 67 | EE | Michel 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 |
| 65 | EE | Michel Raynal:
A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment.
HASE 1997: 209-214 |
| 64 | EE | Oliver 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 |
| 60 | EE | Roberto 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 |
| 56 | EE | Roberto 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) |
| 46 | EE | Ö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 |
| 40 | EE | Jerzy Brzezinski,
Jean-Michel Hélary,
Michel Raynal:
Deadlocks in Distributed Systems: Request Models and Definitions.
FTDCS 1995: 186-193 |
| 39 | EE | Roberto 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 |
| 38 | EE | Roberto 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 |
| 35 | EE | Ajay D. Kshemkalyani,
Michel Raynal,
Mukesh Singhal:
An introduction to snapshot algorithms in distributed computing.
Distributed Systems Engineering 2(4): 224- (1995) |
| 34 | EE | Eddy 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) |
| 25 | EE | Jean-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 |
| 21 | EE | Michel 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 |
