2022W

• Internet of Things / 182.753 / VU
• Practical Project in Computer Engineering / 182.716 / PR
• Project Computer Engineering / 182.762 / PR
• Seminar for PhD students / 182.008 / SE

2023S

• GPU Architectures and Computing / 182.731 / VU
• Introduction to Logical Methods in Computer Science / 184.766 / VO

• High-dimensional statistical learning: New methods to advance economic and sustainability policies
  2019 – 2024 / Austrian Science Fund (FWF) / Publications: 148713, 86046

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

• Controlling timed automata against MTL specifications with TACoS / Hofmann, T., & Schupp, S. (2023). Controlling timed automata against MTL specifications with TACoS. Science of Computer Programming, 225, Article 102898. https://doi.org/10.1016/j.scico.2022.102898
• ARCH-COMP22 Category Report: Stochastic Models / Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S., & Willemsen, L. (2022). ARCH-COMP22 Category Report: Stochastic Models. In G. Frehse, Matthias Althoff, E. Schoitsch, & Jeremie Guiochet (Eds.), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141). EasyChair. https://doi.org/10.29007/lsvc
• Recent developments in theory and tool support for hybrid systems verification with HyPro / Schupp, S., Ábrahám, E., & Ebert, T. (2022). Recent developments in theory and tool support for hybrid systems verification with HyPro. Information and Computation, 289(Part A), Article 104945. https://doi.org/10.1016/j.ic.2022.104945
• Controller verification meets controller code / Freiberger, F., Schupp, S., Hermanns, H., & Ábrahám, E. (2021). Controller verification meets controller code. In Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE’21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid), International. Association for Computing Machinery. https://doi.org/10.1145/3487212.3487337
• TACoS: A Tool for MTL Controller Synthesis / Hofmann, T., & Schupp, S. (2021). TACoS: A Tool for MTL Controller Synthesis. In Software Engineering and Formal Methods (pp. 372–379). 13085. https://doi.org/10.1007/978-3-030-92124-8_21
• Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction / Pilch, C., Schupp, S., & Remke, A. (2021). Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. In Quantitative Evaluation of Systems (pp. 435–456). 12846. https://doi.org/10.1007/978-3-030-85172-9_23