2025W

• Formal Methods in Systems Engineering / 192.164 / VU
• Seminar in Computer Science (Formal Methods in Systems Engineering) / 192.185 / SE
• Seminar in Logic (Formal Methods in Systems Engineering) / 192.184 / SE

2026S

• Program and System Verification / 184.741 / VU

• On Local Limits of Sparse Random Graphs: Color Convergence and the Refined Configuration Model / Pluska, A., & Malhotra, S. (2025). On Local Limits of Sparse Random Graphs: Color Convergence and the Refined Configuration Model. In 39th Annual Conference on Neural Information Processing Systems (NeurIPS 2025). 39th Annual Conference on Neural Information Processing Systems (NeurIPS 2025), San Diego, United States of America (the). Curran Associates, Inc.
  Project: VASSAL (2024–2027)
• Logical Distillation of Graph Neural Networks / Pluska, A., Welke, P., Gärtner, T., & Malhotra, S. (2024). Logical Distillation of Graph Neural Networks. In ICML 2024 Workshop on Mechanistic Interpretability. ICML 2024 Workshop on Mechanistic Interpretability, Vienna, Austria. https://doi.org/10.34726/7099
  Download: PDF (309 KB)
  Project: StruDL (2023–2027)
• Logical Distillation of Graph Neural Networks / Pluska, A., Welke, P., Gärtner, T., & Malhotra, S. (2024). Logical Distillation of Graph Neural Networks. In P. Marquis, M. Ortiz, & M. Pagnucco (Eds.), Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 920–930). IJCAI Organization. https://doi.org/10.24963/kr.2024/86
  Download: PDF (213 KB)
  Projects: NanoX (2024–2028) / StruDL (2023–2027)
• Embedding Intuitionistic into Classical Logic / Pluska, A., & Zuleger, F. (2023). Embedding Intuitionistic into Classical Logic. In R. Piskac & A. Voronkov (Eds.), Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 329–349). https://doi.org/10.29007/b294

• Attack detection with microarchitectural traces and machine learning / da Silva Barros, M. (2025). Attack detection with microarchitectural traces and machine learning [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.133208
  Download: PDF (1.2 MB)