• 
  Asfand Yar, Akram Idani, Yves Ledru, Simon Collart-Dutilleul, Amel Mammar, et al.. An iterative formal model-driven approach to railway systems validation. 28th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2024, Limassol (Chypre), Cyprus. pp.272 - 289, ⟨10.1007/978-3-031-66456-4_15⟩. ⟨hal-04731687⟩
• 
  Ahlem Makni, Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami. A survey on event log extraction from blockchain. 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC), Nov 2023, Sousse, Tunisia. pp.159-169. ⟨hal-04717874⟩
• 
  Christelle Perrin, Manel Benzerafa, Annie Bartoli, Sylvie Yung, Quentin Bedard, et al.. Les cahiers de recherche du LAREQUOI Vol. 2019/2. Les cahiers de recherche du LAREQUOI, 2, 2019. ⟨hal-04647945⟩
• 
  Houssam Hajj Hassan, Jun Ma, Georgios Bouloukakis, Roberto Yus, Ajay Kattepur. Efficient scheduling of smart building energy systems using AI planning. International Conference on ICT for Sustainability (ICT4S), IEEE, Jun 2024, Stockholm, Sweden. ⟨hal-04605818⟩
• 
  Mohamed Graiet, Mourad Kmimech, Lazhar Hamel, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. Towards an Approach of Formal Verification of Web Service Composition. International Journal On Advances in Intelligent Systems, 2011. ⟨hal-04547233⟩

218

446