EEMCS EPrints Service
|
||||||||||||||||
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
|
||||||||||||||||