Irem Aktug

According to our database, Irem Aktug authored at least 5 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Provably correct runtime monitoring.

Irem Aktug, Mads Dam, Dilian Gurov

J. Log. Algebraic Methods Program., 2009

2008

Algorithmic Verification Techniques for Mobile Code.

Irem Aktug

PhD thesis, 2008

ConSpec - A formal language for policy specification.

Irem Aktug, Katsiaryna Naliuka

Sci. Comput. Program., 2008

Program Models for Compositional Verification.

Marieke Huisman, Irem Aktug, Dilian Gurov

Proceedings of the Formal Methods and Software Engineering, 2008

2006

State Space Representation for Verification of Open Systems.

Irem Aktug, Dilian Gurov

Proceedings of the Algebraic Methodology and Software Technology, 2006