Homepage

• 
  Adam Shimi. On the Power of Rounds: Explorations of the Heard-Of Model. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Toulouse, 2020. English. ⟨tel-03123969⟩
• 
  Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali. Event-B formalization of a variability-aware component model patterns framework. Science of Computer Programming, Elsevier, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩. ⟨hal-03097697⟩
• 
  Nikolena Christofi, Claude Baron, X Pucel, M Pantel, M Machin, et al.. Adopting a model-based approach for satellite operations' diagnosis. 13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco. ⟨hal-02946817⟩
• 
  Albert Benveniste, Kim Larsen, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Interfaces. [Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40. ⟨hal-02985273⟩
• 
  Erwan Le Merrer, Benoît Morgan, Gilles Trédan. Bug ou ban ? Une Perspective Topologique sur le Shadow Banning. ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4. ⟨hal-02875595⟩
• 
  Adam Shimi, Armando Castañeda. K-set agreement bounds in round-based models through combinatorial topology. 39th ACM Symposium on Principles of Distributed Computing (PODC 2020), Aug 2020, Salerno, Italy. pp.395-404. ⟨hal-02950742⟩
• 
  Adam Shimi, Aurélie Hurault, Philippe Quéinnec. Derivation of Heard-Of Predicates From Elementary Behavioral Patterns. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149. ⟨hal-02947787⟩
• 
  Jean-Baptiste Raclet, Franck Silvestre, Mika Pons. Mise en oeuvre d’approches pédagogiques fondées sur des pratiques de l’industrie du logiciel pour l’apprentissage de la programmation. DIDAPRO 8 - Colloque de didactique de l’informatique, Feb 2020, Lille, France. ⟨hal-02904169⟩
• 
  Jean-Baptiste Raclet, Franck Silvestre, Mika Pons. Mise en oeuvre d'approches pédagogiques fondées sur des pratiques de l'industrie du logiciel pour l'apprentissage de la programmation. 2020 Colloque Didapro 8 - DidaSTIC : L’informatique, objets d’enseignements, Feb 2020, Lille, France. pp.1-12. ⟨hal-02960444⟩
• 
  Maxim Kolomeets, Amira Benachour, Didier El Baz, Andrey Chechulin, Martin Strecker, et al.. Reference architecture for social networks graph analysis tool. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Innovative Information Science & Technology Research Group (ISYOU), 2019, 10 (4), pp.109-125. ⟨10.22667/JOWUA.2019.12.31.109⟩. ⟨hal-02443865⟩

234