Achour Mostéfaoui

183 papers A* 19A 25B 35C 8Misc 10Journal 63Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	Misc	`conf`	Byzantine-Tolerant Privacy-Preserving Atomic Register. ICDCN Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin, Sinchan Sengupta
2025	C	`conf`	Invited Paper: On the Equivalence of Snapshot/Append Objects and Broadcast Abstractions under Byzantine Failures. SSS Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin, Jolan Riallo
2024	Misc	`conf`	An Optimal Byzantine SCD-Broadcast Protocol. EDCC Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin
2024	A*	`conf`	Brief Announcement: No Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems. PODC Sylvain Gay, Achour Mostéfaoui, Matthieu Perrin
2024	A*	`conf`	Brief Announcement: Randomized Consensus: Common Coins Are not the Holy Grail! PODC Achour Mostéfaoui, Matthieu Perrin, Julien Weibel
2024	—	`conf`	Byzantine-Tolerant Privacy-Preserving Atomic Register. Euro-Par Workshops (2) Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin, Sinchan Sengupta
2024	—	`conf`	Invited Paper: Causal Mutual Byzantine Broadcast. ApPLIED@PODC Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin
2024	B	`conf`	No Symmetric Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems. OPODIS Sylvain Gay, Achour Mostéfaoui, Matthieu Perrin
2023	B	`conf`	Atomic Register Abstractions for Byzantine-Prone Distributed Systems. OPODIS Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin
2023	A*	`conf`	Brief Announcement: The MBroadcast Abstraction. PODC Mathilde Déprés, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2023	J	`jnl`	Differentiated Consistency for Worldwide Gossips. IEEE Trans. Parallel Distributed Syst. Davide Frey, Achour Mostéfaoui, Matthieu Perrin, Pierre-Louis Roman, François Taïani
2023	A	`conf`	Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems. DISC Mathilde Déprés, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2022	J	`jnl`	Extending the wait-free hierarchy to multi-threaded systems. Distributed Comput. Matthieu Perrin, Achour Mostéfaoui, Grégoire Bonin, Ludmila Courtillat-Piazza
2021	J	`jnl`	A scalable sequence encoding for collaborative editing. Concurr. Comput. Pract. Exp. Brice Nédelec, Pascal Molli, Achour Mostéfaoui
2021	J	`jnl`	Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects. Theor. Comput. Sci. Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2021	A	`conf`	Wait-Free CAS-Based Algorithms: The Burden of the Past. DISC Denis Bédin, François Lépine, Achour Mostéfaoui, Damien Perez, Matthieu Perrin
2020	A*	`conf`	Extending the Wait-free Hierarchy to Multi-Threaded Systems. PODC Matthieu Perrin, Achour Mostéfaoui, Grégoire Bonin
2019	C	`conf`	A New Insight into Local Coin-Based Randomized Consensus. PRDC Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2019	A	`conf`	Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model. DISC Grégoire Bonin, Achour Mostéfaoui, Matthieu Perrin
2019	J	`jnl`	Crash-tolerant causal broadcast in Inf. Process. Lett. Achour Mostéfaoui, Matthieu Perrin, Michel Raynal, Jiannong Cao
2019	B	`conf`	Does the Operational Model Capture Partition Tolerance in Distributed Systems? PaCT Grégoire Bonin, Achour Mostéfaoui, Matthieu Perrin
2019	J	`jnl`	Time-efficient read/write register in crash-prone asynchronous message-passing systems. Computing Achour Mostéfaoui, Michel Raynal, Matthieu Roy
2019	J	`jnl`	Wait-Free Universality of Consensus in the Infinite Arrival Model. CoRR Grégoire Bonin, Achour Mostéfaoui, Matthieu Perrin
2018	J	`jnl`	A Simple Object that Spans the Whole Consensus Hierarchy. CoRR Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018	J	`jnl`	A Simple Object that Spans the Whole Consensus Hierarchy. Parallel Process. Lett. Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018	J	`jnl`	An adaptive peer-sampling protocol for building networks of browsers. World Wide Web Brice Nédelec, Julian Tanke, Davide Frey, Pascal Molli, Achour Mostéfaoui
2018	B	`conf`	Breaking the Scalability Barrier of Causal Broadcast for Large and Dynamic Systems. SRDS Brice Nédelec, Pascal Molli, Achour Mostéfaoui
2018	J	`jnl`	Breaking the Scalability Barrier of Causal Broadcast for Large and Dynamic Systems. CoRR Brice Nédelec, Pascal Molli, Achour Mostéfaoui
2018	B	`conf`	Causal Broadcast: How to Forget?. OPODIS Brice Nédelec, Pascal Molli, Achour Mostéfaoui
2018	J	`jnl`	Extending Causal Consistency to any Object Defined by a Sequential Specification. CoRR Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018	J	`jnl`	Extending Causal Consistency to any Object Defined by a Sequential Specification. Bull. EATCS Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018	J	`jnl`	Randomized k-set agreement in crash-prone and Byzantine asynchronous systems. Theor. Comput. Sci. Achour Mostéfaoui, Hamouma Moumen, Michel Raynal
2018	Misc	`conf`	Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. ICDCN Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2017	J	`jnl`	Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version). CoRR Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2017	J	`jnl`	Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems. Theory Comput. Syst. Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard
2017	B	`conf`	Probabilistic Causal Message Ordering. PaCT Achour Mostéfaoui, Stéphane Weiss
2017	J	`jnl`	Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. CoRR Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2017	J	`jnl`	Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with t< n/3, O(n Acta Informatica Achour Mostéfaoui, Michel Raynal
2017	J	`jnl`	Which Broadcast Abstraction Captures $k$-Set Agreement? CoRR Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2017	A	`conf`	Which Broadcast Abstraction Captures k-Set Agreement?. DISC Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2016	J	`jnl`	Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems. CoRR Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard
2016	—	`conf`	CRATE: Writing Stories Together with our Browsers. WWW (Companion Volume) Brice Nédelec, Pascal Molli, Achour Mostéfaoui
2016	J	`jnl`	Causal Consistency: Beyond Memory. CoRR Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2016	B	`conf`	Causal consistency: beyond memory. PPoPP Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2016	J	`jnl`	Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence of Byzantine Processes. IEEE Trans. Parallel Distributed Syst. Achour Mostéfaoui, Michel Raynal
2016	Misc	`conf`	Modular randomized byzantine k-set agreement in asynchronous message-passing systems. ICDCN Achour Mostéfaoui, Hamouma Moumen, Michel Raynal
2016	J	`jnl`	On Composition and Implementation of Sequential Consistency (Extended Version). CoRR Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard
2016	A	`conf`	On Composition and Implementation of Sequential Consistency. DISC Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard
2016	J	`jnl`	On Composition and Implementation of Sequential Consistency. CoRR Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard
2016	B	`conf`	Speed for the Elite, Consistency for the Masses: Differentiating Eventual Consistency in Large-Scale Distributed Systems. SRDS Davide Frey, Achour Mostéfaoui, Matthieu Perrin, Pierre-Louis Roman, François Taïani
2016	—	`conf`	Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems. NETYS Achour Mostéfaoui, Michel Raynal
2016	J	`jnl`	Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems. CoRR Achour Mostéfaoui, Michel Raynal
2016	A*	`conf`	Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. PODC Achour Mostéfaoui, Michel Raynal
2016	J	`jnl`	Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. CoRR Achour Mostéfaoui, Michel Raynal
2015	B	`conf`	A Message-Passing and Adaptive Implementation of the Randomized Test-and-Set Object. NCA Emmanuelle Anceaume, François Castella, Achour Mostéfaoui, Bruno Sericola
2015	J	`jnl`	Brief Announcement: Update Consistency in Partitionable Systems. CoRR Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2015	B	`conf`	Efficiently Summarizing Data Streams over Sliding Windows. NCA Nicolo Rivetti, Yann Busnel, Achour Mostéfaoui
2015	A*	`conf`	Minimal Synchrony for Byzantine Consensus. PODC Zohir Bouzid, Achour Mostéfaoui, Michel Raynal
2015	J	`jnl`	Signature-Free Asynchronous Binary Byzantine Consensus with t < n/3, O(n2) Messages, and O(1) Expected Time. J. ACM Achour Mostéfaoui, Hamouma Moumen, Michel Raynal
2015	B	`conf`	Signature-Free Asynchronous Byzantine Systems: From Multivalued to Binary Consensus with t < n/3, O(n2) Messages, and Constant Time. SIROCCO Achour Mostéfaoui, Michel Raynal
2015	—	`conf`	Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. NETYS Matthieu Perrin, Claude Jard, Achour Mostéfaoui
2015	J	`jnl`	Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. CoRR Matthieu Perrin, Claude Jard, Achour Mostéfaoui
2015	A	`conf`	Update Consistency for Wait-Free Concurrent Objects. IPDPS Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2015	J	`jnl`	Update Consistency for Wait-free Concurrent Objects. CoRR Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2014	A*	`conf`	Signature-free asynchronous byzantine consensus with t 2<n/3 and o(n PODC Achour Mostéfaoui, Moumen Hamouma, Michel Raynal
2014	A	`conf`	Update Consistency in Partitionable Systems. DISC Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2013	—	`conf`	Concurrency Effects Over Variable-size Identifiers in Distributed Collaborative Editing. DChanges Brice Nédelec, Pascal Molli, Achour Mostéfaoui, Emmanuel Desmontils
2013	B	`conf`	LSEQ: an adaptive structure for sequences in distributed collaborative editing. ACM Symposium on Document Engineering Brice Nédelec, Pascal Molli, Achour Mostéfaoui, Emmanuel Desmontils
2013	A*	`conf`	Synchronous byzantine agreement with nearly a cubic number of communication bits: synchronous byzantine agreement with nearly a cubic number of communication bits. PODC Dariusz R. Kowalski, Achour Mostéfaoui
2013	—	`conf`	Topic 8: Distributed Systems and Algorithms - (Introduction). Euro-Par Achour Mostéfaoui, Andreas Polze, Carlos Baquero, Paul D. Ezhilchelvan, Lars Lundberg
2012	B	`conf`	Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems. NCA Achour Mostéfaoui, Michel Raynal, Julien Stainer
2011	Misc	`conf`	A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks. ICDCN Olivier Baldellon, Achour Mostéfaoui, Michel Raynal
2011	B	`conf`	Looking for Efficient Implementations of Concurrent Objects. PaCT Achour Mostéfaoui, Michel Raynal
2011	C	`conf`	Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. SSS Achour Mostéfaoui, Michel Raynal, Julien Stainer
2010	—	`conf`	Low-Cost Secret-Sharing in Sensor Networks. HASE Marin Bertier, Achour Mostéfaoui, Gilles Trédan
2010	J	`jnl`	Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound. Theor. Comput. Sci. Achour Mostéfaoui, Michel Raynal, Corentin Travers
2010	B	`conf`	Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value. OPODIS Achour Mostéfaoui, Michel Raynal
2010	B	`conf`	Time-Free Authenticated Byzantine Consensus. NCA Moumen Hamouma, Achour Mostéfaoui
2009	J	`jnl`	From adaptive renaming to set agreement. Theor. Comput. Sci. Eli Gafni, Achour Mostéfaoui, Michel Raynal, Corentin Travers
2009	Misc	`conf`	Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring. ICDCN Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana
2009	J	`jnl`	On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System. IEEE Trans. Parallel Distributed Syst. Achour Mostéfaoui, Michel Raynal, Gilles Trédan
2009	A	`conf`	What Agreement Problems Owe Michel. DISC Achour Mostéfaoui
2008	J	`jnl`	Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime CoRR Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola
2008	A*	`conf`	From anarchy to geometric structuring: the power of virtual coordinates. PODC Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana
2008	Misc	`conf`	Narrowing Power vs. Efficiency in Synchronous Set Agreement. ICDCN Achour Mostéfaoui, Michel Raynal, Corentin Travers
2008	J	`jnl`	On the computability power and the robustness of set agreement-oriented failure detector classes. Distributed Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2008	—	`conf`	RDDS 2008 PC Co-chairs' Message. OTM Workshops Achour Mostéfaoui, Eiko Yoneki
2008	J	`jnl`	The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement. SIAM J. Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2007	J	`jnl`	Asynchronous Agreement and Its Relation with Error-Correcting Codes. IEEE Trans. Computers Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2007	B	`conf`	Byzantine Consensus with Few Synchronous Links. OPODIS Moumen Hamouma, Achour Mostéfaoui, Gilles Trédan
2007	B	`conf`	From Renaming to Set Agreement. SIROCCO Achour Mostéfaoui, Michel Raynal, Corentin Travers
2007	J	`jnl`	From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation. J. Parallel Distributed Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2007	J	`jnl`	On the Respective Power of P and S to Solve One-Shot Agreement Problems. IEEE Trans. Parallel Distributed Syst. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2007	—	`conf`	Topic 8 Distributed Systems and Algorithms. Euro-Par Luís E. T. Rodrigues, Achour Mostéfaoui, Christof Fetzer, Philippas Tsigas
2007	B	`conf`	Towards a Computing Model for Open Distributed Systems. PaCT Achour Mostéfaoui
2007	A*	`conf`	Towards the minimal synchrony for byzantine consensus. PODC Achour Mostéfaoui, Gilles Trédan
2006	J	`jnl`	A Time-free Assumption to Implement Eventual Leadership. Parallel Process. Lett. Achour Mostéfaoui, Eric Mourgaya, Michel Raynal, Corentin Travers
2006	—	`conf`	Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. OTM Workshops (2) Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola
2006	A	`conf`	Exploring Gafni's Reduction Land: From DISC Achour Mostéfaoui, Michel Raynal, Corentin Travers
2006	—	`conf`	From Failure Detectors with Limited Scope Accuracy to System-wide Leadership. AINA (1) Achour Mostéfaoui, Michel Raynal, Corentin Travers, Sergio Rajsbaum
2006	A*	`conf`	Irreducibility and additivity of set agreement-oriented failure detector classes. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2006	C	`conf`	On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system. PRDC Achour Mostéfaoui, Michel Raynal, Gilles Trédan
2006	J	`jnl`	Synchronous condition-based consensus. Distributed Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2006	J	`jnl`	Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership. IEEE Trans. Parallel Distributed Syst. Achour Mostéfaoui, Michel Raynal, Corentin Travers
2005	J	`jnl`	$\diamondsuit {\mathcal P}_{mute}$-based Consensus for Asynchronous Byzantine Systems. Parallel Process. Lett. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	J	`jnl`	Asynchronous bounded lifetime failure detectors. Inf. Process. Lett. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	Misc	`conf`	Building and Using Quorums Despite any Number of Process of Crashes. EDCC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	B	`conf`	From Static Distributed Systems to Dynamic Systems. SRDS Achour Mostéfaoui, Michel Raynal, Corentin Travers, Stacy Patterson, Divyakant Agrawal, Amr El Abbadi
2005	C	`conf`	Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. PRDC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	J	`jnl`	Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. IEEE Trans. Dependable Secur. Comput. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	A*	`conf`	The combined power of conditions and failure detectors to solve asynchronous set agreement. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2004	C	`conf`	A Hybrid Approach for Building Eventually Accurate Failure Detectors. PRDC Achour Mostéfaoui, David Powell, Michel Raynal
2004	J	`jnl`	A necessary and sufficient condition for transforming limited accuracy failure detectors. J. Comput. Syst. Sci. Emmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal
2004	J	`jnl`	A weakest failure detector-based asynchronous consensus protocol for f<n. Inf. Process. Lett. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	A*	`conf`	Brief announcement: the synchronous condition-based consensus hierarchy. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2004	A*	`conf`	Brief announcement: veto number and the respective power of eventual failure detectors. PODC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	J	`jnl`	Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. Distributed Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2004	B	`conf`	Crash-Resilient Time-Free Eventual Leadership. SRDS Achour Mostéfaoui, Michel Raynal, Corentin Travers
2004	B	`conf`	Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. SRDS Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	A	`conf`	The Notion of Veto Number and the Respective Power of OP and OS to Solve One-Shot Agreement Problems. DISC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	—	`conf`	The Notion of Veto Number for Distributed Agreement Problems. IWDC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	A	`conf`	The Synchronous Condition-Based Consensus Hierarchy. DISC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2003	B	`conf`	A Hierarchy of Conditions for Asynchronous Interactive Consistency. PaCT Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2003	A	`conf`	Asynchronous Implementation of Failure Detectors. DSN Achour Mostéfaoui, Eric Mourgaya, Michel Raynal
2003	J	`jnl`	Conditions on input vectors for consensus solvability in asynchronous distributed systems. J. ACM Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2003	A	`conf`	Evaluating the Condition-Based Approach to Solve Consensus. DSN Achour Mostéfaoui, Eric Mourgaya, Philippe Raipin Parvédy, Michel Raynal
2003	B	`conf`	Single-Write Safe Consensus using Constrained Inputs. SIROCCO Matthieu Roy, Achour Mostéfaoui
2003	A	`conf`	Using Conditions to Expedite Consensus in Synchronous Distributed Systems. DISC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2003	—	`conf`	Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? Future Directions in Distributed Computing Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2002	J	`jnl`	A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors. IEEE Trans. Computers Michel Hurfin, Achour Mostéfaoui, Michel Raynal
2002	A	`conf`	A Versatile and Modular Consensus Protoco. DSN Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2002	J	`jnl`	An introduction to oracles for asynchronous distributed systems. Future Gener. Comput. Syst. Achour Mostéfaoui, Eric Mourgaya, Michel Raynal
2002	A*	`conf`	Asynchronous interactive consistency and its relation with error-correcting codes. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2002	A	`conf`	Condition-Based Protocols for Set Agreement Problems. DISC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2002	A	`conf`	Distributed Agreement and Its Relation with Error-Correcting Codes. DISC Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2002	J	`jnl`	Interval Consistency of Asynchronous Distributed Computations. J. Comput. Syst. Sci. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
2002	A	`conf`	The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses. DISC Divyakant Agrawal, Amr El Abbadi, Achour Mostéfaoui, Michel Raynal, Matthieu Roy
2002	A*	`conf`	Towards a formal model for view maintenance in data warehouses. PODC Achour Mostéfaoui, Michel Raynal, Matthieu Roy, Divyakant Agrawal, Amr El Abbadi
2001	A	`conf`	A Condition for k-Set Agreement in Asynchronous Distributed Systems. IPDPS Achour Mostéfaoui, Michel Raynal
2001	B	`conf`	A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window. SRDS Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Raimundo A. Macêdo
2001	A*	`conf`	A hierarchy of conditions for consensus solvability. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2001	A*	`conf`	Conditions on input vectors for consensus solvability in asynchronous distributed systems. STOC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2001	B	`conf`	Consensus in One Communication Step. PaCT Francisco Vilar Brasileiro, Fabíola Greve, Achour Mostéfaoui, Michel Raynal
2001	J	`jnl`	Consensus-Based Fault-Tolerant Total Order Multicast. IEEE Trans. Parallel Distributed Syst. Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal
2001	B	`conf`	Efficient Condition-Based Consensus. SIROCCO Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2001	J	`jnl`	Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property. Inf. Process. Lett. Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
2001	J	`jnl`	Leader-Based Consensus. Parallel Process. Lett. Achour Mostéfaoui, Michel Raynal
2001	C	`conf`	Randomized Multivalued Consensus. ISORC Paul D. Ezhilchelvan, Achour Mostéfaoui, Michel Raynal
2001	B	`conf`	Randomized k-set agreement. SPAA Achour Mostéfaoui, Michel Raynal
2001	J	`jnl`	The logically instantaneous communication mode: a communication abstraction. Future Gener. Comput. Syst. Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
2000	J	`jnl`	Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. Distributed Comput. Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
2000	A	`conf`	Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. ICDCS Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000	J	`jnl`	Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. IEEE Trans. Parallel Distributed Syst. Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000	A	`conf`	Consensus Based on Failure Detectors with a Perpetual Accuracy Property. IPDPS Achour Mostéfaoui, Michel Raynal
2000	J	`jnl`	From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems. Inf. Process. Lett. Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000	C	`conf`	Low cost consensus-based Atomic Broadcast. PRDC Achour Mostéfaoui, Michel Raynal
2000	A	`conf`	The Best of Both Worlds: A Hybrid Approach to Solve Consensus. DSN Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000	A*	`conf`	k-set agreement with limited accuracy failure detectors. PODC Achour Mostéfaoui, Michel Raynal
1999	J	`jnl`	Communication-Induced Determination of Consistent Snapshots. IEEE Trans. Parallel Distributed Syst. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1999	—	`conf`	Consensus in Asynchronous Distributed Systems: A Concise Guided Tour. Advances in Distributed Systems Rachid Guerraoui, Michel Hurfin, Achour Mostéfaoui, Rui Carlos Oliveira, Michel Raynal, André Schiper
1999	B	`conf`	Consistent Lamport Clocks for Asynchronous Groups with Process Crashes. PaCT Achour Mostéfaoui, Michel Raynal, Makoto Takizawa
1999	Misc	`conf`	Logical Clocks for Unreliable Process Groups. PDPTA Achour Mostéfaoui, Michel Raynal, Makoto Takizawa
1999	B	`conf`	Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. PaCT Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
1999	A	`conf`	Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach. DISC Achour Mostéfaoui, Michel Raynal
1999	—	`conf`	Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus. FSTTCS Achour Mostéfaoui, Michel Raynal
1998	—	`conf`	Communication-Induced Determination of Consistent Snapshots. FTCS Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1998	B	`conf`	Consensus in Asynchronous Systems Where Processes Can Crash and Recover. SRDS Michel Hurfin, Achour Mostéfaoui, Michel Raynal
1998	B	`conf`	Fault-Tolerant Total Order Multicast to Asynchronous Groups. SRDS Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal
1998	B	`conf`	Shrinking Timestamp Sizes of Event Ordering Protocols. ICPADS Achour Mostéfaoui, Oliver E. Theel
1997	—	`conf`	A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability. FTCS Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1997	J	`jnl`	Adaptive checkpointing in message passing distributed systems. Int. J. Syst. Sci. Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1997	—	`conf`	Consistent State Restoration in Shared Memory Systems. APDC Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1997	B	`conf`	Cycle Prevention in Distributed Checkpointing. OPODIS Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1997	B	`conf`	Preventing Useless Checkpoints in Distributed Computations. SRDS Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
1997	—	`conf`	Virtual Precedence in Asynchronous Systems: Cencept and Applications. WDAG Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1996	J	`jnl`	Causal Delivery of Messages with Real-Time Data in Unreliable Networks. Real Time Syst. Roberto Baldoni, Achour Mostéfaoui, Michel Raynal
1996	Misc	`conf`	Efficient Message Logging for Uncoordinated Checkpointing Protocols. EDCC Achour Mostéfaoui, Michel Raynal
1995	—	`conf`	Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems. FTDCS Roberto Baldoni, Jerzy Brzezinski, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1995	A	`conf`	Efficient Causally Ordered Communications for Multimedia Real-Time Applications. HPDC Roberto Baldoni, Achour Mostéfaoui, Michel Raynal
1995	—	`conf`	Token Based Distributed Algorithms to the M Resources Allocation Problem. Parallel and Distributed Computing and Systems Aomar Maddi, Achour Mostéfaoui
1994	J	`jnl`	A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms. IEEE Trans. Parallel Distributed Syst. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1994	A	`conf`	A O(log ICDCS Jean-Michel Hélary, Achour Mostéfaoui
1994	—	`conf`	Definition and Implementation of a Flexible Communication Primitive for Distributed Programming. Applications in Parallel and Distributed Computing Achour Mostéfaoui, Michel Raynal