Research Output 1988 2015

2015

A Model-Derivation Framework for Timing Analysis of Java Software Systems

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M. 30 Dec 2015 Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-15-08)

Research output: ProfessionalReport

Model checking
Scalability
Specifications

Developing Energy-Aware Software

te Brinke, S. 4 Jun 2015 Enschede. 175 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Energy utilization
Aspect oriented programming
Computer programming languages
Maintainability
Planets

Hermeneutics framework: integration of design rationale and optimizing software modules

Aksit, M. & Malakuti Khah Olun Abadi, S. Feb 2015 Proceedings of the 14th International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2015). Sofia, Bulgaria: WSEAS Press, p. 58-62 5 p. (Recent Advances in Computer Engineering Series; vol. 27)

Research output: ScientificConference contribution

Adaptive control systems
Adaptive systems

Introduction to special issue on software engineering aspects of green computing (SEAGC)

Malakuti Khah Olun Abadi, S., Lohmann, W. & Aksit, M. Sep 2015 In : Sustainable computing. 7, p. 1-1 1 p.

Research output: Scientific - peer-reviewArticle

On liberating programs from the von neumann architecture via event-based modularization

Malakuti Khah Olun Abadi, S. & Aksit, M. 16 Mar 2015 Companion Proceedings of the 14th International Conference on Modularity, MODULARITY Companion 2015. New York: ACM, p. 31-34 4 p.

Research output: Scientific - peer-reviewConference contribution

Computer programming languages
Semantics
Machinery

The DESARC method: An effective approach for university-industry cooperation

Aksit, M., Tekinerdogan, B., Sözer, H., Safi, H. F. & Ayas, M. Jan 2015 Proceedings of the International Conference on Advances in Computing, Control and Networking, ACCN 2015. New York, NY, USA: Institute of Research Engineers and Doctors, p. 51-53 3 p.

Research output: Scientific - peer-reviewConference contribution

Industry
Computer science
Technology transfer
Software engineering
2014

A communication-channel-based representation system for software

Demirezen, Z., Tanik, M. M., Aksit, M. & Skjellum, A. Jun 2014 21, 3, p. 235-247 13 p.

Research output: ProfessionalArticle

Software design
Decomposition
Software engineering
Entropy

A timed-automata approach for critical path detection in a soft real-time application

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M. Feb 2014 Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session. Italy: SEA-Johannes Kepler University Linz, p. - 2 p.

Research output: Scientific - peer-reviewConference contribution

Parallel processing systems
3 Citations

A tool-supported approach for modular design of energy-aware software

te Brinke, S., Malakuti Khah Olun Abadi, S., Bockisch, C., Bergmans, L., Aksit, M. & Katz, S. Mar 2014 Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York: ACM, p. 1206-1212 7 p. (SAC; vol. 2014)

Research output: Scientific - peer-reviewConference contribution

Gas emissions
Application programming interfaces (API)
Greenhouse gases
Energy utilization
1 Citations

Composing domain-specific physical models with general-purpose software modules in embedded control software

de Roo, A., Sözer, H. & Aksit, M. Feb 2014 13, 1, p. 55-81 27 p.

Research output: Scientific - peer-reviewArticle

Modeling languages
Chemical analysis
Embedded systems
Printing
1 Citations

Emergent Gummy Modules: Modular Representation of Emergent Behavior

Malakuti Khah Olun Abadi, S. & Aksit, M. Sep 2014 Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014. New York: ACM, p. 15-24 10 p.

Research output: Scientific - peer-reviewConference contribution

Linguistics
Semantics
4 Citations

Event-based Modularization: How Emergent Behavioral Patterns Must Be Modularized?

Malakuti Khah Olun Abadi, S. & Aksit, M. Apr 2014 Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014. New York: ACM, p. 7-12 6 p.

Research output: Scientific - peer-reviewConference contribution

Semantics
Adaptive systems
Linguistics
Monitoring
2 Citations

Event-Based Modularization of Reactive Systems

Malakuti Khah Olun Abadi, S. & Aksit, M. 2014 Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Berlin, Heidelberg: Springer Verlag, p. 367-407 41 p. (Lecture Notes in Computer Science; vol. 8665, no. 8665)

