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 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 (wird erscheinen, 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). (wird erscheinen)

  • Sakizloglou, "Evaluating Temporal Queries over History-aware Architectural Runtime Models", Doktorarbeit, Universität Potsdam.

Siehe dblp für eine vollständige Liste.

Aktuelle Wissenschaftliche Tätigkeiten

Mitgliedschaft in Programmkomitees: ACSOS 2024 Doctoral Symposium 

Mitarbeit in der Lehre