Lucas Sakizloglou
Works:
- Evaluating temporal queries over history-aware architectural runtime models
- Incremental execution of temporal graph queries over runtime models with history and its applications
- Formal testing of timed graph transformation systems using metric temporal graph logic
- Metric temporal graph logic over typed attributed graphs