Nombre de documents

78

CV de Achour Mostefaoui


Rapport33 documents

  • Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version). [Research Report] IRISA, Inria Rennes; LINA-University of Nantes; Technion - Israel Institute of Technology. 2017. <hal-01476201>
  • Davide Frey, Achour Mostefaoui, Matthieu Perrin, Anne-Marie Kermarrec, Christopher Maddock, et al.. D.1.3 – Protocols for emergent localities. [Technical Report] D1.3, IRISA; LINA-University of Nantes; Inria Rennes Bretagne Atlantique; Lancaster University. 2016. <hal-01343348>
  • Achour Mostefaoui, Michel Raynal. Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems. [Research Report] IRISA. 2016, pp.14. <hal-01256067>
  • Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard. On Composition and Implementation of Sequential Consistency (Extended Version). [Research Report] LINA-University of Nantes. 2016. <hal-01346805v4>
  • Emmanuelle Anceaume, François Castella, Achour Mostefaoui, Bruno Sericola. Performance Evaluation of a Distributed Synchronization Protocol. [Research Report] Inria; Irisa; Lina; Irmar. 2016. <hal-01283064>
  • Brice Nédelec, Julian Tanke, Davide Frey, Pascal Molli, Achour Mostefaoui. Spray: an Adaptive Random Peer Sampling Protocol. [Technical Report] LINA-University of Nantes; INRIA Rennes - Bretagne Atlantique. 2015. <hal-01203363>
  • Davide Frey, Achour Mostefaoui, Matthieu Perrin, François Taïani. D.1.1 – Survey on Weak Consistency Approaches for Large-Scale Systems. [Technical Report] D1.1, LINA-University of Nantes; IRISA. 2015. <hal-01174203>
  • Matthieu Perrin, Claude Jard, Achour Mostefaoui. Proof of the Instrumented Semantics for Orc. [Research Report] LINA-University of Nantes. 2015. <hal-01101340v2>
  • Nicolò Rivetti, Yann Busnel, Achour Mostefaoui. Efficiently Summarizing Distributed Data Streams over Sliding Windows. [Research Report] LINA-University of Nantes; Centre de Recherche en Économie et Statistique; Inria Rennes Bretagne Atlantique. 2015. <hal-01073877v3>
  • Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard. Consistent Shared Data Types: Beyond Memory. [Research Report] Université de Nantes. 2014. <hal-01052437>
  • Achour Mostefaoui, Michel Raynal, Julien Stainer. Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. [Research Report] PI-1973, 2011, pp.13. <inria-00583301>
  • Achour Mostefaoui, Michel Raynal. Looking for Efficient Implementations of Concurrent Objects. [Research Report] PI-1969, 2011, pp.10. <inria-00576742>
  • Achour Mostefaoui, Michel Raynal, Julien Stainer. Chasing the Weakest Failure Detector for k-Set Agreement in Message-passing Systems. [Research Report] PI-1981, 2011, pp.15. <inria-00606918>
  • Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus. [Research Report] PI 1954, 2010, pp.8. <inria-00521646>
  • Achour Mostefaoui, Michel Raynal. Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value. [Research Report] PI-1953, 2010, pp.15. <inria-00495653>
  • Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement. [Research Report] PI 1897, 2008, pp.30. <inria-00294706>
  • Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing power vs efficiency in synchronous set agreement. [Research Report] PI 1836, 2007, pp.13. <inria-00139286>
  • Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Gilles Trédan, Aline Viana. Large-scale networked systems: from anarchy to geometric self-structuring. [Research Report] PI 1876, 2007, pp.21. <inria-00196714v2>
  • Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. On the Computability Power and the Robustness of Set Agreement-oriented Failure Detector Classes. [Research Report] PI 1819, 2006, pp.31. <inria-00107220>
  • Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Bruno Sericola. Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. [Research Report] PI 1799, 2006, pp.12. <inria-00001261v2>
  • Achour Mostefaoui, Michel Raynal, Corentin Travers. Exploring Gafni's reduction land: from $\Omega^k$ to wait-free adaptive $(2p-\lceil\frac{p}{k}\rceil)$-renaming via $k$-set agreement. [Research Report] PI 1794, 2006, pp.19. <inria-00001189>
  • Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. From <>W to Omega: a Simple Bounded Quiescent Reliable broadcast-based Transformation. [Research Report] PI 1759, 2005, pp.9. <inria-00000663>
  • Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. Irreducibility and Additivity of Set Agreement-oriented Failure Detector Classes. [Research Report] PI 1758, 2005, pp.24. <inria-00000604>
  • Jean-Michel Hélary, Michel Hurfin, Achour Mostefaoui, Michel Raynal, Frédéric Tronel. Computing Global Functions in Asynchronous Distributed Systems with Process Crashes. [Research Report] RR-3656, INRIA. 1999. <inria-00073017>
  • Achour Mostefaoui, Michel Raynal. Efficient Message Logging for Uncoordinated Checkpointing Protocols. [Research Report] RR-2972, INRIA. 1996. <inria-00073726>
  • Roberto Baldoni, Jean-Michel Hélary, Achour Mostefaoui, Michel Raynal. Consistent Checkpointing in Message Passing Distributed Systems. [Research Report] RR-2564, INRIA. 1995. <inria-00074117>
  • Roberto Baldoni, Jean-Michel Hélary, Achour Mostefaoui, Michel Raynal. On Modeling Consistent Checkpoints and the Domino Effect in Distributed Systems. [Research Report] RR-2569, INRIA. 1995. <inria-00074112>
  • Roberto Baldoni, Achour Mostefaoui, Michel Raynal. Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints. [Research Report] RR-2427, INRIA. 1994. <inria-00074248>
  • Jean-Michel Hélary, Achour Mostefaoui. A O(log2n) fault-tolerant distributed mutual exclusion algorithm based on open-cube structure. [Research Report] RR-2041, INRIA. 1993. <inria-00074630>
  • Achour Mostefaoui, Michel Raynal. Causal multicasts in overlapping groups : towards a low cost approach. [Research Report] RR-1871, INRIA. 1993. <inria-00074802>
  • Jean-Michel Hélary, Achour Mostefaoui, Michel Raynal. Déterminer un état global. [Rapport de recherche] RR-2090, INRIA. 1993. <inria-00074582>
  • Achour Mostefaoui, Michel Raynal. Definition and implementation of a flexible communication primitive for distributed programming. [Research Report] RR-2086, INRIA. 1993. <inria-00074586>
  • Jean-Michel Hélary, Achour Mostefaoui, Michel Raynal. A General scheme for token and tree based distributed mutual exclusion algorithms. [Research Report] RR-1692, INRIA. 1992. <inria-00076927>

