selected publications

• conference paper

  • Your smart home exchanged 3M messages: defining and analyzing smart device passive mode.  . 2025
  • Efficient Scheduling of Smart Building Energy Systems Using AI Planning.  . 76-86. 2024
  • Artifact: Co-zyBench: A Thermal Comfort Provision Benchmark for Smart Buildings.  2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops). 9-10. 2024
  • Co-zyBench: Using Co-Simulation and Digital Twins to Benchmark Thermal Comfort Provision in Smart Buildings.  . 25-35. 2024
  • DEMSA: a DT-enabled Middleware for Self-adaptive Smart Spaces.  . 1-6. 2023
  • Artifact: SmartSPEC: Customizable Smart Space Datasets via Event-driven Simulations.  2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops). 183-184. 2022
  • SmartSPEC: Customizable Smart Space Datasets via Event-driven Simulations.  . 152-162. 2022