Seguir
Frédéric Tronel
Frédéric Tronel
Associate Professor, CentraleSupélec
Dirección de correo verificada de tronel.org
Título
Citado por
Citado por
Año
An adaptive failure detection protocol
C Fetzer, M Raynal, F Tronel
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International …, 2001
1812001
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
1161999
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
852000
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
772000
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
482000
Group membership failure detection: a simple protocol and its probabilistic analysis
M Raynal, F Tronel
Distributed Systems Engineering 6 (3), 95, 1999
481999
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
48*1999
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
451999
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
422016
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
392001
Bitcoin a Distributed Shared Register
E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel
International Symposium on Stabilization, Safety, and Security of …, 2017
332017
Brief Announcement: Distributed Ledger Technology meets Distributed Shared Register Theory
E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel
33*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
292014
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
292001
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
232009
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
232003
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
212017
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
182011
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
171997
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20