Groupe MAPI ''Maths Appli Pour l'Info''

But :

Fournir, dans la mesure du possible, une aide en mathématiques appliquées

• Modélisation
• Formalisation
• Résolution
• Algorithmique
• ...

Membres :

• Michèle Basseville, DR CNRS, IRISA

  Statistiques, processus de décision, détection et diagnostic de changements, distances entre modèles.

• François Castella, Prof. Université de Rennes 1, EPI MINGUS

  Analyse numérique, équations différentielles, équations aux dérivées partielles.

• Philippe Chartier, DR INRIA, EPI MINGUS

  Analyse numérique, équations différentielles, équations aux dérivées partielles.

• François Le Gland, DR INRIA, EPI SIMSMART

  Probabilités, statistiques, filtrage, simulation, modèles de Markov cachés, processus de décision.

• Gerardo Rubino, DR INRIA, EPI DIONYSOS

  Probabilités, chaînes de Markov, files d'attente, simulation.

• Bruno Sericola, DR INRIA, EPI DIONYSOS

  Probabilités, chaînes de Markov, files d'attente, méthodes analytiques.

Fonctionnement :

Le groupe est contacté par un ou des membres permanents d'une équipe qui ont besoin d'une aide en maths appli.

Priorité aux collaborations significatives :

• Publications communes,
• co-encadrement de doctorants,
• participation à des contrats
• éventuellement actions de formation,
• ...

Collaborations passées et en cours :

Equipes :

