No photo of Mehmet Akşit

Mehmet Akşit

prof.dr.ir.

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

Research Output 1988 2018

2018

Designing Reusable and Run-Time Evolvable Scheduling Software

Orhan, G., Aksit, M. & Rensink, A., 28 Aug 2018, p. 339-373. 35 p.

Research output: Contribution to conferencePaperAcademic

Open Access
Scheduling
Reusability
Vehicle routing
Industrial plants
Logistics
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 contributionAcademic

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

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

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 (ACM), 5 p. 15

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Application programming interfaces (API)
Interoperability
Specifications
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: Book/ReportReportProfessional

File

Developing Energy-Aware Software

te Brinke, S., 4 Jun 2015, Enschede: University of Twente. 175 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

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 contributionAcademic

File

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: Contribution to journalArticleAcademicpeer-review

File
1 Citations

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 (ACM), p. 31-34 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

File
2014

A communication-channel-based representation system for software

Demirezen, Z., Tanik, M. M., Aksit, M. & Skjellum, A., Jun 2014, In : Integrated computer-aided engineering. 21, 3, p. 235-247 13 p.

Research output: Contribution to journalArticleProfessional

File

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

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 (ACM), p. 1206-1212 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Gas emissions
Application programming interfaces (API)
Greenhouse gases
Energy utilization
4 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, In : Software and systems modeling. 13, 1, p. 55-81 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2 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 (ACM), p. 15-24 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 (ACM), p. 7-12 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

File

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: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

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 (ACM), p. 27-38 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
20 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: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File

Non-intrusive Instance Level Software Composition

Hatun, K., 12 Feb 2014, Enschede: University of Twente. 148 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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 (ACM), p. 1180-1182 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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, In : Transactions on aspect-oriented software development. 7800, p. 1-38 38 p.

Research output: Contribution to journalArticleAcademicpeer-review

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 (ACM), p. 145-156 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Chemical activation

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

Yin, H., 4 Dec 2013, Enschede: University of Twente. 174 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
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 (ACM), p. 15-18 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Managers
Energy utilization
Concretes

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

3 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: Contribution to journalArticleAcademicpeer-review

File
10 Citations

Optimizing decomposition of software architecture for local recovery

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

Research output: Contribution to journalArticleAcademicpeer-review

File
2 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: Contribution to journalArticleAcademicpeer-review

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: Book/ReportReportProfessional

File
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 (ACM), p. 59-70 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Aspect oriented programming
User interfaces
Chemical analysis
11 Citations

An In-Depth Look at ALIA4J

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

Research output: Contribution to journalArticleAcademicpeer-review

File
1 Citations

Aspect-Oriented Language Mechanisms for Component Binding

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

Research output: Contribution to conferencePaperAcademicpeer-review

File
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 (ACM), p. 1850-1857 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations

Feature-based rational management system for supporting software architecture adaptation

Tekinerdogan, B., Sözer, H. & Aksit, M., Nov 2012, In : International journal of software engineering and knowledge engineering (IJSEKE). 22, 7, p. 945-964 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
1 Citations

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

Bergmans, L., Havinga, W. K. & Aksit, M., 2012, In : Transactions on aspect-oriented software development. IX, p. 216-267 52 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

File

Managing Software Complexity of Adaptive Systems

de Roo, A., 2 Feb 2012, Enschede, The Netherlands: University of Twente. 250 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
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: Contribution to journalArticleAcademicpeer-review

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

File

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 (ACM), p. 1-5 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

A Goal-Based Framework for Semantic Service Provisioning

Bonino da Silva Santos, L. O., 8 Dec 2011, Enschede: University of Twente. 229 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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

File

Behaviour Modelling and Transformations for Context-Aware Mobile Applications

Daniele, L. M., 1 Jun 2011, Enschede, The Netherlands: University of Twente. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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

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

Event Composition Model: Achieving Naturalness in Runtime Enforcement

Malakuti Khah Olun Abadi, S., 15 Sep 2011, Enschede: University of Twente. 190 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
1 Citations

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