Lucas Sakizloglou

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Graph Transformation

Temporal Properties

Highly Scalable

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Lucas Sakizloglou, Holger Giese, Leen Lambers
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. FASE (2024)
Lucas Sakizloglou, Taisiya Khakharova, Florian Ruehs, Leen Lambers
On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems. SESoS@ICSE (2024)
Leen Lambers, Lucas Sakizloglou, Osama Al-Wardi, Taisiya Khakharova
Taint Analysis for Graph APIs Focusing on Broken Access Control. ICGT (2024)
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
Incremental execution of temporal graph queries over runtime models with history and its applications. Softw. Syst. Model. 21 (5) (2022)
Lucas Sakizloglou, Matthias Barkowsky, Holger Giese
Keeping Pace with the History of Evolving Runtime Models. FASE (2021)
Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese
Formal testing of timed graph transformation systems using metric temporal graph logic. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese
Towards Highly Scalable Runtime Models with History. CoRR (2020)
Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. ICGT (2020)
Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese
Towards highly scalable runtime models with history. SEAMS@ICSE (2020)
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
A scalable querying scheme for memory-efficient runtime models with history. MoDELS (2020)
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
A Scalable Querying Scheme for Memory-efficient Runtime Models with History. CoRR (2020)
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
Metric Temporal Graph Logic over Typed Attributed Graphs. FASE (2019)