2024W

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

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

• 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

• 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)