Frédéric Tronel
Frédéric Tronel
Associate Professor, CentraleSupélec
Adresse e-mail validée de tronel.org
TitreCitée parAnnée
An adaptive failure detection protocol
C Fetzer, M Raynal, F Tronel
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International …, 2001
1522001
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
911999
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
712000
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
542000
Group membership failure detection: a simple protocol and its probabilistic analysis
M Raynal, F Tronel
Distributed Systems Engineering 6 (3), 95, 1999
441999
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
44*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
392000
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
312001
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
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
251999
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
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
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
162009
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
152012
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
142016
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
141997
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
132012
Brief announcement: Performance analysis of cyclon, an inexpensive membership management for unstructured p2p overlays
F Bonnet, F Tronel, S Voulgaris
International Symposium on Distributed Computing, 560-562, 2006
132006
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
13*1999
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
122014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20