Research Output 1988 2015

Filter
Conference contribution
2015

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

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 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

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

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
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 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
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
2012
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
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

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
2011

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
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

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

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

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 of Component-Based Embedded Software

Sözer, H., Hofmann, C., Tekinerdogan, B. & Aksit, M. Sep 2011 Proceedings of the 26th International Symposium on Computer and Information Sciences. Gelenbe, E., Lent, R. & Sakellari, G. (eds.). London: Springer Verlag, p. 471-477 7 p.

Research output: Scientific - peer-reviewConference contribution

Embedded systems
Specifications
Error detection
Software engineering
3 Citations

Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software

de Roo, A., Sözer, H. & Aksit, M. 27 Jun 2011 Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011. USA: IEEE Computer Society, p. 41-50 10 p.

Research output: Scientific - peer-reviewConference contribution

Embedded systems
Computer programming languages
Redundancy
2010

A Controlled Experiment for the Assessment of Aspects: Tracing in an Industrial Context

Durr, P. E. A., Bergmans, L. & Aksit, M. 16 Mar 2010 Empirical Evaluation of Software Composition Techniques (ESCOT 2010). St. Malo, France: Aspect-Oriented Software Association, p. - 8 p.

Research output: Scientific - peer-reviewConference contribution

Software engineering
Set theory
Statistical methods
Experiments
8 Citations

A Model for Composable Composition Operators: Expressing object and aspect compositions with first-class operators

Havinga, W. K., Bergmans, L. & Aksit, M. Mar 2010 Proceedings of the 9th international conference on Aspect-Oriented Software Development. New York: ACM, p. 145-156 12 p. 10.1145/1739230.1739248

Research output: Scientific - peer-reviewConference contribution

Chemical analysis
Reusability
Taxonomies
Computer programming languages
Experiments
3 Citations

A model for variability design rationale in SPL

Galvao, I., van den Broek, P. M. & Aksit, M. 2010 Proceedings of the Fourth European Conference on Software Architecture: Companion Volume. New York: ACM, p. 332-335 4 p. (ACM International Conference Proceeding Series; vol. Companion Volume)

Research output: Scientific - peer-reviewConference contribution

Specifications
5 Citations

Checking the Correspondence Between UML models and Implementation

Ciraci, S., Malakuti Khah Olun Abadi, S., Katz, S. & Aksit, M. 1 Nov 2010 1st International Conference on Runtime Verification. Berlin: Springer Verlag, p. 198-213 15 p. (Lecture Notes in Computer Science; vol. 6418)

Research output: Scientific - peer-reviewConference contribution

Polymorphism
Chemical activation
Semantics
3 Citations

Graph-Based Verification of Static Program Constraints

Ciraci, S., van den Broek, P. M. & Aksit, M. 23 Mar 2010 Proceedings of the 25th Annual ACM Symposium on Applied Computing 2010. New York: ACM, p. 2265-2273 9 p.

Research output: Scientific - peer-reviewConference contribution

Modeling languages
Feedback
2 Citations

Increasing System Availability with Local Recovery based on Fault Localization

Sözer, H., Abreu, R., Aksit, M. & van Gemund, A. J. C. Jul 2010 Proceedings of the 10th International Conference on Quality Software, QSIC 2010. USA: IEEE Computer Society, p. 276-281 6 p.

Research output: Scientific - peer-reviewConference contribution

Recovery
Fault detection
Availability
Defects
Monitoring
2009
34 Citations

A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points

Aksit, M., Rensink, A. & Staijen, T. 2009 AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. New York: ACM, p. 39-50 12 p. 10.1145/1509239.1509247

Research output: Scientific - peer-reviewConference contribution

Semantics
Chemical analysis
3 Citations

An Architectural Style for Optimizing System Qualities in Adaptive Embedded Systems using Multi-Objective Optimization

de Roo, A., Sözer, H. & Aksit, M. Sep 2009 Proceedings of the 8th Working IEEE/IFIP Conference on Software Architecture. Los Alamitos: IEEE Computer Society Press, p. 349-352 4 p. 10.1109/WICSA.2009.5290661