• ASAP, Inria-Rennes (A.-M. Kermarrec, A. Mostefaoui, M. Raynal, E. Le Merrer, G. Trédan, V. Gramoli),
• IPSO, Inria-Rennes (F. Castella, G. Dujardin),
• CIDRE, Inria-Rennes (E. Anceaume, F. Tronel),
• POPS, Inria-Lille (N. Mitton),
• GRAND-LARGE, Inria-Saclay (S. Tixeuil),
• D-NET, Inria-Grenoble (G. Chelius, E. Fleury),
• RESO, Inria-Grenoble (I. Guérin-Lassous),
• GDD (Gestion de Données Distribuées), Lina (Labo. d'Info. de NAntes), Nantes (Yann Busnel),
• IMT Atlantique, Rennes (R. Ludinard).

Contrats industriels :

• Inria - Technicolor : Data-aggregation for large-scale distributed networks (2011 - 2014).
• Inria - Technicolor : Device-assisted distributed machine-learning on many cores (2016 - 2019).

Doctorants et post-doctorants :

• Romaric Ludinard (2011 - 2014). Encadrement : E. Anceaume (CIDRE), B. Sericola (DIONYSOS). Titre : Caractérisation locale de fautes dans les systèmes large échelle. Soutenue le 02/10/2014, financée sur le premier contrat Inria - Technicolor ci-dessus.
• Yves Mocquard (2015 - 2018). Encadrement : E. Anceaume (CIDRE), B. Sericola (DIONYSOS). Titre : Analyse probabiliste de protocoles de population. Soutenue le 13/12/2018, financée sur le projet Descent du Labex Cominlabs et sur le projet SocioPlug de l'ANR.
• Corentin Hardy (2016 - 2019). Encadrement : E. Le Merrer (Technicolor), B. Sericola (DIONYSOS). Titre : Contribution au développement de l'apprentissage profond dans les systèmes distribués. Soutenue le 08/04/2019, financée sur le second contrat Inria - Technicolor ci-dessus.
• Frédérique Robin (10/2019 - 09/2020). Encadrement : E. Anceaume (CIDRE), B. Sericola (DIONYSOS). Sujet : Modélisation mathématique de la blockchain classique et de l'architecture Sycomore. Financement Inria.

Publications :

1. E. Le Merrer, R. Ludinard, B. Sericola, G. Straub. Method for isolated anomaly detection in large-scale data processing systems.   Patent N° 12306237.4 of the European Patent Office, October 2012.
2. E. Le Merrer, R. Ludinard, B. Sericola, G. Straub. Method for isolated anomaly detection in large-scale audio/video/data processing systems.   Patent N° 13306029.3 of the European Patent Office, July 2013.

1. F. Robin, B. Sericola, E. Anceaume, Y. Mocquard. Stochastic analysis of rumor spreading with k-pull operations.  Methodology and Computing in Applied Probability, to appear 2022.
2. E. Anceaume, Y. Busnel, B. Sericola. Byzantine-tolerant uniform node sampling service in large-scale networks.   International Journal of Parallel, Emergent and Distributed Systems, to appear, 2021.
3. Y. Mocquard, F. Robin, B. Sericola, E. Anceaume. Stochastic analysis of average based distributed algorithms.   Journal of Applied Probability, to appear, 2021. pdf
4. Y. Mocquard, B. Sericola, E. Anceaume. Probabilistic Analysis of Rumor Spreading Time.   INFORMS Journal On Computing, 32(1), 2020. pdf
5. E. Anceaume, Y. Busnel, E. Schulte-Geers, B. Sericola. Optimization results for a generalized coupon collector problem.   Journal of Applied Probability, 53(2), 2016. pdf
6. E. Anceaume, Y. Busnel, B. Sericola. New results on a generalized coupon collector problem using Markov chains.   Journal of Applied Probability, 52(2), 2015. pdf
7. E. Anceaume, F. Castella, B. Sericola. Analysis of a large number of Markov chains competing for transitions.   International Journal of Systems Science, 45(3), 2014. pdf
8. E. Anceaume, F. Castella, R. Ludinard, B. Sericola. Markov Chains Competing for Transitions: Application to Large-Scale Distributed Systems.  Methodology and Computing in Applied Probability, 15(2), 2013. pdf
9. E. Anceaume, R. Ludinard, B. Sericola. Performance Evaluation of Large-Scale Dynamic Systems.  SIGMETRICS Performance Evaluation Review, special issue on Modeling Dynamic Behaviors of Complex Systems, 39(4), 2012. pdf
10. E. Anceaume, F. Brasileiro, R. Ludinard, B. Sericola, F. Tronel. Dependability evaluation of cluster-based distributed systems.  International Journal of Foundations of Computer Science, 25(2), 2011. pdf
11. A.-M. Kermarrec, E. Le Merrer, B. Sericola, G. Trédan. Second order centrality: distributed assessment of nodes importance in complex networks.  Computer Communications, special issue on Complex Networks, 34(5), 2011. pdf
12. N. Mitton, E. Fleury, I. Guérin Lassous, B. Sericola, S. Tixeuil. Self-stabilization in Self-organized Multihop Wireless Networks.  Ad Hoc & Sensor Wireless Networks, 11(1-2), 2011. pdf
13. N. Mitton, K. Paroux, B. Sericola, S. Tixeuil. Ascending Runs in Dependent Uniformly Distributed Random Variables: Application to Wireless Networks.  Methodology and Computing in Applied Probability , 12(1), 2010. pdf
14. F. Castella, G. Dujardin, B. Sericola. Moments' analysis in homogeneous Markov reward models.  Methodology and Computing in Applied Probability, 11(4), 2009. pdf

1. Y. Mocquard, B. Sericola, E. Anceaume. Analysis of Rumor Spreading with 2-pull or 3-pull Operations.   20th IEEE International Symposium on Network Computing and Applications (NCA'21), Cambridge, MA, USA, December 2021.
2. F. Robin, B. Sericola, E. Anceaume. Stochastic Analysis of Algorithms for Collecting Longitudinal Data.   20th IEEE International Symposium on Network Computing and Applications (NCA'21), Cambridge, MA, USA, December 2021.
3. G. Saunois, F. Robin, E. Anceaume, B. Sericola. Permissionless Consensus based on Proof-of-Eligibility. Short paper.   19th IEEE International Symposium on Network Computing and Applications (NCA'20), Cambridge, MA, USA, November 2020.
4. Y. Mocquard, B. Sericola, E. Anceaume. Average-based Population Protocols : Explicit and Tight Bounds of the Convergence Time. Brief announcement.   26th International Colloquium on Structural Information and Communication Complexity (SIROCCO'19), L'Aquila, Italy, July 2019.
5. E. Anceaume, A. Guellier, R. Ludinard, B. Sericola. Sycomore : un registre de transactions distribué et public au débit auto-adaptatif.   21èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL'19), Saint Laurent de la Cabrerisse, France, Juin 2019.
6. C. Hardy, E. Le Merrer, B. Sericola. MD-GAN: Multi-Discriminator Generative Adversarial Networks for Distributed Datasets.   33rd International Parallel and Distributed Processing Symposium (IPDPS'19), Rio de Janeiro, Brazil, May 2019. pdf
7. C. Hardy, E. Le Merrer, B. Sericola. Gossiping GANs.   2nd Workshop on Distributed Infrastructures for Deep Learning (DIDL'18), Rennes, France, December 2018. pdf
8. Y. Mocquard, B. Sericola, E. Anceaume. Population Protocols with Convergence Detection.   17th IEEE International Symposium on Network Computing and Applications (NCA'18), Cambridge, MA, USA, November 2018. pdf
9. E. Anceaume, A. Guellier, R. Ludinard, B. Sericola. Sycomore : a Permissionless Distributed Ledger that self-adapts to Transactions Demand.   17th IEEE International Symposium on Network Computing and Applications (NCA'18), Cambridge, MA, USA, November 2018. pdf
10. Y. Mocquard, B. Sericola, E. Anceaume. Balanced allocation and global clock in population protocols: an accurate analysis.   25th International Colloquium on Structural Information and Communication Complexity (SIROCCO'18), Ma'ale HaHamisha, Israel, June 2018. pdf
11. Y. Mocquard, B. Sericola, E. Anceaume. Probabilistic analysis of counting protocols in large-scale asynchronous and anonymous systems.   16th IEEE International Symposium on Network Computing and Applications (NCA'17), Cambridge, MA, USA, October 2017. pdf
12. C. Hardy, E. Le Merrer, B. Sericola. Distributed deep learning on edge-devices: feasibility via adaptive compression.   16th IEEE International Symposium on Network Computing and Applications (NCA'17), Cambridge, MA, USA, October 2017. Best Paper Award. pdf
13. N. Rivetti, E. Anceaume, Y. Busnel, L. Querzoni, B. Sericola. Ordonnancement dynamique pour un équilibrage de charge quasi-optimal dans les systèmes de traitement de flux.   19èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL'17), Quiberon, France, Mai 2017.
14. N. Rivetti, L. Querzoni, E. Anceaume, Y. Busnel, B. Sericola. Groupement de clés efficace pour un équilibrage de charge quasi-optimal dans les systèmes de traitement de flux.   18èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL'16), Bayonne, France, Mai 2016.
15. E. Anceaume, Y. Busnel, N. Rivetti, B. Sericola. Identifier des icebergs parmi des flux de données distribués.   18èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL'16), Bayonne, France, Mai 2016.
16. E. Anceaume, R. Ludinard, B. Sericola. L'empire romain ne doit pas être géré comme une petite île grecque.   18èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL'16), Bayonne, France, Mai 2016.
17. N. Rivetti, E. Anceaume, Y. Busnel, L. Querzoni, B. Sericola. Online Scheduling for Shuffle Grouping in Distributed Stream Processing Systems.   17th ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE'16), Trento, Italy, December 2016. pdf
18. E. Anceaume, R. Ludinard, B. Sericola. Safety Analysis of Bitcoin Improvement Proposals.   15th IEEE International Symposium on Network Computing and Applications (NCA'16), Cambridge, MA, USA, October 2016. pdf
19. Y. Mocquard, S. Robert, B. Sericola, E. Anceaume. Analysis of the Propagation Time of a Rumor in Large-Scale Distributed Systems.   15th IEEE International Symposium on Network Computing and Applications (NCA'16), Cambridge, MA, USA, October 2016. Best Student Paper Award. pdf
20. Y. Mocquard, E. Anceaume, B. Sericola. Optimal Proportion Computation with Population Protocols.   15th IEEE International Symposium on Network Computing and Applications (NCA'16), Cambridge, MA, USA, October 2016. pdf
21. E. Anceaume, R. Ludinard, B. Sericola. Relying on Consensus does not Make Bitcoin Safer.   46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Fast Abstract (DSN'16), Toulouse, France, June 2016.
22. Y. Mocquard, E. Anceaume, J. Aspnes, Y. Busnel, B. Sericola. Counting with Population Protocols.   14th IEEE International Symposium on Network Computing and Applications (NCA'15), Cambridge, MA, USA, September 2015. pdf
23. E. Anceaume, F. Castella, A. Mostéfaoui, B. Sericola. A Message-Passing and Adaptative Implementation of the Randomized Test-and-Set Object.   14th IEEE International Symposium on Network Computing and Applications (NCA'15), Cambridge, MA, USA, September 2015. pdf
24. E. Anceaume, Y. Busnel, N. Rivetti, B. Sericola. Identifying Global Icebergs in Distributed Streams.   34th International Symposium on Reliable Distributed Systems (SRDS'15), Montreal, Quebec, Canada, September 2015. pdf
25. E. Anceaume, Y. Busnel, L. Querzoni, N. Rivetti, B. Sericola. Efficient Key Grouping for Near-optimal Load Balancing in Stream Processing Systems.   9th ACM International Conference on Distributed Event-Based Systems (DEBS'15), Oslo, Norway, July 2015. pdf
26. E. Anceaume, Y. Busnel, E. Le Merrer, R. Ludinard, J.-L. Marchand, B. Sericola. Anomaly Characterization in Large Scale Networks.   44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), Atlanta, Georgia USA, June 2014. pdf
27. E. Anceaume, Y. Busnel, E. Le Merrer, R. Ludinard, J.-L. Marchand, B. Sericola, G. Straub. Anomaly Characterization Problems.   16èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL'14), Le-Bois-Plage-en-Ré, France, Juin 2014.
28. E. Anceaume, Y. Busnel, B. Sericola. Service d'échantillonage uniforme résiliant aux comportements malveillants.   16èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL'14), Le-Bois-Plage-en-Ré, France, Juin 2014.
29. E. Anceaume, Y. Busnel, B. Sericola. Uniform Node Sampling Service Robust Against Collusions of Malicious Nodes   43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), Budapest, Hungary, June 2013. pdf
30. E. Anceaume, E. Le Merrer, R. Ludinard, B. Sericola, G. Straub. FixMe: détection de défaillances isolées.   15èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL 2013), Pornic, France, Mai 2013.
31. E. Anceaume, E. Le Merrer, R. Ludinard, B. Sericola, G. Straub. FixMe: A Self-organizing Isolated Anomaly Detection Architecture for Large Scale Distributed Systems.   16th International Conference On Principles Of DIstributed Systems (OPODIS 2012), Rome, Italy, December 2012. pdf
32. E. Anceaume, R. Ludinard, B. Sericola, F. Tronel. Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems.   41st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2011), Hong Kong, China, June 2011. pdf
33. E. Anceaume, R. Ludinard, B. Sericola, F. Tronel. Modélisation et évaluation des attaques ciblées dans un overlay structuré.   15ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2011), Sainte-Maxime, France, Mai 2011.
34. E. Anceaume, R. Ludinard, B. Sericola. Analytic Study of the Impact of Churn in Cluster-Based Structured P2P Overlays.   International Conference on Communications (ICC 2010), Cape Town, South Africa, May 2010. pdf
35. E. Anceaume, R. Ludinard, B. Sericola, F. Tronel, F. Brasileiro. Analytical Study of Adversarial Strategies in Cluster-based Overlays.   2nd International Workshop on Reliability, Availability, and Security (WRAS 2009), Hiroshima, Japan, December 2009.
36. E. Anceaume, R. Ludinard, B. Sericola, F. Tronel, F. Brasileiro. Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. Brief announcement.   11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon, France, November 2009.
37. A.-M. Kermarrec, E. Le Merrer, B. Sericola, G. Trédan. Centralité du second ordre: calcul distribué de l'importance de noeuds.   11èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL 2009), Carry-Le-Rouet, France, Juin 2009.
38. A.-M. Kermarrec, E. Le Merrer, B. Sericola, G. Trédan. Evaluating the quality of a network topology through random walks. Brief announcement.  22nd International Symposium on Distributed Computing (DISC 2008), Arcachon, France, September 2008.
39. G. Chelius, E. Fleury, B. Sericola, L. Toutain, D. Binet. An evaluation of the NAP protocol for IPv6 router auto-configuration.   ACM SIGCOMM 2007 - IPv6 Workshop, Kyoto, Japan, August 2007.
40. V. Gramoli, A.-M. Kermarrec, A. Mostefaoui, M. Raynal, B. Sericola. Persistance de noyau dans les systèmes dynamiques à grande échelle.   9èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL 2007), Ile d'Oléron, France, Mai 2007.
41. V. Gramoli, A.-M. Kermarrec, A. Mostefaoui, M. Raynal, B. Sericola. Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime.   International Workshop on Reliability in Decentralized Distributed Systems (RDDS 2006), Montpellier, France, November 2006. pdf
42. N. Mitton, E. Fleury, I. Guérin Lassous, B. Sericola, S. Tixeuil. Fast Convergence in Self-Stabilizing Wireless Networks.   12th International Conference on Parallel and Distributed Systems (ICPADS 2006), Minneapolis, USA, July 2006. pdf Minneapolis, USA, July 2006.
43. N. Mitton, E. Fleury, I. Guérin-Lassous, B. Sericola, S. Tixeuil. Etude de Convergence dans les Réseaux sans Fil.  8èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL 2006), Trégastel, France, Mai 2006.

1. C. Hardy, E. Le Merrer, G. Rubino, B. Sericola. Evaluation of Random Neural Layers in Deep Neural Networks.  Workshop NIPS on Deep Learning: Bridging Theory and Practice , Long Beach, CA, USA, December 2017. pdf
2. C. Hardy, E. Le Merrer, B. Sericola. Distributed deep learning on edge-devices in the Parameter Server Model.  Workshop on Decentralized Machine Learning, Optimization and Privacy, Lille, France, September 2017. pdf

1. E. Anceaume, F. Castella, A. Mostéfaoui, B. Sericola. Performance Evaluation of a Distributed Synchronization Protocol.  Research report, hal-01283064, March 2016. pdf