2009 |
103 | 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 |
102 | 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 |
101 | EE | Achour Mostéfaoui,
Michel Raynal,
Corentin Travers:
Narrowing Power vs. Efficiency in Synchronous Set Agreement.
ICDCN 2008: 99-111 |
100 | EE | Achour Mostéfaoui,
Eiko Yoneki:
RDDS 2008 PC Co-chairs' Message.
OTM Workshops 2008: 893 |
99 | 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 |
98 | 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) |
97 | 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) |
96 | 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) |
2007 |
95 | EE | Luís Rodrigues,
Achour Mostéfaoui,
Christof Fetzer,
Philippas Tsigas:
Topic 8 Distributed Systems and Algorithms.
Euro-Par 2007: 549 |
94 | EE | Moumen Hamouma,
Achour Mostéfaoui,
Gilles Trédan:
Byzantine Consensus with Few Synchronous Links.
OPODIS 2007: 76-89 |
93 | EE | Achour Mostéfaoui,
Gilles Trédan:
Towards the minimal synchrony for byzantine consensus.
PODC 2007: 314-315 |
92 | EE | Achour Mostéfaoui:
Towards a Computing Model for Open Distributed Systems.
PaCT 2007: 74-79 |
91 | EE | Achour Mostéfaoui,
Michel Raynal,
Corentin Travers:
From Renaming to Set Agreement.
SIROCCO 2007: 66-80 |
90 | 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) |
89 | 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) |
88 | 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) |
2006 |
87 | 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 |
86 | 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 |
85 | 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 |
84 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
Irreducibility and additivity of set agreement-oriented failure detector classes.
PODC 2006: 153-162 |
83 | 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 |
82 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Synchronous condition-based consensus.
Distributed Computing 18(5): 325-343 (2006) |
81 | 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) |
80 | 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 |
79 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Building and Using Quorums Despite any Number of Process of Crashes.
EDCC 2005: 2-19 |
78 | 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 |
77 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.
PRDC 2005: 15-22 |
76 | 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 |
75 | 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) |
74 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Asynchronous bounded lifetime failure detectors.
Inf. Process. Lett. 94(2): 85-91 (2005) |
73 | 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 |
72 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
The Synchronous Condition-Based Consensus Hierarchy.
DISC 2004: 1-15 |
71 | 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 |
70 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
The Notion of Veto Number for Distributed Agreement Problems.
IWDC 2004: 315-325 |
69 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Brief announcement: veto number and the respective power of eventual failure detectors.
PODC 2004: 398 |
68 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Brief announcement: the synchronous condition-based consensus hierarchy.
PODC 2004: 399 |
67 | EE | Achour Mostéfaoui,
David Powell,
Michel Raynal:
A Hybrid Approach for Building Eventually Accurate Failure Detectors.
PRDC 2004: 57-65 |
66 | EE | Achour Mostéfaoui,
Michel Raynal,
Corentin Travers:
Crash-Resilient Time-Free Eventual Leadership.
SRDS 2004: 208-217 |
65 | EE | Roy Friedman,
Achour Mostéfaoui,
Michel Raynal:
Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems.
SRDS 2004: 228-237 |
64 | 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) |
63 | 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) |
62 | 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 |
61 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Using Conditions to Expedite Consensus in Synchronous Distributed Systems.
DISC 2003: 249-263 |
60 | EE | Achour Mostéfaoui,
Eric Mourgaya,
Michel Raynal:
Asynchronous Implementation of Failure Detectors.
DSN 2003: 351-360 |
59 | EE | Achour Mostéfaoui,
Eric Mourgaya,
Philippe Raipin Parvédy,
Michel Raynal:
Evaluating the Condition-Based Approach to Solve Consensus.
DSN 2003: 541-550 |
58 | 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 |
57 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal,
Matthieu Roy:
A Hierarchy of Conditions for Asynchronous Interactive Consistency.
PaCT 2003: 130-140 |
56 | | Matthieu Roy,
Achour Mostéfaoui:
Single-Write Safe Consensus using Constrained Inputs.
SIROCCO 2003: 291-306 |
55 | 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) |
2002 |
54 | 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 |
53 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal,
Matthieu Roy:
Condition-Based Protocols for Set Agreement Problems.
DISC 2002: 48-62 |
52 | EE | Roy Friedman,
Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Distributed Agreement and Its Relation with Error-Correcting Codes.
DISC 2002: 63-87 |
51 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
A Versatile and Modular Consensus Protoco.
DSN 2002: 364-373 |
50 | 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 |
49 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Asynchronous interactive consistency and its relation with error-correcting codes.
PODC 2002: 253 |
48 | 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) |
47 | 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) |
46 | 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 |
45 | | Achour Mostéfaoui,
Michel Raynal:
A Condition for k-Set Agreement in Asynchronous Distributed Systems.
IPDPS 2001: 78 |
44 | EE | Paul D. Ezhilchelvan,
Achour Mostéfaoui,
Michel Raynal:
Randomized Multivalued Consensus.
ISORC 2001: 195-200 |
43 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal,
Matthieu Roy:
A hierarchy of conditions for consensus solvability.
PODC 2001: 151-160 |
42 | EE | Francisco Vilar Brasileiro,
Fabíola Greve,
Achour Mostéfaoui,
Michel Raynal:
Consensus in One Communication Step.
PaCT 2001: 42-50 |
41 | | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal,
Matthieu Roy:
Efficient Condition-Based Consensus.
SIROCCO 2001: 275-292 |
40 | EE | Achour Mostéfaoui,
Michel Raynal:
Randomized k-set agreement.
SPAA 2001: 291-297 |
39 | 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 |
38 | EE | Achour Mostéfaoui,
Sergio Rajsbaum,
Michel Raynal:
Conditions on input vectors for consensus solvability in asynchronous distributed systems.
STOC 2001: 153-162 |
37 | 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) |
36 | 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) |
35 | 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) |
34 | | Achour Mostéfaoui,
Michel Raynal:
Leader-Based Consensus.
Parallel Processing Letters 11(1): 95-107 (2001) |
2000 |
33 | EE | Achour Mostéfaoui,
Michel Raynal,
Frederic Tronel:
The Best of Both Worlds: A Hybrid Approach to Solve Consensus.
DSN 2000: 513-522 |
32 | 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 |
31 | EE | Achour Mostéfaoui,
Michel Raynal:
Consensus Based on Failure Detectors with a Perpetual Accuracy Property.
IPDPS 2000: 514-519 |
30 | EE | Achour Mostéfaoui,
Michel Raynal:
k-set agreement with limited accuracy failure detectors.
PODC 2000: 143-152 |
29 | EE | Achour Mostéfaoui,
Michel Raynal:
Low cost consensus-based Atomic Broadcast.
PRDC 2000: 45-52 |
28 | 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) |
27 | 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) |
26 | 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 |
25 | 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 |
24 | EE | Achour Mostéfaoui,
Michel Raynal:
Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach.
DISC 1999: 49-63 |
23 | EE | Achour Mostéfaoui,
Michel Raynal:
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus.
FSTTCS 1999: 329-340 |
22 | | Achour Mostéfaoui,
Michel Raynal,
Makoto Takizawa:
Logical Clocks for Unreliable Process Groups.
PDPTA 1999: 2272-2278 |
21 | EE | Achour Mostéfaoui,
Michel Raynal,
Paulo Veríssimo:
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines.
PaCT 1999: 258-270 |
20 | EE | Achour Mostéfaoui,
Michel Raynal,
Makoto Takizawa:
Consistent Lamport Clocks for Asynchronous Groups with Process Crashes.
PaCT 1999: 98-107 |
19 | 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) |
1998 |
18 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Communication-Induced Determination of Consistent Snapshots.
FTCS 1998: 208-217 |
17 | EE | Achour Mostéfaoui,
Oliver E. Theel:
Shrinking Timestamp Sizes of Event Ordering Protocols.
ICPADS 1998: 193-202 |
16 | | Udo Fritzke Jr.,
Philippe Ingels,
Achour Mostéfaoui,
Michel Raynal:
Fault-Tolerant Total Order Multicast to Asynchronous Groups.
SRDS 1998: 228-234 |
15 | | Michel Hurfin,
Achour Mostéfaoui,
Michel Raynal:
Consensus in Asynchronous Systems Where Processes Can Crash and Recover.
SRDS 1998: 280-286 |
1997 |
14 | EE | Roberto Baldoni,
Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Consistent State Restoration in Shared Memory Systems.
APDC 1997: 330-337 |
13 | | 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 |
12 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Cycle Prevention in Distributed Checkpointing.
OPODIS 1997: 309-318 |
11 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Robert H. B. Netzer,
Michel Raynal:
Preventing Useless Checkpoints in Distributed Computations.
SRDS 1997: 183-190 |
10 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Virtual Precedence in Asynchronous Systems: Cencept and Applications.
WDAG 1997: 170-184 |
9 | 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) |
1996 |
8 | | Achour Mostéfaoui,
Michel Raynal:
Efficient Message Logging for Uncoordinated Checkpointing Protocols.
EDCC 1996: 353-364 |
7 | | 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 |
6 | 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 |
5 | EE | Roberto Baldoni,
Achour Mostéfaoui,
Michel Raynal:
Efficient Causally Ordered Communications for Multimedia Real-Time Applications.
HPDC 1995: 140-147 |
4 | | Aomar Maddi,
Achour Mostéfaoui:
Token Based Distributed Algorithms to the M Resources Allocation Problem.
Parallel and Distributed Computing and Systems 1995: 193-196 |
1994 |
3 | | 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 |
2 | | Jean-Michel Hélary,
Achour Mostéfaoui:
A O(log2 n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure.
ICDCS 1994: 89-96 |
1 | 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) |