Irem Aktug

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

Collaborative distances:

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

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

Provably Correct Runtime Monitoring.

Irem Aktug, Mads Dam, Dilian Gurov

Proceedings of the FM 2008: Formal Methods, 2008

2006

State Space Representation for Verification of Open Systems.

Irem Aktug, Dilian Gurov

Proceedings of the Algebraic Methodology and Software Technology, 2006