Homepage

• 
  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⟩
• 
  Ulrich Berger, Ralph Matthes, Anton Setzer. Martin Hofmann's Case for Non-Strictly Positive Data Types. Peter Dybjer; José Espírito Santo; Luís Pinto. 24th International Conference on Types for Proofs and Programs (TYPES 2018), 130, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.1:1-1:22, 2019, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-106-1. ⟨10.4230/LIPIcs.TYPES.2018.1⟩. ⟨hal-02365814⟩
• 
  Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, et al.. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩. ⟨hal-02942767⟩

232