Frédéric Tronel
Frédéric Tronel
Associate Professor, CentraleSupélec
Verified email at
Cited by
Cited by
An adaptive failure detection protocol
C Fetzer, M Raynal, F Tronel
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International …, 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
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
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
Group membership failure detection: a simple protocol and its probabilistic analysis
M Raynal, F Tronel
Distributed Systems Engineering 6 (3), 95, 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
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
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
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
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
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
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
Bitcoin a Distributed Shared Register
E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel
International Symposium on Stabilization, Safety, and Security of …, 2017
Brief Announcement: Distributed Ledger Technology meets Distributed Shared Register Theory
E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel
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
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
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
A solution to atomic commitment based on an extended consensus protocol
M Hurfin, F Tronel
Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer …, 1997
A taint marking approach to confidentiality violation detection
C Hauser, F Tronel, J Reid, C Fidge
Proceedings of the Tenth Australasian Information Security Conference-Volume …, 2012
Probabilistic analysis of a group failure detection protocol
R Bollo, JP Le Narzul, M Raynal, F Tronel
Object-Oriented Real-Time Dependable Systems, 1999. Proceedings. Fourth …, 1999
The system can't perform the operation now. Try again later.
Articles 1–20