selected publications
-
academic article
- Online Reconfiguration of Latency-Aware IoT Services in Edge Networks. IEEE Internet of Things Journal. 9:17035-17046. 2021
- Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models. IEEE Access. 6:59843-59852. 2018
-
conference paper