Irem Aktug

	2009
6		Irem Aktug, Mads Dam, Dilian Gurov: Provably correct runtime monitoring. J. Log. Algebr. Program. 78(5): 304-339 (2009)
	2008
5		Irem Aktug, Mads Dam, Dilian Gurov: Provably Correct Runtime Monitoring. FM 2008: 262-277
4		Marieke Huisman, Irem Aktug, Dilian Gurov: Program Models for Compositional Verification. ICFEM 2008: 147-166
3		Irem Aktug, Katsiaryna Naliuka: ConSpec - A Formal Language for Policy Specification. Electr. Notes Theor. Comput. Sci. 197(1): 45-58 (2008)
2		Irem Aktug, Katsiaryna Naliuka: ConSpec - A formal language for policy specification. Sci. Comput. Program. 74(1-2): 2-12 (2008)
	2006
1		Irem Aktug, Dilian Gurov: State Space Representation for Verification of Open Systems. AMAST 2006: 5-20

Coauthor Index

1	Mads Dam	[5] [6]
2	Dilian Gurov	[1] [4] [5] [6]
3	Marieke Huisman	[4]
4	Katsiaryna Naliuka	[2] [3]

Colors in the list of coauthors