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 Citation (Scopus)
12 Downloads (Pure)

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
3 Citations (Scopus)

Availability analysis of software architecture decomposition alternatives for local recovery

Sözer, H., Stoelinga, M., Boudali, H. & Aksit, M., 2017, In : Software quality journal. 25, 2, p. 553-579 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Software architecture
Availability
Decomposition
Recovery
Markov processes
2015
60 Downloads (Pure)

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
33 Downloads (Pure)

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
25 Downloads (Pure)

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
63 Downloads (Pure)

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 Citation (Scopus)
19 Downloads (Pure)

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
36 Downloads (Pure)

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
8 Downloads (Pure)

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
17 Downloads (Pure)

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 (Scopus)
19 Downloads (Pure)

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
4 Citations (Scopus)
26 Downloads (Pure)

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 (Scopus)
16 Downloads (Pure)

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 (Scopus)
12 Downloads (Pure)

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 (Scopus)
19 Downloads (Pure)

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, p. 367-407 41 p. (Lecture Notes in Computer Science; vol. 8665, no. 8665).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
15 Downloads (Pure)

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, p. 27-69 43 p. (Lecture Notes in Computer Science; vol. 8400, no. 8400).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
15 Downloads (Pure)

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
22 Citations (Scopus)
3 Downloads (Pure)

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, p. 19-46 28 p. (Lecture Notes in Computer Science; vol. 8378, no. 8378).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
28 Downloads (Pure)

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 (Scopus)
17 Downloads (Pure)

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 Citation (Scopus)

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 Citation (Scopus)
9 Downloads (Pure)

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
41 Downloads (Pure)

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 Citation (Scopus)
13 Downloads (Pure)

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, p. - 37 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

3 Citations (Scopus)
31 Downloads (Pure)

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 (Scopus)
13 Downloads (Pure)

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 (Scopus)

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
42 Downloads (Pure)

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 (Scopus)
4 Downloads (Pure)

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 (Scopus)
17 Downloads (Pure)

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 Citation (Scopus)
14 Downloads (Pure)

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 (Scopus)
14 Downloads (Pure)

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 (Scopus)
19 Downloads (Pure)

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 Citation (Scopus)

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

163 Downloads (Pure)

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
46 Downloads (Pure)

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 (Scopus)
14 Downloads (Pure)

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
573 Downloads (Pure)

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
11 Downloads (Pure)

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
46 Downloads (Pure)

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 (Scopus)
57 Downloads (Pure)

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, p. 131-146 16 p. (Lecture Notes In Computer Science; vol. 6705).

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

File
38 Downloads (Pure)

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
29 Downloads (Pure)

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 Citation (Scopus)

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

38 Downloads (Pure)

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