EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


Author: Malakuti Khah Olun Abadi, S.
Home Policy Brochure Browse Search User Area Contact Help

2012

Malakuti Khah Olun Abadi, S. and Akşit, M. (2012) Evolution of Composition Filters to Event Composition. In: 27th ACM Symposium on Applied Computing (SAC 2012), 26-30 Mar 2012, Riva del Garda, Italy. pp. 1850-1857. ACM. ISBN 978-1-4503-0857-1
Malakuti Khah Olun Abadi, S. and te Brinke, S. and Bergmans, L.M.J. and Bockisch, C.M. (2012) Towards Modular Resource-Aware Applications. In: Proceedings of the 3rd international workshop on Variability & Composition (VariComp 2012), 26 Mar 2012, Potsdam, Germany. pp. 13-17. ACM. ISBN 978-1-4503-1101-4

2011

Bockisch, C.M. and Malakuti Khah Olun Abadi, S. and Akşit, M. and Katz, S. (2011) Making aspects natural: events and composition. In: Tenth International Conference on Aspect-Oriented Software Development, AOSD 2011, 21-25 Mar 2011, Porto de Galinhas, Brazil. pp. 285-299. ACM. ISBN 978-1-4503-0605-8
Malakuti Khah Olun Abadi, S. (2011) Event Composition Model: Achieving Naturalness in Runtime Enforcement. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-205 ISBN 978-90-365-3246-4
Malakuti Khah Olun Abadi, S. and Akşit, M. and Bockisch, C.M. (2011) Distribution-Transparency in Runtime Verification. In: Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011, 26-28 May 2011, Busan, Korea. pp. 328-335. IEEE Communications Society. ISBN 978-1-4577-0524-3
Malakuti Khah Olun Abadi, S. and Akşit, M. and Bockisch, C.M. (2011) Runtime Verification in Distributed Computing. Journal of Convergence, 2 (1). pp. 1-10. ISSN 2093-7741

2010

Ciraci, S. and Malakuti Khah Olun Abadi, S. and Katz, S. and Akşit, M. (2010) Checking the Correspondence Between UML models and Implementation. In: 1st International Conference on Runtime Verification, 1-4 Nov 2010, Malta. pp. 198-213. Lecture Notes in Computer Science 6418. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16611-2

2009

Malakuti Khah Olun Abadi, S. and Bockisch, C.M. and Akşit, M. (2009) Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software. In: The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009, 16-19 Nov 2009, Mysore, India. pp. 31-40. IEEE Computer Society. ISBN 978-0-7695-3878-5
Malakuti Khah Olun Abadi, S. and Bockisch, C.M. and Akşit, M. (2009) A Rule Set to Detect Interference of Runtime Enforcement Mechanisms. In: The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009, 16-19 Nov 2009, Mysore, India. IEEE Computer Society. ISBN not assigned