
Dr. Lucas Sakizloglou
Akademischer Mitarbeiter
Lehrgebäude Informatik, Raum 2.34
T +49 (0) 355 69 3801
F +49 (0) 355 69 3810
Lucas.sakizloglou[at]b-tu.de
Forschungsinteresse
- Formale Verifikation des zeitlichen Verhaltens
- Skalierbar, geschichtsbewusste Laufzeitmodelle
- Graph-basierte Formalismen und Techniken
- Selbstadaptive Systeme
Aktuelle Publikationen
Sakizloglou, Giese, Lambers: "Foundations for Change-driven Query-based Runtime Monitoring of Temporal Properties." Journal: Formal Aspects of Computing, 2025
Sakizloglou, Khakharova, Lambers: "A Graph-centric Neuro-symbolic Architecture Applied to Personalized Sepsis Treatments." 1st International Workshop on Neuro-symbolic Software Engineering (NSE), held in conjunction with the 47th International Conference on Software Engineering (ICSE), 2025
Sakizloglou, Giese, Lambers: "Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models." Fundamental Approaches to Software Engineering (FASE), 2024
Lambers, Sakizloglou, Al-Wardi, Khakharova: "Taint Analysis for GraphAPIs Focusing on Broken Access Control." 2024 International Conference on Graph Transformation (ICGT), 2024 (EASST Best Practical Paper Award)
Siehe dblp für eine vollständige Liste.
Aktuelle Wissenschaftliche Tätigkeiten
Mitgliedschaft in Programmkomitees:
- 18th Health Informatics Knowledge Management Conference (HIKM 2025)
- 6th IEEE International Conference on Autonomic Computing and Self-Organizing Systems -- Doctoral Symposium (ACSOS 2025 Doctoral Symposium)
Mitarbeit in der Lehre
Seit Oktober 2021 bin ich Übungsleiter der folgenden Module.
Bachelor: Entwicklung von Softwaresystemen, Softwarepraktikum
Master: Formal Methoden für Softwaretechnik, Softwaretechnik, Software Security, Praktikum Softwaretechnik