Research output: Scientific - peer-reviewChapter

Computer programming languages
Chemical analysis

Event Modules - Modularizing Domain-Specific Crosscutting RV Concerns

Malakuti Khah Olun Abadi, S. & Aksit, M. 2014 Transactions on Aspect-Oriented Software Development XI. Berlin, Heidelberg: Springer Verlag, p. 27-69 43 p. (Lecture Notes in Computer Science; vol. 8400, no. 8400)

Research output: Scientific - peer-reviewChapter

Linguistics
Chemical analysis

Instance Pointcuts: Selecting Object Sets Based on Their Usage History

Bockisch, C., Hatun, K. & Aksit, M. Sep 2014 Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools, PPPJ 2014. New York: ACM, p. 27-38 12 p.

Research output: Scientific - peer-reviewConference contribution

Refining
History
Specifications
7 Citations

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software

Bennaceur, A., France, R., Tamburelli, G., Vogel, T., Mosterman, P. J., Cazzola, W., Costa, F. M., Pierantonio, A., Tichy, M., Aksit, M., Emanuelson, P., Gang, H., Georgantas, N. & Redlich, D. 2014 Models@run.time. Switzerland: Springer International Publishing, p. 19-46 28 p. (Lecture Notes in Computer Science; vol. 8378, no. 8378)

Research output: Scientific - peer-reviewChapter

Planning

Non-intrusive Instance Level Software Composition

Hatun, K. 12 Feb 2014 Enschede. 148 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Maintainability
Phase shift
Life cycle
Computer software reusability
Application programming interfaces (API)
2013
13 Citations

A Design Method For Modular Energy-Aware Software

te Brinke, S., Malakuti Khah Olun Abadi, S., Bockisch, C., Bergmans, L. & Aksit, M. Mar 2013 Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC 2013). New York: ACM, p. 1180-1182 3 p.

Research output: Scientific - peer-reviewConference contribution

Energy utilization
1 Citations

A fine-grained, customizable debugger for aspect-oriented programming

Yin, H., Leavens, G. T. (ed.), Chiba, S. (ed.), Bockisch, C., Aksit, M. & Tanter, E. (ed.) 2013 7800, p. 1-38 38 p.

Research output: Scientific - peer-reviewArticle

Computer programming languages
User interfaces
Aspect oriented programming
Syntactics
Chemical analysis
1 Citations

A Pointcut Language for Setting Advanced Breakpoints

Yin, H., Bockisch, C. & Aksit, M. Mar 2013 Proceedings of the 12th Annual International Conference on Aspect-Oriented Software Development, AOSD 2012. New York: ACM, p. 145-156 12 p.

Research output: Scientific - peer-reviewConference contribution

Chemical activation

Defusing the Debugging Scandal - Dedicated Debugging Technologies for Advanced Dispatching Languages

Yin, H. 4 Dec 2013 Enschede. 174 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Defects
Computer programming
Aspect oriented programming
Graphical user interfaces
Product development
1 Citations

Deriving minimal models for resource utilization

te Brinke, S., Bockisch, C., Bergmans, L., Malakuti Khah Olun Abadi, S., Aksit, M. & Katz, S. 26 Mar 2013 Proceedings of the 1st International Workshop Green In Software Engineering, Green By Software Engineering (GIBSE 2013). New York: ACM, p. 15-18 4 p.

Research output: Scientific - peer-reviewConference contribution

Model checking
Managers
Energy utilization

Engineering Embedded Software: Managing Complexity and Evolution

Hatun, K., de Roo, A., Bockisch, C., Bergmans, L. & Aksit, M. 29 Apr 2013 Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). London: Springer Verlag, p. - 37 p.

Research output: ScientificChapter

1 Citations

MOO: An architectural framework for runtime optimization of multiple system objectives in embedded control software

de Roo, A., Sözer, H., Bergmans, L. & Aksit, M. Oct 2013 In : Journal of systems and software. 86, 10, p. 2502-2519 18 p.

Research output: Scientific - peer-reviewArticle

Embedded systems
Maintainability
Reusability
Multiobjective optimization
Printing
9 Citations

Optimizing decomposition of software architecture for local recovery

