Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Frédéric Tronel
@inproceedings{DBLP:conf/ecrts/BellecHRTP22,
author = {Nicolas Bellec and
Guillaume Hiet and
Simon Rokicki and
Frederic Tronel and
Isabelle Puaut},
editor = {Martina Maggio},
title = {{RT-DFI:} Optimizing Data-Flow Integrity for Real-Time Systems},
booktitle = {34th Euromicro Conference on Real-Time Systems, {ECRTS} 2022, July
5-8, 2022, Modena, Italy},
series = {LIPIcs},
volume = {231},
pages = {18:1--18:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2022.18},
doi = {10.4230/LIPICS.ECRTS.2022.18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/BellecHRTP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BonRTH21,
author = {Camille Le Bon and
Erven Rohou and
Fr{\'{e}}d{\'{e}}ric Tronel and
Guillaume Hiet},
title = {{DAMAS:} Control-Data Isolation at Runtime through Dynamic Binary
Modification},
booktitle = {{IEEE} European Symposium on Security and Privacy Workshops, EuroS{\&}P
2021, Vienna, Austria, September 6-10, 2021},
pages = {86--95},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EuroSPW54576.2021.00016},
doi = {10.1109/EUROSPW54576.2021.00016},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/BonRTH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/HietTL20,
author = {Guillaume Hiet and
Fr{\'{e}}d{\'{e}}ric Tronel and
Jean{-}Louis Lanet},
title = {Preface of the 2\({}^{\mbox{nd}}\) Workshop on the Security of Software/Hardware
Interfaces {(SILM} 2020)},
booktitle = {{IEEE} European Symposium on Security and Privacy Workshops, EuroS{\&}P
Workshops 2020, Genoa, Italy, September 7-11, 2020},
pages = {681},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EuroSPW51379.2020.00097},
doi = {10.1109/EUROSPW51379.2020.00097},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosp/HietTL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GeorgetJTPT17,
author = {Laurent Georget and
Mathieu Jaume and
Frederic Tronel and
Guillaume Piolle and
Val{\'{e}}rie Viet Triem Tong},
title = {Verifying the Reliability of Operating System-Level Information Flow
Control Systems in Linux},
booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
2017},
pages = {10--16},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FormaliSE.2017.1},
doi = {10.1109/FORMALISE.2017.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GeorgetJTPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AssafNSTT17,
author = {Mounir Assaf and
David A. Naumann and
Julien Signoles and
Eric Totel and
Fr{\'{e}}d{\'{e}}ric Tronel},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Hypercollecting semantics and its application to static analysis of
information flow},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {874--887},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009889},
doi = {10.1145/3009837.3009889},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/AssafNSTT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GeorgetJPTT17,
author = {Laurent Georget and
Mathieu Jaume and
Guillaume Piolle and
Fr{\'{e}}d{\'{e}}ric Tronel and
Val{\'{e}}rie Viet Triem Tong},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Information Flow Tracking for Linux Handling Concurrent System Calls
and Shared Memory},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {1--16},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_1},
doi = {10.1007/978-3-319-66197-1\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/GeorgetJPTT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AnceaumeLPT17,
author = {Emmanuelle Anceaume and
Romaric Ludinard and
Maria Potop{-}Butucaru and
Fr{\'{e}}d{\'{e}}ric Tronel},
editor = {Paul G. Spirakis and
Philippas Tsigas},
title = {Bitcoin a Distributed Shared Register},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 19th
International Symposium, {SSS} 2017, Boston, MA, USA, November 5-8,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10616},
pages = {456--468},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69084-1\_34},
doi = {10.1007/978-3-319-69084-1\_34},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/AnceaumeLPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AssafNSTT16,
author = {Mounir Assaf and
David A. Naumann and
Julien Signoles and
Eric Totel and
Fr{\'{e}}d{\'{e}}ric Tronel},
title = {Hypercollecting Semantics and its Application to Static Analysis of
Information Flow},
journal = {CoRR},
volume = {abs/1608.01654},
year = {2016},
url = {http://arxiv.org/abs/1608.01654},
eprinttype = {arXiv},
eprint = {1608.01654},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AssafNSTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/GeorgetTT15,
author = {Laurent Georget and
Fr{\'{e}}d{\'{e}}ric Tronel and
Val{\'{e}}rie Viet Triem Tong},
title = {Kayrebt: An activity diagram extraction and visualization toolset
designed for the Linux codebase},
booktitle = {3rd {IEEE} Working Conference on Software Visualization, {VISSOFT}
2015, Bremen, Germany, September 27-28, 2015},
pages = {170--174},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/VISSOFT.2015.7332431},
doi = {10.1109/VISSOFT.2015.7332431},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vissoft/GeorgetTT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsse/LudinardTTNKAAB14,
author = {Romaric Ludinard and
Eric Totel and
Fr{\'{e}}d{\'{e}}ric Tronel and
Vincent Nicomette and
Mohamed Ka{\^{a}}niche and
Eric Alata and
Rim Akrout and
Yann Bachy},
title = {An Invariant-Based Approach for Detecting Attacks Against Data in
Web Applications},
journal = {Int. J. Secur. Softw. Eng.},
volume = {5},
number = {1},
pages = {19--38},
year = {2014},
url = {https://doi.org/10.4018/ijsse.2014010102},
doi = {10.4018/IJSSE.2014010102},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsse/LudinardTTNKAAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/MeyePTA14,
author = {Pierre Meye and
Philippe Raipin Parv{\'{e}}dy and
Fr{\'{e}}d{\'{e}}ric Tronel and
Emmanuelle Anceaume},
title = {A Secure Two-Phase Data Deduplication Scheme},
booktitle = {2014 {IEEE} International Conference on High Performance Computing
and Communications, 6th {IEEE} International Symposium on Cyberspace
Safety and Security, 11th {IEEE} International Conference on Embedded
Software and Systems, {HPCC/CSS/ICESS} 2014, Paris, France, August
20-22, 2014},
pages = {802--809},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/HPCC.2014.134},
doi = {10.1109/HPCC.2014.134},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/MeyePTA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcs/MeyePTA14,
author = {Pierre Meye and
Philippe Raipin Parv{\'{e}}dy and
Frederic Tronel and
Emmanuelle Anceaume},
title = {Mistore: {A} distributed storage system leveraging the {DSL} infrastructure
of an {ISP}},
booktitle = {International Conference on High Performance Computing {\&} Simulation,
{HPCS} 2014, Bologna, Italy, 21-25 July, 2014},
pages = {260--267},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/HPCSim.2014.6903694},
doi = {10.1109/HPCSIM.2014.6903694},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcs/MeyePTA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/HauserTFM13,
author = {Christophe Hauser and
Frederic Tronel and
Colin J. Fidge and
Ludovic M{\'{e}}},
title = {Intrusion detection in distributed systems, an approach based on taint
marking},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2013, Budapest, Hungary, June 9-13, 2013},
pages = {1962--1967},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICC.2013.6654811},
doi = {10.1109/ICC.2013.6654811},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/HauserTFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/AssafSTT13,
author = {Mounir Assaf and
Julien Signoles and
Fr{\'{e}}d{\'{e}}ric Tronel and
Eric Totel},
editor = {Lech J. Janczewski and
Henry B. Wolfe and
Sujeet Shenoi},
title = {Program Transformation for Non-interference Verification on Programs
with Pointers},
booktitle = {Security and Privacy Protection in Information Processing Systems
- 28th {IFIP} {TC} 11 International Conference, {SEC} 2013, Auckland,
New Zealand, July 8-10, 2013. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {405},
pages = {231--244},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39218-4\_18},
doi = {10.1007/978-3-642-39218-4\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sec/AssafSTT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/auisc/HauserTRF12,
author = {Christophe Hauser and
Fr{\'{e}}d{\'{e}}ric Tronel and
Jason Reid and
Colin J. Fidge},
editor = {Josef Pieprzyk and
Clark D. Thomborson},
title = {A taint marking approach to confidentiality violation detection},
booktitle = {Tenth Australasian Information Security Conference, {AISC} 2012, Melbourne,
Australia, January 2012},
series = {{CRPIT}},
volume = {125},
pages = {83--90},
publisher = {Australian Computer Society},
year = {2012},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV125Hauser.html},
timestamp = {Thu, 25 Jul 2019 14:09:43 +0200},
biburl = {https://dblp.org/rec/conf/auisc/HauserTRF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/LudinardTTNKAAB12,
author = {Romaric Ludinard and
Eric Totel and
Frederic Tronel and
Vincent Nicomette and
Mohamed Ka{\^{a}}niche and
Eric Alata and
Rim Akrout and
Yann Bachy},
editor = {Fabio Martinelli and
Jean{-}Louis Lanet and
William M. Fitzgerald and
Simon N. Foley},
title = {Detecting attacks against data in web applications},
booktitle = {7th International Conference on Risks and Security of Internet and
Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CRISIS.2012.6378943},
doi = {10.1109/CRISIS.2012.6378943},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/crisis/LudinardTTNKAAB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AnceaumeBLST11,
author = {Emmanuelle Anceaume and
Francisco Vilar Brasileiro and
Romaric Ludinard and
Bruno Sericola and
Fr{\'{e}}d{\'{e}}ric Tronel},
title = {Dependability Evaluation of Cluster-Based Distributed Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {5},
pages = {1123--1142},
year = {2011},
url = {https://doi.org/10.1142/S0129054111008593},
doi = {10.1142/S0129054111008593},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AnceaumeBLST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimva/AnceaumeBGHHMPP11,
author = {Emmanuelle Anceaume and
Christophe Bidan and
S{\'{e}}bastien Gambs and
Guillaume Hiet and
Michel Hurfin and
Ludovic M{\'{e}} and
Guillaume Piolle and
Nicolas Prigent and
Eric Totel and
Frederic Tronel and
Val{\'{e}}rie Viet Triem Tong},
title = {From {SSIR} to CIDre: {A} New Security Research Group in Rennes, France},
booktitle = {First SysSec Workshop 2011, SysSec@DIMVA 2011, Amsterdam, The Netherlands,
July 6, 2011},
pages = {86--89},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.ieeecomputersociety.org/10.1109/SysSec.2011.12},
doi = {10.1109/SYSSEC.2011.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dimva/AnceaumeBGHHMPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AnceaumeSLT11,
author = {Emmanuelle Anceaume and
Bruno Sericola and
Romaric Ludinard and
Frederic Tronel},
title = {Modeling and evaluating targeted attacks in large scale dynamic systems},
booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
pages = {347--358},
publisher = {{IEEE} Compute Society},
year = {2011},
url = {https://doi.org/10.1109/DSN.2011.5958248},
doi = {10.1109/DSN.2011.5958248},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/AnceaumeSLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/GellerHTT11,
author = {Stephane Geller and
Christophe Hauser and
Fr{\'{e}}d{\'{e}}ric Tronel and
Val{\'{e}}rie Viet Triem Tong},
title = {Information Flow Control for Intrusion Detection Derived from {MAC}
Policy},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2011, Kyoto, Japan, 5-9 June, 2011},
pages = {1--6},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/icc.2011.5962660},
doi = {10.1109/ICC.2011.5962660},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/GellerHTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/DemayMTT11,
author = {Jonathan{-}Christofer Demay and
Fr{\'{e}}d{\'{e}}ric Majorczyk and
Eric Totel and
Fr{\'{e}}d{\'{e}}ric Tronel},
editor = {Jan Camenisch and
Simone Fischer{-}H{\"{u}}bner and
Yuko Murayama and
Armand Portmann and
Carlos Rieder},
title = {Detecting Illegal System Calls Using a Data-Oriented Detection Model},
booktitle = {Future Challenges in Security and Privacy for Academia and Industry
- 26th {IFIP} {TC} 11 International Information Security Conference,
{SEC} 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {354},
pages = {305--316},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21424-0\_25},
doi = {10.1007/978-3-642-21424-0\_25},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sec/DemayMTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/DemayTT09,
author = {Jonathan{-}Christofer Demay and
Eric Totel and
Fr{\'{e}}d{\'{e}}ric Tronel},
editor = {Anas Abou El Kalam and
Yves Deswarte and
Mahmoud Mostafa},
title = {{SIDAN:} {A} tool dedicated to software instrumentation for detecting
attacks on non-control-data},
booktitle = {CRiSIS 2009, Post-Proceedings of the Fourth International Conference
on Risks and Security of Internet and Systems, Toulouse, France, October
19-22, 2009},
pages = {51--58},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CRISIS.2009.5411977},
doi = {10.1109/CRISIS.2009.5411977},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crisis/DemayTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/AnceaumeBLST09,
author = {Emmanuelle Anceaume and
Francisco V. Brasileiro and
Romaric Ludinard and
Bruno Sericola and
Fr{\'{e}}d{\'{e}}ric Tronel},
title = {Analytical Study of Adversarial Strategies in Cluster-based Overlays},
booktitle = {2009 International Conference on Parallel and Distributed Computing,
Applications and Technologies, {PDCAT} 2009, Higashi Hiroshima, Japan,
8-11 December 2009},
pages = {293--298},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/PDCAT.2009.62},
doi = {10.1109/PDCAT.2009.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/AnceaumeBLST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/DemayTT09,
author = {Jonathan{-}Christofer Demay and
Eric Totel and
Fr{\'{e}}d{\'{e}}ric Tronel},
editor = {Engin Kirda and
Somesh Jha and
Davide Balzarotti},
title = {Automatic Software Instrumentation for the Detection of Non-control-data
Attacks},
booktitle = {Recent Advances in Intrusion Detection, 12th International Symposium,
{RAID} 2009, Saint-Malo, France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5758},
pages = {348--349},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04342-0\_19},
doi = {10.1007/978-3-642-04342-0\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/raid/DemayTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AnceaumeBLST09,
author = {Emmanuelle Anceaume and
Francisco Vilar Brasileiro and
Romaric Ludinard and
Bruno Sericola and
Frederic Tronel},
editor = {Rachid Guerraoui and
Franck Petit},
title = {Brief Announcement: Induced Churn to Face Adversarial Behavior in
Peer-to-Peer Systems},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International
Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5873},
pages = {773--774},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05118-0\_54},
doi = {10.1007/978-3-642-05118-0\_54},
timestamp = {Wed, 07 Dec 2022 23:13:25 +0100},
biburl = {https://dblp.org/rec/conf/sss/AnceaumeBLST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0908-0398,
author = {Emmanuelle Anceaume and
Romaric Ludinard and
Bruno Sericola and
Fr{\'{e}}d{\'{e}}ric Tronel and
Francisco Vilar Brasileiro},
title = {Analytical Study of Adversarial Strategies in Cluster-based Overlays},
journal = {CoRR},
volume = {abs/0908.0398},
year = {2009},
url = {http://arxiv.org/abs/0908.0398},
eprinttype = {arXiv},
eprint = {0908.0398},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0908-0398.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/HurfinNMMSTT06,
author = {Michel Hurfin and
Jean{-}Pierre Le Narzul and
Fr{\'{e}}d{\'{e}}ric Majorczyk and
Ludovic M{\'{e}} and
Ayda Sa{\"{\i}}dane and
Eric Totel and
Fr{\'{e}}d{\'{e}}ric Tronel},
editor = {Ajoy Kumar Datta and
Maria Gradinariu},
title = {A Dependable Intrusion Detection Architecture Based on Agreement Services},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International
Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4280},
pages = {378--394},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-49823-0\_27},
doi = {10.1007/978-3-540-49823-0\_27},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/HurfinNMMSTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BonnetTV06,
author = {Fran{\c{c}}ois Bonnet and
Frederic Tronel and
Spyros Voulgaris},
editor = {Shlomi Dolev},
title = {Brief Announcement: Performance Analysis of Cyclon, an Inexpensive
Membership Management for Unstructured {P2P} Overlays},
booktitle = {Distributed Computing, 20th International Symposium, {DISC} 2006,
Stockholm, Sweden, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4167},
pages = {560--562},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11864219\_45},
doi = {10.1007/11864219\_45},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BonnetTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/TronelLG03,
author = {Frederic Tronel and
Fr{\'{e}}d{\'{e}}ric Lang and
Hubert Garavel},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {Compositional Verification Using {CADP} of the ScalAgent Deployment
Protocol for Software Components},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {244--260},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_17},
doi = {10.1007/978-3-540-39958-2\_17},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/TronelLG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/GreveHRT01,
author = {Fab{\'{\i}}ola Greve and
Michel Hurfin and
Michel Raynal and
Frederic Tronel},
title = {Primary Component Asynchronous Group Membership as an Instance of
a Generic Agreement Framework},
booktitle = {Fifth International Symposium on Autonomous Decentralized Systems,
{ISADS} 2001, Dallas, Texas, USA, March 26-28, 2001},
pages = {93--100},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISADS.2001.917399},
doi = {10.1109/ISADS.2001.917399},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/GreveHRT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/BrasileiroGTHN01,
author = {Francisco Vilar Brasileiro and
Fab{\'{\i}}ola Greve and
Frederic Tronel and
Michel Hurfin and
Jean{-}Pierre Le Narzul},
title = {Eva: An Event-Based Framework for Developing Specialized Communication
Protocols},
booktitle = {{IEEE} International Symposium on Network Computing and Applications
{(NCA} 2001), October 8-10, 2001, Cambridge, MA, {USA}},
pages = {108--121},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/NCA.2001.962523},
doi = {10.1109/NCA.2001.962523},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/BrasileiroGTHN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FetzerRT01,
author = {Christof Fetzer and
Michel Raynal and
Frederic Tronel},
title = {An Adaptive Failure Detection Protocol},
booktitle = {8th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2001), 17-19 December 2001, Seoul, Korea},
pages = {146--153},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PRDC.2001.992691},
doi = {10.1109/PRDC.2001.992691},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/FetzerRT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MostefaouiRT00,
author = {Achour Most{\'{e}}faoui and
Michel Raynal and
Frederic Tronel},
title = {From Binary Consensus to Multivalued Consensus in asynchronous message-passing
systems},
journal = {Inf. Process. Lett.},
volume = {73},
number = {5-6},
pages = {207--212},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00027-2},
doi = {10.1016/S0020-0190(00)00027-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MostefaouiRT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/HelaryHMRT00,
author = {Jean{-}Michel H{\'{e}}lary and
Michel Hurfin and
Achour Most{\'{e}}faoui and
Michel Raynal and
Frederic Tronel},
title = {Computing Global Functions in Asynchronous Distributed Systems with
Perfect Failure Detectors},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {11},
number = {9},
pages = {897--909},
year = {2000},
url = {https://doi.org/10.1109/71.879773},
doi = {10.1109/71.879773},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/HelaryHMRT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MostefaouiRT00,
author = {Achour Most{\'{e}}faoui and
Michel Raynal and
Frederic Tronel},
title = {The Best of Both Worlds: {A} Hybrid Approach to Solve Consensus},
booktitle = {2000 International Conference on Dependable Systems and Networks {(DSN}
2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
NY, {USA}},
pages = {513--522},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICDSN.2000.857584},
doi = {10.1109/ICDSN.2000.857584},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/MostefaouiRT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/HelaryHMRT00,
author = {Jean{-}Michel H{\'{e}}lary and
Michel Hurfin and
Achour Most{\'{e}}faoui and
Michel Raynal and
Frederic Tronel},
title = {Computing Global Functions in Asynchronous Distributed Systems Prone
to Process Crashes},
booktitle = {Proceedings of the 20th International Conference on Distributed Computing
Systems, Taipei, Taiwan, April 10-13, 2000},
pages = {584--591},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICDCS.2000.840973},
doi = {10.1109/ICDCS.2000.840973},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/HelaryHMRT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dse/RaynalT99,
author = {Michel Raynal and
Frederic Tronel},
title = {Group membership failure detection: a simple protocol and its probabilistic
analysis},
journal = {Distributed Syst. Eng.},
volume = {6},
number = {3},
pages = {95--102},
year = {1999},
url = {https://doi.org/10.1088/0967-1846/6/3/301},
doi = {10.1088/0967-1846/6/3/301},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dse/RaynalT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/RaynalT99,
author = {Michel Raynal and
Frederic Tronel},
title = {Restricted failure detectors: Definition and reduction protocols},
journal = {Inf. Process. Lett.},
volume = {72},
number = {3-4},
pages = {91--97},
year = {1999},
url = {https://doi.org/10.1016/S0020-0190(99)00136-2},
doi = {10.1016/S0020-0190(99)00136-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/RaynalT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/FromentinRT99,
author = {Eddy Fromentin and
Michel Raynal and
Frederic Tronel},
title = {On Classes of Problems in Asynchronous Distributed Systems with Process
Crashes},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing
Systems, Austin, TX, USA, May 31 - June 4, 1999},
pages = {470--477},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICDCS.1999.776549},
doi = {10.1109/ICDCS.1999.776549},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/FromentinRT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HurfinMRT99,
author = {Michel Hurfin and
Raimundo A. Mac{\^{e}}do and
Michel Raynal and
Frederic Tronel},
title = {A General Framework to Solve Agreement Problems},
booktitle = {The Eighteenth Symposium on Reliable Distributed Systems, {SRDS} 1999,
Lausanne, Switzerland, October 19-22, 1999, Proceedings},
pages = {56--65},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RELDIS.1999.805083},
doi = {10.1109/RELDIS.1999.805083},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/HurfinMRT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/BolloNRT99,
author = {Roger Bollo and
Jean{-}Pierre Le Narzul and
Michel Raynal and
Frederic Tronel},
title = {Probabilistic analysis of a group failure detection protocol},
booktitle = {Fourth International Workshop on Object-Oriented Real-Time Dependable
Systems, Santa Barbara, California, USA, January 27-29, 1999. Proceedings},
pages = {156--162},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/WORDS.1999.806574},
doi = {10.1109/WORDS.1999.806574},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/BolloNRT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdcs/HurfinT97,
author = {Michel Hurfin and
Frederic Tronel},
title = {A Solution to Atomic Commitment Based on an Extended Consensus Protocol},
booktitle = {6th {IEEE} Workshop on Future Trends of Distributed Computer Systems
{(FTDCS} '97), 29-31 October 1997, Tunis, Tunisia, Proceedings},
pages = {98--103},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/FTDCS.1997.644710},
doi = {10.1109/FTDCS.1997.644710},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftdcs/HurfinT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
