BU Gewu : Fiabilité, sécurité et vie privée dans les WBAN.
2018
BADREDDINE Wafa : Protocoles de communication dans les réseaux de capteurs corporels sans fil.
2017
DEL POZZO Antonella : Stockage Distribué et Tolérant aux Comportements Byzantins.
2015
MILLET Laure : Vérification et synthèse d'algorithmes de robots.
2013
BOUZID Zohir : Modèles et algorithmes pour les réseaux émergents.
2011
DUBOIS Swan : Tolérer les fautes transitoires, permanentes et intermittentes.
2010
BERNARD Samuel : Algorithmique répartie : vaincre les contraintes des réseaux modernes.
2006-2020 刊物
2020
M. Belotti, S. Moretti, M. Potop‑Butucaru, S. Secci : “Game theoretical analysis of Atomic Cross-Chain Swaps”, 40th IEEE International Conference on Distributed Computing Systems (ICDCS), Singapore, Singapore (2020)
Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “On Fairness in Committee-based Blockchains”, 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020), Toulouse, France (2020)
Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Consensus en Présence de Participants Rationnels et Byzantins”, ALGOTEL 2020 – 22es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France (2020)
B. Baynat, G. Bu, M. Potop‑Butucaru : “Markovian Model for Broadcast in Wireless Body Area Networks”, The 17th ACM International Symposium on Mobility Management and Wireless Access (MobiWAC 2019), Miami, United States, pp. 63-70, (ACM) (2019)
L. LYS, A. Micoulet, M. Potop‑Butucaru : “Atomic Swapping Bitcoins and Ethers”, SRDS 2019 - 38th International Symposium on Reliable Distributed Systems, Lyon, France (2019)
Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchains basées sur du Consensus Répété”, ALGOTEL 2019 - 21es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Laurent de la Cabrerisse, France (2019)
E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchain Abstract Data Type”, SPAA 2019 - 31st ACM Symposium on Parallelism in Algorithms and Architectures, Phoenix, Arizona, United States, pp. 349-358, (ACM) (2019)
A. Ranchal‑Pedrosa, M. Potop‑Butucaru, S. Tucci Piergiovanni : “Scalable lightning factories for Bitcoin”, SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus, pp. 302-309, (ACM) (2019)
E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “POSTER: Blockchain Abstract Data Type”, 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2019), Washington DC, United States, pp. 1-2, (ACM) (2019)
X. Défago, M. Potop‑Butucaru, S. Tixeuil : “Fault-Tolerant Mobile Robots”, chapter in Distributed Computing by Mobile Entities, vol. 11340, Lecture Notes in Computer Science, pp. 234-251, (Springer) (2019)
M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) (2019)
E. Bampas, L. Blin, J. Czyzowicz, D. Ilcinkas, A. Labourel, M. Potop‑Butucaru, S. Tixeuil : “On asynchronous rendezvous in general graphs”, Theoretical Computer Science, vol. 753, pp. 80-90, (Elsevier) (2019)
2018
Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Pergiovanni : “Correctness of Tendermint-Core Blockchains”, 22nd International Conference on Principles of Distributed Systems (OPODIS 2018), vol. 125, Leibniz International Proceedings in Informatics (LIPIcs), Hong Kong, China, pp. 16:1-16:16, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) (2018)
Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Dissecting Tendermint”, Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco (2018)
E. Anceaume, R. Ludinard, M. Potop‑Butucaru, F. Tronel : “Bitcoin a Distributed Shared Register”, Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 10616, Lecture Notes in Computer Science, Boston, MA, United States, pp. 456-468, (Springer) (2017)
G. Bu, M. Potop‑Butucaru : “Total Order Reliable Convergecast in WBAN”, ICDCN 2017 - 18th International Conference on Distributed Computing and Networking, Hyderabad, India, (ACM) (2017)
M. Othmani‑Guibourg, A. El Fallah‑Seghrouchni, J.‑L. Farges, M. Potop‑Butucaru : “Multi-agent patrolling in dynamic environments”, International Conference on Agents, Beijing, China, (IEEE digital library) (2017)
B. Bérard, P. Lafourcade, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of mobile robot protocols”, Distributed Computing, vol. 29 (6), pp. 459-487, (Springer Verlag) (2016)
F. Bonnet, X. Défago, Th. Nguyen, M. Potop‑Butucaru : “Tight bound on mobile Byzantine Agreement”, Theoretical Computer Science n°609, pp. 361-373, (Elsevier) (2016)
W. Badreddine, C. Chaudet, F. Petruzzi, M. Potop‑Butucaru : “Broadcast strategies in Wireless Body Area Networks”, 18th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), Cancun, Mexico, pp. 83-90, (ACM) (2015)
S. Bonomi, M. Potop‑Butucaru, S. Tixeuil : “Stabilizing Byzantine-Fault Tolerant Storage”, IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015, Hyderabad, India, pp. 894-903 (2015)
C. Chaudet, P. Federico, M. Potop‑Butucaru : “Analyzing various broadcast strategies in WBAN”, International Workshop on Green Solutions for Body Area Networks (GreenBAN 2014), Paris, France (2014)
L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering”, SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, vol. 8756, Lecture Notes in Computer Science, Paderborn, Germany, pp. 237-251, (Springer) (2014)
B. Bérard, L. Millet, M. Gradinariu Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Vérification formelle et robots mobiles”, 15es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, pp. 1-4, (Nisse, Nicolas et Rousseau, Franck et Busnel, Yann) (2013)
Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Crash Resilient and Pseudo-Stabilizing Atomic Registers”, OPODIS 2012 - 16th International Conference on Principles of Distributed Systems, vol. 7702, Lecture Notes in Computer Science, Rome, Italy, pp. 135-150, (Springer) (2012)
S. Dubois, M. Potop‑Butucaru, M. Nesterenko, S. Tixeuil : “Self-stabilizing byzantine asynchronous unison”, Journal of Parallel and Distributed Computing, vol. 72 (7), pp. 917-923, (Elsevier) (2012)
M. Valero, L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens : “Enhancing Fault Tolerance of Distributed R-Tree”, 5th Latin-American Symposium on Dependable Computing, Sao Jose dos Campos, Brazil, pp. 25-34, (IEEE) (2011)
F. Bonnet, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction”, OPODIS 2011 - 15th International Conference on Principles of Distributed Systems, vol. 7109, Lecture Notes in Computer Science, Toulouse, France, pp. 251-265, (Springer) (2011)
N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems”, SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 6976, Lecture Notes in Computer Science, Grenoble, France, pp. 19-31, (Springer) (2011)
T. Izumi, M. Potop‑Butucaru, M. Valero : “Physical expander in Virtual Tree Overlay”, DISC 2011 - 25th International Symposium on Distributed Computing, vol. 6950, Lecture Notes in Computer Science, Rome, Italy, pp. 82-96, (Springer) (2011)
Z. Bouzid, Sh. Dolev, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Robocast: Asynchronous Communication in Robot Networks”, Proceedings of OPODIS 2010, Tozeur, Tunisia, pp. 16-31, (Springer Berlin / Heidelberg) (2010)
S. Bernard, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “A Framework for Secure and Private P2P Publish/Subscribe”, 12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 531-545, (Springer) (2010)
N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Gradinariu, S. Tixeuil : “Brief Announcement: Sharing Memory in a Self-stabilizing Manner”, 24th International Symposium Distributed Computing DISC, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 525-527, (Springer) (2010)
M. Valero, L. Arantes, M. Gradinariu, P. Sens : “Dynamically Reconfigurable Filtering Architectures”, 12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 504-518, (Springer) (2010)
S. Bianchi, P. Felber, M. Gradinariu Potop‑Butucaru : “Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing”, IEEE Transactions on Parallel and Distributed Systems, vol. 21 (8), pp. 1175-1187, (Institute of Electrical and Electronics Engineers) (2010)
S. Bernard, S. Devismes, K. Paroux, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks”, 11th International Conference on Distributed Computing and Networking, ICDCN 2010, vol. 5935, Lecture Notes in Computer Science, Kolkata, India, pp. 167-177, (Springer) (2010)
S. Dubois, M. Gradinariu Potop‑Butucaru, M. Nesterenko, S. Tixeuil : “Self-stabilizing Byzantine Asynchronous Unison”, OPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, vol. 6490, Lecture Notes in Computer Science, Tozeur, Tunisia, pp. 83-86, (Springer) (2010)
L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis, S. Tixeuil : “Loop-Free Super-Stabilizing Spanning Tree Construction”, 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 50-64 (2010)
L. Blin, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Exclusive Perpetual Ring Exploration without Chirality”, DISC 2010 - 24th International Symposium Distributed Computing, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 312-327, (Springer) (2010)
L. Blin, Sh. Dolev, M. Potop‑Butucaru, S. Rovedakis : “Fast Self-Stabilizing Minimum Spanning Tree Construction”, DISC 2010 - 24th International Symposium on Distributed Computing, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 480-494, (Springer) (2010)
A. Lamani, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots”, 17th International Colloquium Structural Information and Communication Complexity, SIROCCO, vol. 6058, Lecture Notes in Computer Science, Şirince, Turkey, pp. 183-196, (Springer) (2010)
L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees”, 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), vol. 5873, Lecture Notes in Computer Science, Lyon, France, pp. 133-148, (Springer) (2009)
A. Datta, M. Gradinariu Potop‑Butucaru, R. Patel, A. Yamazaki : “Self* Minimum Connected Covers of Query Regions in Sensor Networks”, 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), vol. 4838, Lecture Notes in Computer Science, Paris, France, pp. 204-218, (Springer) (2007)
D. Canepa, M. Gradinariu Potop‑Butucaru : “Stabilizing Flocking Via Leader Election in Robot Networks”, 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), vol. 4838, Lecture Notes in Computer Science, Paris, France, pp. 52-66, (Springer) (2007)
S. Bianchi, P. Felber, M. Gradinariu : “Content-based Publish/Subscribe using Distributed R-trees”, International Conference on Parallel and Distributed Computing (Euro-Par '07), vol. 4641, Lecture Notes in Computer Science, Rennes, France, pp. 537-548, (Springer) (2007)
S. Bianchi, A. Datta, P. Felber, M. Gradinariu : “Stabilizing Peer-to-Peer Spatial Filters”, International Conference on Distributed Computing Systems (ICDCS 2007), Toronto, ON, Canada, pp. 27, (IEEE) (2007)
L. Blin, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “On the Self-stabilization of Mobile Robots in Graphs”, OPODIS 2007 - 11th International Conference on Principles of Distributed Systems, vol. 4878, Lecture Notes in Computer Science, Guadeloupe, France, pp. 301-314, (Springer) (2007)
V. Drabkin, R. Friedman, M. Gradinariu : “Self-Stabilizing Wireless Connected Overlays”, 10th International Conference on Principle of Distributed Computing (OPODIS), vol. 4305, Lecture Notes in Computer Science, Bordeaux, France, pp. 425-439, (Springer) (2006)
X. Défago, M. Gradinariu, S. Messika, Ph. Raipin‑Parvedy : “Fault-Tolerant and Self-Stabilizing Mobile Robots Gathering”, 20th International Symposium on Distributed Computing (DISC), vol. 4167, Lecture Notes in Computer Science, Stockolm, Sweden, pp. 46-60, (Springer) (2006)
LIP6 » 新闻
教授
