• 
  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⟩
• 
  Houssam Hajj Hassan, Georgios Bouloukakis, Luca Scalzotto, Nirmine Khaled, Denis Conan, et al.. A message broker architecture for adaptive data exchange in the IoT. 21st IEEE International Conference on Software Architecture (ICSA), IEEE, Jun 2024, Charminar, Hyderabad, India. ⟨hal-04514047⟩
• 
  Nikolaos Papadakis, Georgios Bouloukakis, Kostas Magoutis. CCDUIT: a software overlay for cross-federation collaboration between data spaces. 21st IEEE International Conference on Software Architecture (ICSA), IEEE, Jun 2024, Charminar, Hyderabad, India. ⟨hal-04514045⟩
• 
  Jun Ma, Georgios Bouloukakis, Ajay Kattepur, Roberto Yus, Denis Conan. DEMSA: a DT-enabled middleware for self-adaptive smart spaces. 1st International Workshop on Middleware for Digital Twin (Midd4DT '23), ACM/IFIP, Dec 2023, Bologna, Italy. pp.1-6, ⟨10.1145/3631319.3632303⟩. ⟨hal-04514015⟩
• 
  Jun Ma, Dimitrije Panic, Roberto Yus, Georgios Bouloukakis. Artifact: Co-zyBench: a thermal comfort provision benchmark for smart buildings. PerCom Workshops - 22nd International Conference on Pervasive Computing and Communications (PerCom 2024), IEEE, Mar 2024, Biarritz, France. ⟨hal-04514009⟩

213

436