Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005
Number of items: 24.

2013

Roo, Arjan de and Sözer, Hasan and Bergmans, Lodewijk and Aksit, Mehmet (2013) MOO: An architectural framework for runtime optimization of multiple system objectives in embedded control software. Journal of systems and software, 86 (10). pp. 2502-2519. ISSN 0164-1212

Sözer, Hasan and Nouta, Sander and Wombacher, Andreas and Perona, Paolo (2013) DAPNA: an architectural framework for data processing networks. In: 28th International Symposium on Computer and Information Sciences, ISCIS 2013, 28-29 October 2013, Paris, France (pp. pp. 221-229).

2012

Roo, Arjan de and Sözer, Hasan and Aksit, Mehmet (2012) Verification and analysis of domain-specific models of physical characteristics in embedded control software. Information and software technology, 54 (12). pp. 1432-1453. ISSN 0950-5849

Roo, Arjan de and Sözer, Hasan and Aksit, Mehmet (2012) Composing domain-specific physical models with general-purpose software modules in embedded control software. Software and systems modeling . ISSN 1619-1366

Sözer, Hasan and Hofmann, Christian and Tekinerdoğan, Bedir and Aksit, Mehmet (2012) Runtime Verification of Component-Based Embedded Software. In: 26th International Symposium on Computer and Information Sciences, 26-28 September 2011, London, UK (pp. pp. 471-477).

Sözer, Hasan and Tekinerdogan, Bedir and Aksit, Mehmet (2012) Optimizing decomposition of software architecture for local recovery. Software quality journal, 21 (2). pp. 203-240. ISSN 0963-9314

Tekinerdogan, Bedir and Sözer, Hasan and Aksit, Mehmet (2012) Feature-based rational management system for supporting software architecture adaptation. International Journal of Software Engineering and Knowledge Engineering, 22 (7). pp. 945-964. ISSN 0218-1940

2011

Ciraci, Selim and Sözer, Hasan and Aksit, Mehmet (2011) Guiding Architects in Selecting Architectural Evolution Alternatives. In: 5th European Conference on Software Architecture, ECSA 2011, 13-16 Sept 2011, Essen, Germany (pp. pp. 252-260).

Ciraci, Selim and Sözer, Hasan and Aksit, Mehmet and Havinga, Wilke (2011) Execution Constraint Verification of Exception Handling on UML Sequence Diagrams. In: Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June 2011, Jeju Island, Korea (pp. pp. 31-40).

Hatun, Kardelen and Bockisch, Christoph and Sözer, Hasan and Aksit, Mehmet (2011) A feature model and development approach for schedulers. In: 1st Workshop on Modularity in Systems Software, MISS 2011, 22 March 2011, Porto de Galinhas, Brazil.

Roo, Arjan de and Sözer, Hasan and Aksit, M. (2011) Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. In: Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June 2011, Jeju Island, Korea (pp. pp. 41-50).

2010

Sözer, Hasan and Abreu, Rui and Aksit, Mehmet and Gemund, Arjan J.C. van (2010) Increasing System Availability with Local Recovery based on Fault Localization. In: 10th International Conference on Quality Software, QSIC 2010, 14-15 July 2010, Zhangjiajie, China (pp. pp. 276-281).

2009

Boudali, Hichem and Sözer, Hasan and Stoelinga, Mariëlle (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. pp. 14-22).

Roo, Arjan de and Sözer, Hasan and Aksit, Mehmet (2009) An Architectural Style for Optimizing System Qualities in Adaptive Embedded Systems using Multi-Objective Optimization. In: 8th Working IEEE/IFIP Conference on Software Architecture, 14-17 September 2009, Cambridge, UK (pp. pp. 349-352).

Sözer, Hasan (2009) Architecting fault-tolerant software systems. thesis.

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

Sözer, Hasan and Tekinerdogan, Bedir and Aksit, Mehmet (2009) FLORA: A framework for decomposing software architecture to introduce local recovery. Software: Practice and Experience, 39 (10). pp. 869-889. ISSN 0038-0644

2008

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. pp. 167-176).

Tekinerdogan, Bedir and Sozer, Hasan and Aksit, Mehmet (2008) Software architecture reliability analysis using failure scenarios. Journal of Systems and Software, 81 (4). pp. 558-575. ISSN 0164-1212

2007

Sozer, Hasan and Tekinerdogan, Bedir and Aksit, Mehmet (2007) Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level. In: Architecting dependable systems IV. Springer Berlin, Berlin, pp. 409-433. ISBN 9783540740339

Sözer, H. and Hofmann, C. and Tekinerdogan, B. and Aksit, M. (2007) Detecting Mode Inconsistencies in Component-Based Embedded Software. In: DSN Workshop on Architecting Dependable Systems, 27 June 2007, Edinburgh, United Kingdom (pp. pp. 154-160).

2006

Tekkalmaz, M. and Sözer, H. and Korpeoglu, I. (2006) Distributed Construction and Maintenance of Bandwidth and Energy Efficient Bluetooth Scatternets. IEEE Transactions on Parallel and Distributed Systems, 17 (9). pp. 963-974. ISSN 1045-9219

2005

Tekinerdogan, Bedir and Sözer, Hasan and Aksit, Mehmet (2005) Software Architecture Reliability Analysis using Failure Scenarios. In: 5th Working IEEE/IFIP Conference on Software Architecture, WICSA, 6-10 November 2005, Pittsburgh, PA, USA (pp. pp. 203-204).

Tekkalmaz, M. and Sözer, H. and Korpeoglu, I. (2005) Distributed Construction and Maintenance of Bandwidth-Efficient Bluetooth Scatternets. In: Communications, 2005. ICC 2005. 2005 IEEE International Conference on, 16-20 May 2005, Seoul, Korea (pp. 3223- 3229).

This list was generated on Thu Jul 31 05:10:01 2014 CEST.