Research output: Scientific - peer-reviewConference contribution

Multiobjective optimization
Embedded systems
Industry
11 Citations

Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software

Malakuti Khah Olun Abadi, S., Bockisch, C. & Aksit, M. 2009 The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009. IEEE Computer Society, p. 31-40 10 p.

Research output: Scientific - peer-reviewConference contribution

Synchronization
Specifications
Chemical analysis

A Rule Set to Detect Interference of Runtime Enforcement Mechanisms

Malakuti Khah Olun Abadi, S., Bockisch, C. & Aksit, M. 2009 The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009. India: IEEE Computer Society Press, p. - 4 p.

Research output: Scientific - peer-reviewConference contribution

5 Citations

Concern-oriented analysis and refactoring of software architectures using dependency structure matrices

Tekinerdogan, B., Scholten, F., Hofmann, C. & Aksit, M. 2009 EA '09: Proceedings of the 15th Workshop on Early Aspects. New York: ACM, p. 13-18 6 p. 10.1145/1509825.1509829

Research output: Scientific - peer-reviewConference contribution

9 Citations

Detecting architecture instabilities with concern traces: An exploratory study

Figueiredo, E., Galvao, I., Shakil Khan, S., Garcia, A., Sant'Anna, C., Pimentel, A., Medeiros, A. L., Fernandes, L., Batista, T., Ribeiro, R., van den Broek, P. M., Aksit, M., Zschaler, S. & Moreira, A. 2009 Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009. IEEE Computer Society, p. 261-264 4 p. 10.1109/WICSA.2009.5290815

Research output: Scientific - peer-reviewConference contribution

Software engineering
Engineers
2008
4 Citations

Framework for Computer-Aided Evolution of Object-Oriented Designs

Ciraci, S., van den Broek, P. M. & Aksit, M. 28 Jul 2008 The 2nd IEEE International Workshop on Quality Oriented Reuse of Software (QUORS 2008). Los Alamitos: IEEE Computer Society Press, p. 757-764 8 p. (32nd Annual IEEE International Computer Software and Applications Conference; vol. 2, no. DTR08-9)

Research output: Scientific - peer-reviewConference contribution

13 Citations

Prototyping and Composing Aspect Languages: using an Aspect Interpreter Framework

Havinga, W. K., Bergmans, L. & Aksit, M. 2008 Proceedings of 22nd European Conference on Object-Oriented Programming (ECOOP 2008). Berlin: Springer Verlag, p. 180-206 27 p. (Lecture Notes in Computer Science; vol. 5142/2008, no. 69160R)

Research output: Scientific - peer-reviewConference contribution

Chemical analysis
2007
5 Citations

A Constructive Approach To Software Evolution

Ciraci, S., van den Broek, P. M. & Aksit, M. 20 Mar 2007 Workshop on Model-Driven Software Evolution - MoDSE2007. Amsterdam: Vrije Universiteit Amsterdam, p. 1-9 9 p.

Research output: Scientific - peer-reviewConference contribution

Software
Evaluation
Software engineering
Taxonomy
Editing
26 Citations

A Graph-based Approach to Modeling and Detecting Composition Conflicts Related to Introductions

Havinga, W. K., Nagy, I., Bergmans, L. & Aksit, M. 19 Jan 2007 Proceedings of International Conference on Aspect Oriented Software Development, AOSD 2007. de Moor, O. (ed.). New York: ACM Press, p. 85-95 11 p. (ACM International Conference Proceedings Series; no. 1)

Research output: Scientific - peer-reviewConference contribution

Chemical analysis

Detecting Mode Inconsistencies in Component-Based Embedded Software

Sözer, H., Hofmann, C., Tekinerdogan, B. & Aksit, M. 27 Jun 2007 DSN Workshop on Architecting Dependable Systems. Kent: University of Kent, Canterbury, United Kingdom, p. 154-160 7 p.

