Author Publications

2012

Roo de, Arjan 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 de, Arjan 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

Roo de, Auke Jan (2012) Managing software complexity of adaptive systems. thesis.

2011

Roo de, Arjan 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.

2009

Roo de, Arjan 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.

2008

Roo de, A. and Hendriks, M.F.H. and Havinga, W. and Durr, P. and Bergmans, L. (2008) Compose*: a Language- and Platform-Independent Aspect Compiler for Composition Filters. In: First International Workshop on Advanced Software Development Tools and Techniques, WASDeTT 2008, 8 July 2008, Paphos, Cyprus.

2007

de Roo, A.J. (2007) Towards More Robust Advice: Message Flow Analysis for Composition Filters and its Application. [Masters Thesis]