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) |