Research output: Scientific - peer-reviewConference contribution

Error detection
Fault tolerance
Embedded systems
Specifications
Software engineering
8 Citations

Impact of Evolution of Concerns in the Model-Driven Architecture Design Approach

Tekinerdogan, B., Aksit, M. & Henninger, F. 2007 Proceedings of the Aspect-Based and Model-Based Separation of Concerns in Software Systems. Amsterdam: ELSEVIER, p. 45-64 19 p. (Electronic Notes in Theoretical Computer Science; vol. 163, no. 2)

Research output: Scientific - peer-reviewConference contribution

Software engineering
6 Citations

Imperfect Requirements in Software Development

Noppen, J. A. R., van den Broek, P. M. & Aksit, M. 1 Jun 2007 Requirements Engineering: Foundation for Software Quality. Sawyer, P., Paech, B. & Heymans, P. (eds.). London: Springer Verlag, p. 247-261 15 p. (Lecture Notes in computer Science; vol. 4542, no. 4542)

Research output: Scientific - peer-reviewConference contribution

Specifications
Fuzzy sets
Software engineering
Engineers
Defects
4 Citations

Metamodel for Tracing Concerns across the Life Cycle

Tekinerdogan, B., Hofmann, C., Aksit, M. & Bakker, J. 12 Dec 2007 Early Aspects: Current Challenges and Future Directions: 10th international workshop. Moreira, A. M. D. & Grundy, J. (eds.). Berlin: Springer Verlag, p. 175-194 20 p. (Lecture Notes in Computer Science; vol. 4765)

Research output: Scientific - peer-reviewConference contribution

Life cycle
Maintainability
Reusability
XML
5 Citations

Modeling traceability of concerns in architectural views

Tekinerdogan, B., Hofmann, C. & Aksit, M. 2007 Proceedings of the 10th international workshop on Aspect-oriented modeling. New York: ACM Press, p. 49-56 8 p.

Research output: Scientific - peer-reviewConference contribution

Climate control
Software architecture
XML
Control systems

Static and Dynamic Detection of Behavioral Conflicts Between Aspects

Durr, P. E. A., Bergmans, L. & Aksit, M. Dec 2007 Proceedings of the Seventh International Workshop on Runtime Verification. Sokolsky, O. & Tasiran, S. (eds.). Berlin: Springer, p. 38-50 13 p. (Lecture Notes in Computer Science; vol. 4839, no. 7)

Research output: Scientific - peer-reviewConference contribution

Chemical analysis
Software engineering
2006

Applying AOP in an Industrial Context: An Experience Paper

Durr, P. E. A., Gülesir, G., Bergmans, L., Aksit, M. & van Engelen, R. 21 Mar 2006 Proceedings of the First International Workshop on Best Practices in Applying Aspect-oriented Software Development. Bonn: Aspect-Oriented Software Association, p. - 3 p.

Research output: Scientific - peer-reviewConference contribution

11 Citations

Detecting and resolving ambiguities caused by inter-dependent introductions

Havinga, W. K., Nagy, I., Bergmans, L. & Aksit, M. 2006 AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development. New York: ACM Press, p. 214-225 12 p.

Research output: Scientific - peer-reviewConference contribution

Metadata
Specifications

Evolvable Integration of Activities with Statecharts

Gülesir, G., Bergmans, L. & Aksit, M. 2006 3rd European Workshop on Aspects in Software. University of Bonn, p. - 6 p.

Research output: Scientific - peer-reviewConference contribution

C (programming language)
fixing
artifacts
emerging
costs

Reasoning about Semantic Conflicts between Aspects

Durr, P. E. A., Staijen, T. & Aksit, M. 3 Jul 2006 Proceedings of the First Aspect, Dependencies, and Interactions Workshop. Chitchyan, R., Fabry, J., Bergmans, L., Nedos, A. & Rensink, A. (eds.). Lancaster University, p. 10-18 9 p.

Research output: Scientific - peer-reviewConference contribution

Software engineering
Semantics
Chemical analysis