Lucas Sakizloglou

According to our database, Lucas Sakizloglou authored at least 11 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems.

Lucas Sakizloglou, Taisiya Khakharova, Florian Ruehs, Leen Lambers

Proceedings of the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems, 2024

Taint Analysis for Graph APIs Focusing on Broken Access Control.

Leen Lambers, Lucas Sakizloglou, Osama Al-Wardi, Taisiya Khakharova

Proceedings of the Graph Transformation - 17th International Conference, 2024

Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models.

Lucas Sakizloglou, Holger Giese, Leen Lambers

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Evaluating temporal queries over history-aware architectural runtime models.

Lucas Sakizloglou

PhD thesis, 2023

2022

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

2021

Formal testing of timed graph transformation systems using metric temporal graph logic.

Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese

Int. J. Softw. Tools Technol. Transf., 2021

Keeping Pace with the History of Evolving Runtime Models.

Lucas Sakizloglou, Matthias Barkowsky, Holger Giese

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

A scalable querying scheme for memory-efficient runtime models with history.

Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Towards highly scalable runtime models with history.

Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic.

Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Metric Temporal Graph Logic over Typed Attributed Graphs.

Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider

Proceedings of the Fundamental Approaches to Software Engineering, 2019