Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL Whisper
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publications REGAL	2016	2017	Total
Books	0	0	0
Edited books	0	0	0
Journal articles	12	7	19
Book chapters	1	3	4
Conference papers	21	18	39
Habilitations	0	0	0
Thesis	3	2	5

LIP6

• L. Arantes, J. Lejeune, M. Piffaretti, O. Marin, P. Sens, J. Sopena, Alysson N. Bessani, Vinicius V. Cogo, M. Correia, P. Costa, M. Pasin : “Vers une plate-forme MapReduce tolérant les fautes byzantines”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 31 (8-10), pp. 1079-1099, (Lavoisier) [Arantes 2012]
• R. Diaconu, C. Dima : “Model-Checking Alternating-Time Temporal Logic with Strategies Based on Common Knowledge is Undecidable”, Applied Artificial Intelligence, vol. 26 (4), pp. 331-348, (Taylor & Francis) [Diaconu 2012]
• Y. Dieudonné, F. Petit : “Self-stabilizing gathering with strong multiplicity detection”, Theoretical Computer Science, vol. 428, pp. 47-57, (Elsevier) [Dieudonné 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) [Dubois 2012a]
• S. Dubois, T. Masuzawa, S. Tixeuil : “Bounding the Impact of Unbounded Attacks in Stabilization”, IEEE Transactions on Parallel and Distributed Systems, vol. 23 (3), pp. 460-466, (Institute of Electrical and Electronics Engineers) [Dubois 2012d]
• F. Greve, P. Sens, L. Arantes, V. Simon : “Eventually Strong Failure Detector with Unknown Membership”, The Computer Journal, vol. 55 (12), pp. 1507-1524, (Oxford University Press (UK)) [Greve 2012b]
• J. Lawall, J. Jongwane : “Le logiciel libre dans la recherche”, Interstices, (INRIA) [Lawall 2012]
• S. Legtchenko, S. Monnet, P. Sens, G. Muller : “RelaxDHT : A Churn Resilient for Peer-to-Peer Distributed Hash-Tables”, ACM Transactions on Autonomous and Adaptive Systems, vol. 7 (2), pp. 28, (Association for Computing Machinery (ACM)) [Legtchenko 2012]
• N. Ndiaye, P. Sens, O. Thiare : “Performance comparison of hierarchical checkpoint protocols grid computing”, International Journal of Interactive Multimedia and Artificial Intelligence, vol. 1 (6), pp. 46-53, (UNIR) [Ndiaye 2012b]