| 2008 |
|---|
| 273 | EE | Michel Raynal:
Synchronization is Coming Back, But is it the Same?
AINA 2008: 1-10 |
| 272 | EE | Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
The Iterated Restricted Immediate Snapshot Model.
COCOON 2008: 487-497 |
| 271 | EE | Achour Mostéfaoui,
Michel Raynal,
Corentin Travers:
Narrowing Power vs. Efficiency in Synchronous Set Agreement.
ICDCN 2008: 99-111 |
| 270 | 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) |
| 269 | EE | Vincent Gramoli,
Michel Raynal:
Timed Quorum System for Large-Scale and Dynamic Environments
CoRR abs/0802.0552: (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,
Riucarlos 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.
Symposium on Reliable Distributed Systems 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.
Symposium on Reliable Distributed Systems 1998: 228-234 |
| 73 | | Michel Hurfin,
Achour Mostéfaoui,
Michel Raynal:
Consensus in Asynchronous Systems Where Processes Can Crash and Recover.
Symposium on Reliable Distributed Systems 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.
Symposium on Reliable Distributed Systems 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,
|
