Lucas Sakizloglou

17 papers A 1B 5Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Taint Analysis for Graph APIs Focusing on Broken Access Control.
Log. Methods Comput. Sci.
Leen Lambers, Lucas Sakizloglou, Taisiya Khakharova, Fernando Orejas
2025 — conf
A Graph-Centric Neuro-Symbolic Architecture Applied to Personalized Sepsis Treatments.
NSE@ICSE
Lucas Sakizloglou, Taisiya Khakharova, Leen Lambers
2025 J jnl
Exploring a Graph-based Approach to Offline Reinforcement Learning for Sepsis Treatment.
CoRR
Taisiya Khakharova, Lucas Sakizloglou, Leen Lambers
2025 J jnl
Taint Analysis for Graph APIs Focusing on Broken Access Control.
CoRR
Leen Lambers, Lucas Sakizloglou, Taisiya Khakharova, Fernando Orejas
2024 B conf
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models.
FASE
Lucas Sakizloglou, Holger Giese, Leen Lambers
2024 — conf
On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems.
SESoS
Lucas Sakizloglou, Taisiya Khakharova, Florian Ruehs, Leen Lambers
2024 B conf
Taint Analysis for Graph APIs Focusing on Broken Access Control.
ICGT
Leen Lambers, Lucas Sakizloglou, Osama Al-Wardi, Taisiya Khakharova
2023 — —
Evaluating temporal queries over history-aware architectural runtime models.
Lucas Sakizloglou
2022 J jnl
Incremental execution of temporal graph queries over runtime models with history and its applications.
Softw. Syst. Model.
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
2021 J jnl
Formal testing of timed graph transformation systems using metric temporal graph logic.
Int. J. Softw. Tools Technol. Transf.
Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese
2021 B conf
Keeping Pace with the History of Evolving Runtime Models.
FASE
Lucas Sakizloglou, Matthias Barkowsky, Holger Giese
2020 J jnl
A Scalable Querying Scheme for Memory-efficient Runtime Models with History.
CoRR
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
2020 A conf
A scalable querying scheme for memory-efficient runtime models with history.
MoDELS
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
2020 B conf
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic.
ICGT
Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese
2020 J jnl
Towards Highly Scalable Runtime Models with History.
CoRR
Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese
2020 — conf
Towards highly scalable runtime models with history.
SEAMS@ICSE
Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese
2019 B conf
Metric Temporal Graph Logic over Typed Attributed Graphs.
FASE
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider