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