Ikuti
Frédéric Tronel
Frédéric Tronel
Associate Professor, CentraleSupélec
Email yang diverifikasi di tronel.org
Judul
Dikutip oleh
Dikutip oleh
Tahun
An adaptive failure detection protocol
C Fetzer, M Raynal, F Tronel
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International …, 2001
1792001
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
1151999
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
872000
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
782000
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
502016
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
502000
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
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
372001
Bitcoin a Distributed Shared Register
E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel
International Symposium on Stabilization, Safety, and Security of …, 2017
322017
Brief Announcement: Distributed Ledger Technology meets Distributed Shared Register Theory
E Anceaume, R Ludinard, M Potop-Butucaru, F Tronel
32*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
322014
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
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
222003
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
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
212009
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
192011
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
162012
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20