Lucas Sakizloglou

Orcid: 0000-0001-6971-1589

According to our database1, Lucas Sakizloglou authored at least 9 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023
Evaluating temporal queries over history-aware architectural runtime models.
PhD thesis, 2023

2022
Incremental execution of temporal graph queries over runtime models with history and its applications.
Softw. Syst. Model., 2022

2021
Formal testing of timed graph transformation systems using metric temporal graph logic.
Int. J. Softw. Tools Technol. Transf., 2021

Keeping Pace with the History of Evolving Runtime Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020
A scalable querying scheme for memory-efficient runtime models with history.
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.
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.
Proceedings of the Graph Transformation - 13th International Conference, 2020

2019
Metric Temporal Graph Logic over Typed Attributed Graphs.
Proceedings of the Fundamental Approaches to Software Engineering, 2019


  Loading...