Irem Aktug

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Royal Institute of Technology, Stockholm, Sweden (PHD)

Education History

Royal Institute of Technology, Stockholm, Sweden

PHD

Publications

Irem Aktug, Mads Dam, Dilian Gurov
Provably correct runtime monitoring. J. Log. Algebraic Methods Program. 78 (5) (2009)
Marieke Huisman, Irem Aktug, Dilian Gurov
Program Models for Compositional Verification. ICFEM (2008)
Irem Aktug, Mads Dam, Dilian Gurov
Provably Correct Runtime Monitoring. FM (2008)
Irem Aktug, Katsiaryna Naliuka
ConSpec - A Formal Language for Policy Specification. Electron. Notes Theor. Comput. Sci. 197 (1) (2008)
Irem Aktug, Katsiaryna Naliuka
ConSpec - A formal language for policy specification. Sci. Comput. Program. 74 (1-2) (2008)
Irem Aktug, Dilian Gurov
State Space Representation for Verification of Open Systems. AMAST (2006)