Detecting Atomic Sequences of Predicates in Distributed Computations. - Michel Hurfin; Noël Plouzeau; Michel Raynal (Workshop on Parallel and Distributed Debugging, 1993)

Debugging tool for distributed Estelle programs. - Michel Hurfin; Noël Plouzeau; Michel Raynal (Comput. Commun., 1993)

On Granularity of Events in Distributed Computations. - Michel Hurfin; Noël Plouzeau; Michel Raynal (Specification of Parallel Algorithms, 1994)

On-the-fly replay: a practical paradigm and its implementation for distributed debugging. - Ornan Ori Gerstel; Shmuel Zaks; Michel Hurfin; Noël Plouzeau; Michel Raynal (SPDP, 1994)

On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations. - Michel Hurfin; Masaaki Mizuno; Michel Raynal; Mukesh Singhal (SPDP, 1996)

Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging). - Michel Hurfin; Michel Raynal (WG, 1996)

A Solution to Atomic Commitment Based on an Extended Consensus Protocol. - Michel Hurfin; Frederic Tronel (FTDCS, 1997)

Solving agreement problems with failure detectors: a survey. - Jean-Michel Hélary; Michel Hurfin (Ann. des Télécommunications, 1997)

Asynchronous Protocols to Meet Real-Time Constraints: Is It Really Sensible? How to Proceed? - Michel Hurfin; Michel Raynal (ISORC, 1998)

Consensus in Asynchronous Systems Where Processes Can Crash and Recover. - Michel Hurfin; Achour Mostéfaoui; Michel Raynal (SRDS, 1998)

Efficient Distributed Detection of Conjunctions of Local Predicates. - Michel Hurfin; Masaaki Mizuno; Michel Raynal; Mukesh Singhal (IEEE Trans. Software Eng., 1998)

Consensus in Asynchronous Distributed Systems: A Concise Guided Tour. - Rachid Guerraoui; Michel Hurfin; Achour Mostéfaoui; Rui Carlos Oliveira; Michel Raynal; André Schiper (Advances in Distributed Systems, 1999)

Solving the consensus problem in a mobile environment. - Nadjib Badache; Michel Hurfin; Raimundo José de Araújo Macêdo (IPCCC, 1999)

A General Framework to Solve Agreement Problems. - Michel Hurfin; Raimundo A. Macêdo 001; Michel Raynal; Frederic Tronel (SRDS, 1999)

A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector. - Michel Hurfin; Michel Raynal (Distributed Comput., 1999)

Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. - Jean-Michel Hélary; Michel Hurfin; Achour Mostéfaoui; Michel Raynal; Frederic Tronel (ICDCS, 2000)

Consensus Based on Strong Failure Detectors: A Time and Message-Efficient Protocol. - Fabíola Greve; Michel Hurfin; Raimundo A. Macêdo 001; Michel Raynal (IPDPS Workshops, 2000)

Time and message-efficient S-based consensus (brief announcement). - Fabíola Greve; Michel Hurfin; Raimundo A. Macêdo 001; Michel Raynal (PODC, 2000)

Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. - Jean-Michel Hélary; Michel Hurfin; Achour Mostéfaoui; Michel Raynal; Frederic Tronel (IEEE Trans. Parallel Distributed Syst., 2000)

Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers. - Yun Wang; Francisco Vilar Brasileiro; Emmanuelle Anceaume; Fabíola Greve; Michel Hurfin (DSN, 2001)

Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. - Fabíola Greve; Michel Hurfin; Michel Raynal; Frederic Tronel (ISADS, 2001)

Eva: An Event-Based Framework for Developing Specialized Communication Protocols. - Francisco Vilar Brasileiro; Fabíola Greve; Frederic Tronel; Michel Hurfin; Jean-Pierre Le Narzul (NCA, 2001)

A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window. - Michel Hurfin; Achour Mostéfaoui; Michel Raynal; Raimundo A. Macêdo 001 (SRDS, 2001)

An Efficient Solution to the k-Set Agreement Problem. - Emmanuelle Anceaume; Michel Hurfin; Philippe Raipin Parvédy (EDCC, 2002)

A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors. - Michel Hurfin; Achour Mostéfaoui; Michel Raynal (IEEE Trans. Computers, 2002)

Solving the Group Priority Inversion Problem in a Timed Asynchronous System. - Yun Wang; Emmanuelle Anceaume; Francisco Vilar Brasileiro; Fabíola Greve; Michel Hurfin (IEEE Trans. Computers, 2002)

OPEN EDEN: a Portable Fault Tolerant CORBA Architecture. - Fabíola Greve; Michel Hurfin; Jean-Pierre Le Narzul (ISPDC, 2003)

A Fault-Tolerant Protocol for Resource Allocation in a Grid Dedicated to Genomic Applications. - Michel Hurfin; Jean-Pierre Le Narzul; Julien Pley; Philippe Raipin Parvédy (PPAM, 2003)

Designing Modular Services in the Scattered Byzantine Failure Model. - Emmanuelle Anceaume; Carole Delporte-Gallet; Hugues Fauconnier; Michel Hurfin; Gérard Le Lann (ISPDC/HeteroPar, 2004)

Using Agreement Services in Grid Computing. - Michel Hurfin; Jean-Pierre Le Narzul; Julien Pley; Philippe Raipin Parvédy (ISPA Workshops, 2006)

Self* Architecture for Trajectory Tracking in Wireless Sensor Networks. - Florent Claerhout; Ajoy Kumar Datta; Maria Gradinariu; Michel Hurfin (NCA, 2006)