Communication dans un congrès31 documents

  • Davide Frey, Achour Mostefaoui, Matthieu Perrin, Pierre-Louis Roman, François Taïani. Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systems. Proceedings of the 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS 2016), Sep 2016, Budapest, Hungary. IEEE Computer Society, SRDS 2016, pp.197-206, <http://srds2016.inf.mit.bme.hu>. <10.1109/SRDS.2016.30>. <hal-01344138>
  • Nicoló Rivetti, Yann Busnel, Achour Mostefaoui. Résumer efficacement des flux de données massifs en fenêtre glissante. ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France. ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. <hal-01303882>
  • Matthieu Perrin, Achour Mostefaoui, Claude Jard. Causal Consistency: Beyond Memory. 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2016, Barcelone, Spain. <10.1145/2851141.2851170>. <hal-01286755>
  • Brice Nédelec, Pascal Molli, Achour Mostefaoui. CRATE: Writing Stories Together with our Browsers. ACM. 25th World Wide Web Conference, Apr 2016, Montréal, Canada. 2016, WWW’16 Companion. <http://www2016.ca>. <10.1145/2872518.2890539>. <hal-01303333>
  • Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard. On Composition and Implementation of Sequential Consistency. 30th International Symposium on Distributed Computing, Sep 2016, Paris, France. Proceedings of the 30th International Symposium on Distributed Computing, <http://www.disc-conference.org/wp/disc2016/>. <hal-01347069v2>
  • Matthieu Perrin, Achour Mostefaoui, Claude Jard. Update Consistency for Wait-free Concurrent Objects. IEEE. IPDPS - IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India. 2015, Proceedings of the 29th IEEE International Parallel & Distributed Processing Symposium. <hal-01101657>
  • Matthieu Perrin, Claude Jard, Achour Mostefaoui. Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco. 2015, Proceedings of the third international conference on network systems. <hal-01152761>
  • Emmanuelle Anceaume, François Castella, Achour Mostefaoui, Bruno Sericola. A Message-Passing and Adaptive Implementation of the Randomized Test-and-Set Object. Avresky, DR; Busnel Y. International Symposium on Network Computing and Applications (NCA), Sep 2015, Boston, United States. IEEE, pp.167-175, 2015, 2015 IEEE 14th International Symposium on Network Computing and Applications (NCA). <10.1109/NCA.2015.27>. <hal-01190379>
  • Achour Mostefaoui, Moumen Hamouna, Michel Raynal. Signature-Free Asynchronous Byzantine Consensus with $t < n/3$ and $O(n^2)$ Messages. ACM PODC, Jul 2014, Paris, France. ACM, pp.2-9, Proceedings 34th Annual ACM Symposium on Principles of Distributed Computing. <ACM>. <hal-00944019v2>
  • Matthieu Perrin, Achour Mostefaoui, Claude Jard. Brief Announcement: Update Consistency in Partitionable Systems. DISC14 - 28th International Symposium on Distributed Computing, Oct 2014, Austin, United States. <hal-01079112>
  • Brice Nédelec, Pascal Molli, Achour Mostefaoui, Emmanuel Desmontils. LSEQ: an Adaptive Structure for Sequences in Distributed Collaborative Editing. 13th ACM Symposium on Document Engineering (DocEng), Sep 2013, Florence, Italy. pp.37--46, 2013, <10.1145/2494266.2494278>. <hal-00921633>
  • Brice Nédelec, Pascal Molli, Achour Mostefaoui, Emmanuel Desmontils. Concurrency Effects Over Variable-size Identifiers in Distributed Collaborative Editing. Document Changes: Modeling, Detection, Storage and Visualization, Sep 2013, Florence, Italy. 1008, pp.0--7, 2013, CEUR Workshop Proceedings. <hal-00921655>
  • Dariusz R. Kowalski, Achour Mostefaoui. Synchronous byzantine agreement with nearly a cubic number of communication bits. ACM symposium on Principles of distributed computing (PODC'13), Jul 2013, New-York, United States. ACM, pp.84-91, 2013, <10.1145/2484239.2484271>. <hal-01151136>
  • Achour Mostefaoui, Michel Raynal, Julien Stainer. Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems. 11th IEEE International Symposium on Network Computing and Applications (NCA 2012), Aug 2012, Cambridge, United States. IEEE, 2012, <10.1109/NCA.2012.19>. <hal-01151291>
  • Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks. Marcos Aguilera et al. 12th International Conference on Distributed Computing and Networking (ICDCN'11), Jan 2011, Bangalore, India. Springer Verlag, 6522, pp.215-226, 2011, Lecture Notes in Computer Science. <hal-00647764>
  • Achour Mostefaoui, Michel Raynal, Julien Stainer. Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. Xavier Défago et al. 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. Springer Verlag, 6976, pp.341-355, 2011, Lecture Notes in Computer Science. <hal-00648465>
  • Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Symmetric Synchrony Condition for Solving Byzantine Consensus. M.K. Aguilera et al. 12th International Conference on Distributed Computing and Networking (ICDCN 2011), Jan 2011, Bangalore, India. Springer Verlag, 6522, pp.215-226, 2011, LNCS. <inria-00544666>
  • Achour Mostefaoui, Michel Raynal. Looking for Efficient Implementations of Concurrent Objects. Victor Malyshkin. 11th International Conference on Parallel Computing Technologies (PaCT'11), Sep 2011, Kazan, Russia. Springer Verlag, 6873, pp.74-87, 2011, Lecture Notes in Computer Science. <hal-00647775>
  • Achour Mostefaoui, Michel Raynal. Signature-Free Broadcast-Based Intrusion Tolerance. Chenyang Lu and Toshimitsu Masuzawa and Mohamend Mosbah. 14th International Conference On Principles Of Distributed Systems (OPODIS 2010), Dec 2010, Tozeur, Tunisia. Springer Verlag, 6490, pp.143-159, 2010, LNCS; Principles of Distributed Computing. <inria-00544650>
  • Marin Bertier, Achour Mostefaoui, Gilles Tredan. Low-Cost Secret-Sharing in Sensor Networks. Sahra Sedigh. 12th IEEE International High Assurance Systems Engineering Symposium (HASE 2010), Nov 2010, San Jose, CA, United States. IEEE, pp.1-9, 2010. <inria-00544585>
  • Hamouma Moumen, Achour Mostefaoui. Time-Free Authenticated Byzantine Consensus. Franck Capello and Hans-Peter Schwefel. 10th IEEE International Symposium on Network Computing and Applications (NCA'11), Jul 2010, Cambridge, MA, United States. IEEE, pp.140-146, 2010. <inria-00544518>
  • Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana. Large-scale networked systems: from anarchy to geometric self-structuring. Vijay K. Garg, Roger Wattenhofer, Kishore Kothapalli. 10th International Conference on Distributed Computing and Networking (ICDCN), Jan 2009, Hyderabad, India. Springer, pp.: 25-36, 2009. <inria-00334355>
  • Achour Mostefaoui. What Agreement Problems Owe Michel. Idit Keidar. Distributed Computing, 23rd International Symposium, DISC 2009, Sep 2009, Elche, Spain. Springer, pp.5, Lecture Notes in Computer Science. <hal-00432956>
  • Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana. (BA) From Anarchy to Geometric Structuring: the Power of Virtual Coordinates. Proceedings of ACM Sigact-Sigops Symposium on Principles of Distributed Computing (PODC), Aug 2008, Toronto, Canada. 2008. <inria-00334356>
  • Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing Power vs. Efficiency in Synchronous Set Agreement. Shrisha Rao, Mainak Chatterjee and Prasad Jayanti and C. Siva Ram Murthy and Sanjoy Kumar Saha. 9th International Conference on Distributed Computing and Networking, Jan 2008, Kolkata, India. Springer Verlag, 4904, pp.99-111, 2008, LNCS. <inria-00338093>
  • Hamouma Moumen, Achour Mostefaoui, Gilles Trédan. Byzantine Consensus with Few Synchronous Links. Eduardo Tovar and Philippas Tsigas and Hacène Fouchal. 11th International Conference On Principles Of Distributed Systems, Dec 2007, Guadeloupe, French West Indies, France. Springer Verlag, 4878, pp.76-89, 2007, LNCS. <inria-00338059>
  • Achour Mostefaoui, Gilles Trédan. Towards the minimal synchrony for byzantine consensus. Indranil Gupta and Roger Wattenhofer. 26th Annual ACM Symposium on Principles of Distributed Computing, Aug 2007, Portland, United States. ACM, pp.314-315, 2007. <inria-00338092>
  • Achour Mostefaoui. Towards a Computing Model for Open Distributed Systems. Victor E. Malyshkin. Parallel Computing Technologies, 9th International Conference, Sep 2007, Pereslavl-Zalessky, Russia. Springer Verlag, 4671, pp.74-79, 2007, LNCS. <inria-00338075>
  • Achour Mostefaoui, Michel Raynal, Corentin Travers. From Renaming to Set Agreement. Giuseppe Prencipe and Shmuel Zaks. 14th International Colloquium on Structural Information and Communication Complexity, Jun 2007, Castiglioncello, Italy. Springer Verlag, 4474, pp.66-80, 2007, LNCS. <inria-00338090>
  • Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Bruno Sericola. Persistance de noyau dans les systèmes dynamiques à grande échelle. 9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.59-62, 2007. <inria-00176950>
  • Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Bruno Sericola. Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. Proceedings of the Workshop on Reliability in Decentralized Distributed Systems, Nov 2006, Montpellier, France. 4278, pp.1470--1479, 2006, LNCS. <inria-00201164>

Document associé à des manifestations scientifiques1 document

  • Matthieu Perrin, Claude Jard, Achour Mostefaoui. Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. <hal-00876651>

Pré-publication, Document de travail5 documents

  • Emmanuelle Anceaume, François Castella, Achour Mostefaoui, Bruno Sericola. A Message-Passing and Adaptive Implementation of the Randomized Test-and-Set Object. 2015. <hal-01075650v3>
  • Achour Mostefaoui, Matoula Petrolia, Michel Raynal, Claude Jard. Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems. 2015. <hal-01238765>
  • Achour Mostefaoui, Michel Raynal. Asynchronous Byzantine Systems: From Multivalued to Binary Consensus with t < n/3, O(n 2 ) Messages, O(1) Time, and no Signature. 2015. <hal-01102496>
  • Zohir Bouzid, Achour Mostefaoui, Michel Raynal. Minimal Synchrony for Asynchronous Byzantine Consensus. AP. 2015. <hal-01103466>
  • Achour Mostefaoui, Michel Raynal. Communication and Agreement Abstractions in the Presence of Byzantine Processes. 2014. <hal-00942889>

Article dans une revue8 documents

  • Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound. Theoretical Computer Science, Elsevier, 2010, 411 (1), pp.58-69. <10.1016/j.tcs.2009.09.002>. <hal-00543282>
  • Eli Gafni, Achour Mostefaoui, Michel Raynal, Corentin Travers. From adaptive renaming to set agreement. Theoretical Computer Science, Elsevier, 2009, 410 (14), pp.1328-1335. <hal-00432970>
  • Achour Mostefaoui, Michel Raynal, Gilles Trédan. On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2009, 20 (6), pp.778-787. <hal-00432964>
  • Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement. SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2008, 38 (4), pp.1574-1601. <hal-00432973>
  • Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. On the computability power and the robustness of set agreement-oriented failure detector classes. Distributed Computing, Springer Verlag, 2008, 21 (3), pp.201-222. <hal-00432977>
  • Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation. Journal of Parallel and Distributed Computing, Elsevier, 2007, 67 (1), pp.125-129. <inria-00338081>
  • Roy Friedman, Achour Mostefaoui, Michel Raynal. On the Respective Power of *P and *S to Solve One-Shot Agreement Problems. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2007, 18 (5), pp.589-597. <inria-00338084>
  • Achour Mostefaoui, Roy Friedman, Michel Raynal, Sergio Rajsbaum. Asynchronous Agreement and Its Relation with Error-Correcting Codes. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2007, 56 (7), pp.865-875. <inria-00338071>