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