• 
  Amel Mammar. An Event-B Model of a Mechanical Lung Ventilator. Rigorous State-Based Methods - 10th International Conference, {ABZ}, Jun 2024, Bergame (Italie), Italy. ⟨hal-04849848⟩
• 
  Amel Mammar, Marc Frappier. Modeling of a speed control system using Event-B. International Journal on Software Tools for Technology Transfer, 2024. ⟨hal-04849841⟩
• 
  Amel Mammar, Marc Frappier, Régine Laleau. An Event-B model of an automotive adaptive exterior light system. International Journal on Software Tools for Technology Transfer, 2024. ⟨hal-04849822⟩
• 
  Rodrigo Canek, Pedro Borges, Chantal Taconet. Analysis of the impact of interaction patterns and IoT protocols on energy consumption of IoT consumer applications. 17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2022, Lucca, Italy. pp.131-147, ⟨10.1007/978-3-031-16092-9_9⟩. ⟨hal-04827160⟩
• 
  Olivier Berger, Quang Vu Dang, Christian Bac. Collaboration avec des projets libres - enjeux, difficultés et bonnes pratiques. JRES (Journées réseaux de l'enseignement et de la recherche ) 2007, Renater, Nov 2007, Strasbourg, France. ⟨hal-04802911v2⟩

233

449