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

EEMCS EPrints Service


Research Project: ESI/TRADER: Television Related Architecture and Design to Enhance Reliability
 Home Policy Brochure Browse Search User Area Contact Help

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
Sözer, H. and Hofmann, C. and Tekinerdogan, B. and Akşit, M. (2011) Runtime Verification of Component-Based Embedded Software. In: Proceedings of the 26th International Symposium on Computer and Information Sciences, 26-28 September 2011, London, UK. pp. 471-477. Springer Verlag. ISBN 978-1-4471-2154-1
Tekinerdogan, B. and Akşit, M. (2011) A Comparative Analysis of Software Engineering with Mature Engineering Disciplines Using a Problem-Solving Perspective. In: Modern Software Engineering Concepts and Practices: Advanced Approaches. Information Science Reference, Hershey, pp. 1-18. ISBN 978-1-60960-215-4

2010

Sözer, H. and Abreu, R. and Akşit, M. and van Gemund, A.J.C. (2010) Increasing System Availability with Local Recovery based on Fault Localization. In: Proceedings of the 10th International Conference on Quality Software, QSIC 2010, 14-15 July 2010, Zhangjiajie, China. pp. 276-281. IEEE Computer Society. ISSN 1550-6002 ISBN 978-1-4244-8078-4

2009

Boudali, H. and Sözer, H. and Stoelinga, M.I.A. (2009) Architectural Availability Analysis of Software Decomposition for Local Recovery. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 8-10 July 2009, Shanghai, China. pp. 14-22. IEEE Computer Society. ISBN 978-0-7695-3758-0
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
Sözer, H. (2009) Architecting Fault-Tolerant Software Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-135 ISBN 978-90-365-2788-0
Sözer, H. and Tekinerdogan, B. and Akşit, M. (2009) FLORA: A framework for decomposing software architecture to introduce local recovery. Software: Practice and Experience, 39 (10). pp. 869-889. ISSN 0038-0644 *** ISI Impact 0,573 ***
Sözer, H. and Tekkalmaz, M. and Korpeoglu, I. (2009) A peer-to-peer file search and download protocol for wireless ad-hoc networks. Computer Communications, 32 (1). pp. 41-50. ISSN 0140-3664 *** ISI Impact 0,815 ***

2008

Brinksma, H. and Hooman, J. (2008) Dependability for high-tech systems: an industry-as-laboratory approach. (Invited) In: Design, Automation and Test in Europe, 2008. DATE '08, 10-14 March 2008, Munich. pp. 1226-1231. IEEE Computer Society. ISBN 978-3-9810801-4-8
Sözer, H. and Tekinerdogan, B. (2008) Introducing Recovery Style for Modeling and Analyzing System Recovery. In: 7th IEEE/IFIP Working Conference on Software Architecture, 18-22 Feb 2008, Vancouver, Canada. pp. 167-176. IEEE Computer Society. ISBN 0-7695-3092-3
Tekinerdogan, B. and Sözer, H. and Akşit, M. (2008) Software Architecture Reliability Analysis using Failure Scenarios. Journal of systems and software, 81 (4). pp. 558-575. ISSN 0164-1212 *** ISI Impact 1,277 ***

2007

Sözer, H. and Hofmann, C. and Tekinerdogan, B. and Akşit, M. (2007) Detecting Mode Inconsistencies in Component-Based Embedded Software. In: DSN Workshop on Architecting Dependable Systems, 27 June 2007, Edinburgh, United Kingdom. pp. 154-160. University of Kent, Canterbury, United Kingdom. ISBN not assigned
Sözer, H. and Tekinerdogan, B. and Akşit, M. (2007) Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level. In: Architecting Dependable Systems IV. Lecture Notes in Computer Science 4615. Springer Verlag, Berlin, pp. 409-433. ISBN 978-3-540-74033-9
Tekinerdogan, B. and Hofmann, C. and Akşit, M. (2007) Modeling traceability of concerns in architectural views. In: Proceedings of the 10th international workshop on Aspect-oriented modeling, 13 March 2007, Vancouver. pp. 49-56. ACM Press. ISBN 978-1-59593-658-5

2005

Tekinerdogan, B. and Sözer, H. and Akşit, M. (2005) Software Architecture Reliability Analysis using Failure Scenarios. In: WICSA'05, 6-10 November 2005, Pittsburgh, USA. pp. 203-204. IEEE Computer Society. ISBN 0769525482

2002

Tekinerdogan, B. and Saeki, M. and Sunyé, G. and van den Broek, P.M. and Hruby, P. (2002) Automating Object-Oriented Software Development Methods. In: ECOOP 2001 Workshops. Lecture Notes in Computer Science 2323. Springer Verlag, Berlin Heidelberg, pp. 41-56. ISSN 0302-9743 ISBN 9783540436751