Search Results - "SAKIZLOGLOU, LUCAS"

Incremental execution of temporal graph queries over runtime models with history and its applications.

Authors: Sakizloglou, Lucas Ghahremani, Sona Barkowsky, Matthias et al.

Source: Software & Systems Modeling; Oct2022, Vol. 21 Issue 5, p1789-1829, 41p

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

Authors: Schneider, Sven Maximova, Maria Sakizloglou, Lucas et al.

Source: International Journal on Software Tools for Technology Transfer; Jun2021, Vol. 23 Issue 3, p411-488, 78p