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, 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). (wird erscheinen)
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)
Sakizloglou, Khakharova, Ruehs, Lambers: "On an Exemplar Supporting Model-based Quality Assurance Research on Healthcare Systems-of-Systems", 12th International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS), held in conjunction with the 46th International Conference on Software Engineering (ICSE).
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