| An adaptive failure detection protocol C Fetzer, M Raynal, F Tronel Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International …, 2001 | 181 | 2001 |
| A general framework to solve agreement problems M Hurfin, R Macêdo, M Raynal, F Tronel Reliable Distributed Systems, 1999. Proceedings of the 18th IEEE Symposium …, 1999 | 115 | 1999 |
| Computing global functions in asynchronous distributed systems with perfect failure detectors JM Hélary, M Hurfin, A Mostéfaoui, M Raynal, F Tronel IEEE Transactions on Parallel and Distributed Systems 11 (9), 897-909, 2000 | 84 | 2000 |
| From binary consensus to multivalued consensus in asynchronous message-passing systems A Mostefaoui, M Raynal, F Tronel Information Processing Letters 73 (5-6), 207-212, 2000 | 76 | 2000 |
| Group membership failure detection: a simple protocol and its probabilistic analysis M Raynal, F Tronel Distributed Systems Engineering 6 (3), 95, 1999 | 50 | 1999 |
| SPECIAL SECTION OF DEPENDABLE DISTRIBUTED SYSTEMS-Group membership failure detection: A simple protocol and its probabilistic analysis M Raynal, F Tronel Distributed Systems Engineering 6 (3), 95-102, 1999 | 50* | 1999 |
| The best of both worlds: a hybrid approach to solve consensus A Mostefaoui, M Raynal, F Tronel Dependable Systems and Networks, 2000. DSN 2000. Proceedings International …, 2000 | 46 | 2000 |
| On classes of problems in asynchronous distributed systems E Fromentin, M Raynal, F Tronel Proceedings of Distributed Computing Conference. IEEE, 1999 | 45* | 1999 |
| On classes of problems in asynchronous distributed systems with process crashes E Fromentin, M Raynal, F Tronel Distributed Computing Systems, 1999. Proceedings. 19th IEEE International …, 1999 | 45 | 1999 |
| Eva: an event-based framework for developing specialised communication protocols F Brasileiro, F Greve, M Hurfin, JPL Narzul, F Tronel Network Computing and Applications, 2001. NCA 2001. IEEE International …, 2001 | 39 | 2001 |
| Hypercollecting semantics and its application to static analysis of information flow M Assaf, DA Naumann, J Signoles, É Totel, F Tronel arXiv preprint arXiv:1608.01654, 2016 | 35 | 2016 |
| Bitcoin a Distributed Shared Register E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel International Symposium on Stabilization, Safety, and Security of …, 2017 | 30 | 2017 |
| Brief Announcement: Distributed Ledger Technology meets Distributed Shared Register Theory E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel | 30* | 2017 |
| Primary component asynchronous group membership as an instance of a generic agreement framework F Greve, M Hurfin, M Raynal, F Tronel Autonomous Decentralized Systems, 2001. Proceedings. 5th International …, 2001 | 28 | 2001 |
| A secure two-phase data deduplication scheme P Meye, P Raipin, F Tronel, E Anceaume High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on …, 2014 | 27 | 2014 |
| SIDAN: A tool dedicated to software instrumentation for detecting attacks on non-control-data JC Demay, E Totel, F Tronel Risks and Security of Internet and Systems (CRiSIS), 2009 Fourth …, 2009 | 22 | 2009 |
| Compositional verification using CADP of the ScalAgent deployment protocol for software components F Tronel, F Lang, H Garavel International Conference on Formal Methods for Open Object-Based Distributed …, 2003 | 22 | 2003 |
| Verifying the reliability of operating system-level information flow control systems in linux L Georget, M Jaume, F Tronel, G Piolle, VVT Tong Formal Methods in Software Engineering (FormaliSE), 2017 IEEE/ACM 5th …, 2017 | 21 | 2017 |
| Detecting attacks against data in web applications R Ludinard, E Totel, F Tronel, V Nicomette, M Kaâniche, E Alata, R Akrout, ... Risk and Security of Internet and Systems (CRiSIS), 2012 7th International …, 2012 | 17 | 2012 |
| Information flow control for intrusion detection derived from mac policy S Geller, C Hauser, F Tronel, VVT Tong Communications (ICC), 2011 IEEE International Conference on, 1-6, 2011 | 17 | 2011 |
m raynalProfessor of InformaticsVerified email at irisa.fr
