State Space Representation for Verification of Open Systems. - Irem Aktug; Dilian Gurov (AMAST, 2006)

Provably Correct Runtime Monitoring. - Irem Aktug; Mads Dam; Dilian Gurov (FM, 2008)

Program Models for Compositional Verification. - Marieke Huisman; Irem Aktug; Dilian Gurov (ICFEM, 2008)

ConSpec - A formal language for policy specification. - Irem Aktug; Katsiaryna Naliuka (Sci. Comput. Program., 2008)

Algorithmic Verification Techniques for Mobile Code. - Irem Aktug (2008)