Homepage

• 
  Adam Shimi, Aurélie Hurault, Philippe Quéinnec. Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (3), pp.26:1 - 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩. ⟨hal-03352272⟩
• 
  Ismail Mendil, Yamine Aït-Ameur, Neeraj K. Singh, Dominique Méry, Philippe Palanque. Standard Conformance-by-Construction with Event-B. 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), European Research Consortium for Informatics and Mathematics: ERCIM, Working Group on Formal Methods for Industrial Critical Systems, Aug 2021, Paris (virtual), France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩. ⟨hal-03328649⟩
• 
  Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil. Sound Verification Procedures for Temporal Properties of Infinite-State Systems. 33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States. ⟨hal-03243129v2⟩
• 
  Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot. Jeux incomplets algébriques. Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), Jul 2021, Bordeaux, France. pp.46-53. ⟨hal-03298722⟩
• 
  José Espírito Santo, Ralph Matthes, Luís Pinto. Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic. Ugo de'Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020), 188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2021, LIPIcs : Leibniz International Proceedings in Informatics ; ISSN : 1868-8969, 978-3-95977-182-5. ⟨10.4230/LIPIcs.TYPES.2020.4⟩. ⟨hal-03255968⟩
• 
  Erwan Le Merrer, Benoît Morgan, Gilles Trédan. Setting the Record Straighter on Shadow Banning. INFOCOM 2021 - IEEE International Conference on Computer Communications, IEEE, May 2021, Virtual, Canada. pp.1-10, ⟨10.1109/INFOCOM42981.2021.9488792⟩. ⟨hal-03234771⟩
• 
  Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs. 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), Apr 2021, online, Czech Republic. ⟨10.5220/0010462901380149⟩. ⟨hal-03170814⟩
• 
  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, M 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⟩
• 
  Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh. An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. 16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩. ⟨hal-03265788⟩

253