Sözer, H., Tekinerdogan, B. & Aksit, M. Jun 2013 21, 2, p. 203-240 38 p.

Research output: Scientific - peer-reviewArticle

Recovery
Decomposition
Fault tolerance
Availability
Software reliability
1 Citations

Vibes: a visual language for specifying behavioral requirements of algorithms

Gülesir, G., Bergmans, L., Aksit, M. & van den Berg, K. Oct 2013 In : Journal of visual languages and computing. 24, 5, p. 350-364 15 p.

Research output: Scientific - peer-reviewArticle

Usability
Software
Formal languages
Alphabet
Regular
2012

A design method for modular energy-aware software

te Brinke, S., Malakuti Khah Olun Abadi, S., Bockisch, C., Bergmans, L. & Aksit, M. Nov 2012 Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-12-28)

Research output: ProfessionalReport

Energy utilization
7 Citations

A fine-grained debugger for aspect-oriented programming

Yin, H., Bockisch, C. & Aksit, M. 25 Mar 2012 Proceedings of the 11th Annual International Conference on Aspect-oriented Software Development, AOSD 2012. New York: ACM, p. 59-70 12 p.

Research output: Scientific - peer-reviewConference contribution

Aspect oriented programming
User interfaces
Chemical analysis
10 Citations

An In-Depth Look at ALIA4J

Bockisch, C., Sewe, A., Yin, H., Mezini, M. & Aksit, M. Apr 2012 11, 1, p. 7:1-7:28 28 p.

Research output: Scientific - peer-reviewArticle

Semantics
Computer programming languages
1 Citations

Aspect-Oriented Language Mechanisms for Component Binding

Hatun, K., Bockisch, C. & Aksit, M. Sep 2012 p. 11-14 4 p.

Research output: Scientific - peer-reviewPaper

Specification languages
Computer programming languages
Specifications
7 Citations

Evolution of Composition Filters to Event Composition

Malakuti Khah Olun Abadi, S. & Aksit, M. 26 Mar 2012 27th ACM Symposium on Applied Computing (SAC 2012). New York: ACM, p. 1850-1857 8 p.

Research output: Scientific - peer-reviewConference contribution

Chemical analysis

Feature-based rational management system for supporting software architecture adaptation

Tekinerdogan, B., Sözer, H. & Aksit, M. Nov 2012 22, 7, p. 945-964 20 p.

Research output: Scientific - peer-reviewArticle

Software architecture
Fault tolerance
Feature extraction
Communication

First-class Compositions--Defining and composing object and aspect compositions with first-class operators

Bergmans, L., Havinga, W. K. & Aksit, M. 2012 IX, p. 216-267 52 p.

Research output: Scientific - peer-reviewArticle

Chemical analysis
Reusability
Taxonomies
Computer programming languages
Experiments

Free composition instead of language dictatorship

Bergmans, L., te Brinke, S., Bockisch, C. & Aksit, M. Jul 2012 Proceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012. SCITEPRESS, p. 388-393 6 p.

Research output: Scientific - peer-reviewConference contribution

Computer programming languages
Engineers
Chemical analysis
Semantics

Managing Software Complexity of Adaptive Systems

de Roo, A. 2 Feb 2012 Enschede, The Netherlands. 250 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Embedded systems
Computer programming languages
Adaptive systems
Maintainability
Reusability
4 Citations

Verification and analysis of domain-specific models of physical characteristics in embedded control software

de Roo, A., Sözer, H. & Aksit, M. Dec 2012 In : Information and software technology. 54, 12, p. 1432-1453 22 p.

Research output: Scientific - peer-reviewArticle

Hardware
Static analysis
Computer programming languages
Redundancy
Printing
2011

A Comparative Analysis of Software Engineering with Mature Engineering Disciplines Using a Problem-Solving Perspective

Tekinerdogan, B. & Aksit, M. 2011 Modern Software Engineering Concepts and Practices: Advanced Approaches. Dogru, A. H. & Bicer, V. (eds.). Hershey: Information Science Reference, p. 1-18 18 p.

Research output: Scientific - peer-reviewChapter

Software engineering

A feature model and development approach for schedulers

