Lucas Sakizloglou, PhD
Postdoctoral researcher and teaching fellow
VG1C, Room 2.34
T +49 (0) 355 69 3801
F +49 (0) 355 69 3810
Lucas.sakizloglou[at]b-tu.de
Research Interests
- Formal verification of temporal behavior
- Scalable, history-aware runtime models
- Graph-based formalisms and technologies
- Self-adaptive systems
Recent Publications
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. (to appear, 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). (to appear)
Sakizloglou, "Evaluating Temporal Queries over History-aware Architectural Runtime Models", PhD Thesis, Potsdam University.
A complete list is available at dblp.
Recent Academic Activities
Member of Doctoral Symposium committee in ACSOS 2024
Teaching
Since October 2021, I am the lead exercise instructor in the following modules.
Bachelor: Software Systems Development, Software Practicum
Master: Formal Methods for Software Engineering, Software Engineering, Software Security, Software Engineering Practicum