No photo of Mehmet Akşit

Mehmet Akşit

prof.dr.ir.

1988 …2017
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2017

Filter
Conference contribution
2017

A Formal Product-Line Engineering Approach for Schedulers

Orhan, G., Aksit, M. & Rensink, A. Nov 2017 SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Jololian, L., Robbins, D. E. & Fernandes, S. L. (eds.). p. 15-30 16 p. (Integrated design and process technology; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Scheduling
Elevators
Radar systems
Airports
Railroad cars

A Java Bytecode Metamodel for Composable Program Analyses

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M. Jul 2017 Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 30-40 (Lecture Nodes in Computer Science; vol. 10748)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Interoperability
Specifications
1 Citations

A Model-Derivation Framework for Software Analysis

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M. Apr 2017 Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höffner, P. (eds.). arXiv.org, p. 217-229 (EPTCS - Electronic Publications in Theoretical Computer Science; vol. 244)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Scalability
Electric potential

An MDE Approach for Modular Program Analyses

Yildiz, B. M., Bockisch, C., Aksit, M. & Rensink, A. Apr 2017 Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming. Association for Computing Machinery, 5 p. 15

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Application programming interfaces (API)
Interoperability
Specifications
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: Chapter in Book/Report/Conference proceedingConference contribution

File

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: Association for Computing Machinery, p. 31-34 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

File
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., Akşit, M. & Katz, S. Mar 2014 SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York, NY: Association for Computing Machinery, p. 1206-1212 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference 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: Association for Computing Machinery, p. 15-24 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Association for Computing Machinery, p. 7-12 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

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: Association for Computing Machinery, p. 27-38 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2013
14 Citations

A Design Method For Modular Energy-Aware Software

te Brinke, S., Malakuti, S., Bockisch, C., Bergmans, L. & Akşit, M. Mar 2013 SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing. New York, NY: Association for Computing Machinery, p. 1180-1182 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Energy utilization
1 Citations

A Pointcut Language for Setting Advanced Breakpoints

Yin, H., Bockisch, C. & Akşit, M. Mar 2013 AOSD '13: Proceedings of the 12th International Conference on Aspect-oriented Software Development. New York, NY: Association for Computing Machinery, p. 145-156 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Chemical activation
1 Citations

Deriving minimal models for resource utilization

te Brinke, S., Bockisch, C., Bergmans, L., Malakuti, S., Akşit, M. & Katz, S. 26 Mar 2013 GIBSE '13: Proceedings of the 2013 Workshop on Green In/By Software Engineering. New York, NY: Association for Computing Machinery, p. 15-18 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Managers
Energy utilization
Concretes
2012
7 Citations

A fine-grained debugger for aspect-oriented programming

Yin, H., Bockisch, C. & Akşit, M. 25 Mar 2012 AOSD '12: Proceedings of the 11th Annual International Conference on Aspect-oriented Software Development. New York, NY: Association for Computing Machinery, p. 59-70 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference 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: Association for Computing Machinery, p. 1850-1857 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Association for Computing Machinery, p. 1-5 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

File

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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

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: Chapter in Book/Report/Conference proceedingConference contribution

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. Crnkovic, I., Gruhn, V. & Book, M. (eds.). London, UK: Springer, p. 252-260 9 p. (Lecture Notes in Computer Science; vol. 6903)

Research output: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Association for Computing Machinery, p. 285-299 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Terminology
Chemical analysis
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: Chapter in Book/Report/Conference proceedingConference contribution

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: Chapter in Book/Report/Conference proceedingConference contribution

The Third Workshop on Behaviour Modelling - Foundations and Applications

Roubtsova, E., McNeile, A., Kindler, E. & Aksit, M. 2011 Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. France, R. B., Kuester, J. M., Bordbar, B. & Paige, R. F. (eds.). Berlin: Springer, p. 381-382 (Lecture Notes in Computer Science; vol. 6698)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modeling
Software
Programming
Service orientation
System development
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: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations

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

Havinga, W., Bergmans, L. & Akşit, M. Mar 2010 AOSD '10: Proceedings of the 9th International Conference on Aspect-Oriented Software Development. New York, NY: Association for Computing Machinery, p. 145-156 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Chemical analysis
Reusability
Taxonomies
Computer programming languages
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: Association for Computing Machinery, p. 332-335 4 p. (ACM International Conference Proceeding Series; vol. Companion Volume)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Association for Computing Machinery, p. 2265-2273 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

File
2009
35 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: Association for Computing Machinery, p. 39-50 12 p. 10.1145/1509239.1509247

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

File

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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Association for Computing Machinery, p. 13-18 6 p. 10.1145/1509825.1509829

Research output: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

File
26 Citations

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

Havinga, W., Nagy, I., Bergmans, L. & Akşit, M. 19 Jan 2007 AOSD '07: Proceedings of International Conference on Aspect Oriented Software Development, AOSD 2007. New York, NY: ACM Press, p. 85-95 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference contribution

File
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: Chapter in Book/Report/Conference proceedingConference contribution

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: Chapter in Book/Report/Conference proceedingConference contribution

Software engineering
Specifications
Fuzzy sets
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: Chapter in Book/Report/Conference proceedingConference contribution

File
5 Citations

Modeling traceability of concerns in architectural views

Tekinerdogan, B., Hofmann, C. & Akşit, M. 2007 AOM '07: Proceedings of the 10th International Workshop on Aspect-Oriented Modeling. New York, NY: ACM Press, p. 49-56 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Climate control
Software architecture
XML
Control systems