Hatun, K., Bockisch, C., Sözer, H. & Aksit, M. Mar 2011 Proceedings of the 1st workshop on Modularity in systems software (MISS 2011). New York: ACM, p. 1-5 5 p.

Research output: Scientific - peer-reviewConference contribution

Scheduling

A Goal-Based Framework for Semantic Service Provisioning

Bonino da Silva Santos, L. O. 8 Dec 2011 Enschede. 229 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Ubiquitous computing
Specification languages
Communication
WSDL
Electric grounding
4 Citations

An Overview of ALIA4J: An Execution Model for Advanced-Dispatching Languages

Bockisch, C., Sewe, A., Mezini, M. & Aksit, M. Jun 2011 Proceedings of the 49th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2011). Bishop, J. & Vallecillo, A. (eds.). Berlin: Springer Verlag, p. 131-146 16 p. (Lecture Notes In Computer Science; vol. 6705)

Research output: Scientific - peer-reviewConference contribution

Computer programming languages

Behaviour Modelling and Transformations for Context-Aware Mobile Applications

Daniele, L. M. 1 Jun 2011 Enschede, The Netherlands. 226 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Costs
Electronic mail
Service oriented architecture (SOA)
Mobile phones
User interfaces

Debugging Scandal: The Next Generation

Yin, H., Bockisch, C., Aksit, M., De Borger, W., Lagaisse, B. & Joosen, W. Jun 2011 Proceedings of the Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2011). York, UK: University of York, p. 1 4 p.

Research output: Scientific - peer-reviewConference contribution

Inspection
1 Citations

Distribution-Transparency in Runtime Verification

Malakuti Khah Olun Abadi, S., Aksit, M. & Bockisch, C. May 2011 Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011. USA: IEEE Communications Society, p. 328-335 8 p.

Research output: Scientific - peer-reviewConference contribution

Middleware
Specifications

Event Composition Model: Achieving Naturalness in Runtime Enforcement

Malakuti Khah Olun Abadi, S. 15 Sep 2011 Enschede. 190 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Chemical analysis
Specifications
Computer programming languages
Reusability
Specification languages

Execution Constraint Verification of Exception Handling on UML Sequence Diagrams

Ciraci, S., Sözer, H., Aksit, M. & Havinga, W. K. 27 Jun 2011 Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011. USA: IEEE Computer Society, p. 31-40 10 p.

Research output: Scientific - peer-reviewConference contribution

Semantics
Flow control
Temporal logic
Costs
3 Citations

Guiding Architects in Selecting Architectural Evolution Alternatives.

Ciraci, S., Sözer, H. & Aksit, M. Sep 2011 5th European Conference on Software Architecture, ECSA 2011. London: Springer Verlag, p. 252-260 9 p. (Lecture Notes in Computer Science; vol. 6903)

Research output: Scientific - peer-reviewConference contribution

Software architecture
Specifications
3 Citations

Knowledge-based Graph Exploration Analysis

Galvao, I., Zambon, E., Rensink, A., Wevers, L., Wevers, L. & Aksit, M. Oct 2011 Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE 2011. Schürr, A., Varró, D. & Varró, G. (eds.). Berlin: Springer Verlag, p. 105-120 16 p. (Lecture Notes in Computer Science; vol. 7233)

Research output: Scientific - peer-reviewConference contribution

Liberating Composition from Language Dictatorship

Bergmans, L., Bockisch, C. & Aksit, M. Jun 2011 p. 2 5 p.

Research output: ScientificPaper

Computer programming languages
Engineers
Chemical analysis
Semantics
17 Citations

Making aspects natural: events and composition

Bockisch, C., Malakuti Khah Olun Abadi, S., Aksit, M. & Katz, S. Mar 2011 Tenth International Conference on Aspect-Oriented Software Development, AOSD 2011. New York: ACM, p. 285-299 15 p.

Research output: Scientific - peer-reviewConference contribution

Terminology
Experiments

Runtime Verification in Distributed Computing

Malakuti Khah Olun Abadi, S., Park, J. H. (ed.), Obaidat, M. (ed.), Aksit, M. & Bockisch, C. 30 Jun 2011 2, 1, p. 1-10 10 p.

Research output: Scientific - peer-reviewArticle

Specifications
Middleware
Recovery
Communication