A Dependable Intrusion Detection Architecture Based on Agreement Services. - Michel Hurfin; Jean-Pierre Le Narzul; Frédéric Majorczyk; Ludovic Mé; Ayda Saïdane; Eric Totel; Frédéric Tronel (SSS, 2006)

Evaluating the Impact of Simultaneous Round Participation and Decentralized Decision on the Performance of Consensus. - Lívia M. R. Sampaio; Michel Hurfin; Francisco Vilar Brasileiro; Fabíola Greve (DSN, 2007)

Clock Synchronization in the Byzantine-Recovery Failure Model. - Emmanuelle Anceaume; Carole Delporte-Gallet; Hugues Fauconnier; Michel Hurfin; Josef Widder (OPODIS, 2007)

Design and Performance Evaluation of a Resource Allocation System Based on Agreement Services. - Michel Hurfin; Jean-Pierre Le Narzul (SYNASC, 2008)

Remote Reliable Services to Support Transactional Mobile Agents. - Izabela Moise; Michel Hurfin; Linda Zeghache; Nadjib Badache (NCA, 2010)

An Adaptive Fast Paxos for Making Quick Everlasting Decisions. - Michel Hurfin; Izabela Moise; Jean-Pierre Le Narzul (AINA, 2011)

Cloud-Based Support for Transactional Mobile Agents. - Izabela Moise; Michel Hurfin; Linda Zeghache; Nadjib Badache (AINA Workshops, 2011)

From SSIR to CIDre: A New Security Research Group in Rennes, France. - Emmanuelle Anceaume; Christophe Bidan; Sébastien Gambs; Guillaume Hiet; Michel Hurfin; Ludovic Mé; Guillaume Piolle; Nicolas Prigent; Eric Totel; Frederic Tronel; Valérie Viet Triem Tong (SysSec@DIMVA, 2011)

Adaptive Strategies for Speeding Up Sequences of Consensus. - Michel Hurfin; Izabela Moise; Jean-Pierre Le Narzul; Frédéric Majorczyk (AINA Workshops, 2012)

AMORES: an architecture for mobiquitous resilient systems. - Christian Artigues; Yves Deswarte; Jérémie Guiochet; Marie-José Huguet; Marc-Olivier Killijian; David Powell; Matthieu Roy; Christophe Bidan; Nicolas Prigent; Emmanuelle Anceaume; Sébastien Gambs; Gilles Guette; et al. (ARMOR, 2012)

Reconstruction Attack through Classifier Analysis. - Sébastien Gambs; Ahmed Gmati; Michel Hurfin (DBSec, 2012)

Providing Reliability for Transactional Mobile Agents. - Linda Zeghache; Michel Hurfin; Izabela Moise; Nadjib Badache (ICAIT, 2012)

Brief Announcement: Reaching Approximate Byzantine Consensus in Partially-Connected Mobile Networks. - Chuanyou Li; Michel Hurfin; Yun Wang 002 (DISC, 2012)

Reaching Approximate Byzantine Consensus in Partially-Connected Mobile Networks - Chuanyou Li; Michel Hurfin; Yun Wang 002 (CoRR, 2012)

Évaluation de politiques d'adaptation au risque de collisions dans un consensus de type « Fast Paxos ». - Izabela Moise; Michel Hurfin; Jean-Pierre Le Narzul; Frédéric Majorczyk (Tech. Sci. Informatiques, 2012)

Automatic generation of correlation rules to detect complex attack scenarios. - Erwan Godefroy; Eric Totel; Michel Hurfin; Frédéric Majorczyk (IAS, 2014)

Clock Synchronization in Mobile Ad Hoc Networks Based on an Iterative Approximate Byzantine Consensus Protocol. - Chuanyou Li; Yun Wang 002; Michel Hurfin (AINA, 2014)

Reliable mobile agents with transactional behaviour. - Linda Zeghache; Nadjib Badache; Michel Hurfin; Izabela Moise (Int. J. Commun. Networks Distributed Syst., 2014)

Approximate Byzantine consensus in sparse, mobile ad-hoc networks. - Chuanyou Li; Michel Hurfin; Yun Wang 002 (J. Parallel Distributed Comput., 2014)

Generation and assessment of correlation rules to detect complex attack scenarios. - Erwan Godefroy; Eric Totel; Michel Hurfin; Frédéric Majorczyk (CNS, 2015)

Assessment of an Automatic Correlation Rules Generator. - Erwan Godefroy; Eric Totel; Michel Hurfin; Frédéric Majorczyk (ICISS, 2015)

Reputation Propagation and Updating in Mobile Ad Hoc Networks with Byzantine Failures. - Chuanyou Li; Michel Hurfin; Yun Wang 002 (TrustCom/BigDataSE/ISPA (1), 2015)

Inferring a Distributed Application Behavior Model for Anomaly Based Intrusion Detection. - Eric Totel; Mouna Hkimi; Michel Hurfin; Mourad Leslous; Yvan Labiche (EDCC, 2016)

Towards a Restrained Use of Non-Equivocation for Achieving Iterative Approximate Byzantine Consensus. - Chuanyou Li; Michel Hurfin; Yun Wang 002; Lei Yu (IPDPS, 2016)

A Scalable and Efficient Correlation Engine to Detect Multi-Step Attacks in Distributed Systems. - David Lanoë; Michel Hurfin; Eric Totel (SRDS, 2018)

An Efficient and Scalable Intrusion Detection System on Logs of Distributed Applications. - David Lanoë; Michel Hurfin; Eric Totel; Carlos Maziero (SEC, 2019)