Frédéric Tronel
Frédéric Tronel
Associate Professor, CentraleSupélec
Verified email at tronel.org
Title
Cited by
Cited by
Year
An adaptive failure detection protocol
C Fetzer, M Raynal, F Tronel
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International …, 2001
1702001
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
1091999
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
822000
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
792000
Group membership failure detection: a simple protocol and its probabilistic analysis
M Raynal, F Tronel
Distributed Systems Engineering 6 (3), 95, 1999
461999
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
46*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
452000
On classes of problems in asynchronous distributed systems
E Fromentin, M Raynal, F Tronel
Proceedings of Distributed Computing Conference. IEEE, 1999
43*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
431999
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
352001
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
312016
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
282001
Bitcoin a Distributed Shared Register
E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel
International Symposium on Stabilization, Safety, and Security of …, 2017
262017
Brief Announcement: Distributed Ledger Technology meets Distributed Shared Register Theory
E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel
26*2017
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
252014
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
202003
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
192009
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
172011
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
152017
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
152012
The system can't perform the operation now. Try again later.
Articles 1–20