Metric Temporal Graph Logic over Typed Attributed Graphs. - Holger Giese; Maria Maximova; Lucas Sakizloglou; Sven Schneider 001 (FASE, 2019)

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. - Sven Schneider 001; Lucas Sakizloglou; Maria Maximova; Holger Giese (ICGT, 2020)

Towards highly scalable runtime models with history. - Lucas Sakizloglou; Sona Ghahremani; Thomas Brand; Matthias Barkowsky; Holger Giese (SEAMS@ICSE, 2020)

A scalable querying scheme for memory-efficient runtime models with history. - Lucas Sakizloglou; Sona Ghahremani; Matthias Barkowsky; Holger Giese (MoDELS, 2020)

Keeping Pace with the History of Evolving Runtime Models. - Lucas Sakizloglou; Matthias Barkowsky; Holger Giese (FASE, 2021)

Formal testing of timed graph transformation systems using metric temporal graph logic. - Sven Schneider 001; Maria Maximova; Lucas Sakizloglou; Holger Giese (Int. J. Softw. Tools Technol. Transf., 2021)

Incremental execution of temporal graph queries over runtime models with history and its applications. - Lucas Sakizloglou; Sona Ghahremani; Matthias Barkowsky; Holger Giese (Softw. Syst. Model., 2022)

Evaluating temporal queries over history-aware architectural runtime models. - Lucas Sakizloglou (2023)

Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. - Lucas Sakizloglou; Holger Giese; Leen Lambers (FASE, 2024)

Taint Analysis for Graph APIs Focusing on Broken Access Control. - Leen Lambers; Lucas Sakizloglou; Osama Al-Wardi; Taisiya Khakharova (ICGT, 2024)

On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems. - Lucas Sakizloglou; Taisiya Khakharova; Florian Ruehs; Leen Lambers (SESoS, 2024)

Supplement to FASE 2024 Special Issue Submission in J. FAC. - Lucas Sakizloglou; Holger Giese; Leen Lambers (Zenodo, 2024)

A Graph-Centric Neuro-Symbolic Architecture Applied to Personalized Sepsis Treatments. - Lucas Sakizloglou; Taisiya Khakharova; Leen Lambers (NSE@ICSE, 2025)

Taint Analysis for Graph APIs Focusing on Broken Access Control. - Leen Lambers; Lucas Sakizloglou; Taisiya Khakharova; Fernando Orejas (CoRR, 2025)

Supplement to FASE 2024 Special Issue Submission in J. FAC. - Lucas Sakizloglou; Holger Giese; Leen Lambers (Zenodo, 2025)