2024W

• Stochastic Foundations of Cyber-Physical Systems / 182.763 / VU

• EdgeAI: Technologies for Optimized Performance - Embedded Processing
  2022 – 2025 / Austrian Research Promotion Agency (FFG)
  Publication: 208706

• DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications / Qu, M., He, J., Tucakovic, Z., Bartocci, E., Nickovic, D., Isakovic, H., & Grosu, R. (2024). DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. In DAC ’24: Proceedings of the 61st ACM/IEEE Design Automation Conference (pp. 1–6). https://doi.org/10.1145/3649329.3658250
  Projects: EdgeAI (2022–2025) / TAIGER (2023–2027)
• TD-Magic: From Pictures of Timing Diagrams To Formal Specifications / He, J., Nickovic, D., Bartocci, E., & Grosu, R. (2023). TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. In 2023 60th ACM/IEEE Design Automation Conference (DAC) (pp. 1–6). IEEE. https://doi.org/10.1109/DAC56929.2023.10247685
  Project: ADEX (2020–2024)
• DeepSTL / He, J., Bartocci, E., Ničković, D., Isakovic, H., & Grosu, R. (2022). DeepSTL. In ICSE ’22: Proceedings of the 44th International Conference on Software Engineering (pp. 610–622). Association for Computing Machinery. https://doi.org/10.1145/3510003.3510171

• Optimization Strategies for Locating Extrema in a 5G Cellular Transceiver Model / Fromherz, T. (2025). Optimization Strategies for Locating Extrema in a 5G Cellular Transceiver Model [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.122762
  Download: PDF (1.74 MB)
• Attentional neural network based dynamic object detection for autonomous multi-agent systems / Scheuchenstuhl, D. (2023). Attentional neural network based dynamic object detection for autonomous multi-agent systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.101601
  Download: PDF (3.27 MB)