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 conferencePaper

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

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

File

Developing Energy-Aware Software

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

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 contribution

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 journalArticle

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

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

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

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 proceedingChapter

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

File

Non-intrusive Instance Level Software Composition

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

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

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

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

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

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, p. 15-18 4 p.

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

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 proceedingChapter

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: Contribution to journalArticle

File
9 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 journalArticle

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

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

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, p. 59-70 12 p.

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

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 journalArticle

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 conferencePaper

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, p. 1850-1857 8 p.

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

File

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 journalArticle

File

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 journalArticle

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

Managing Software Complexity of Adaptive Systems

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

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 journalArticle

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 proceedingChapter

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

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

File

A Goal-Based Framework for Semantic Service Provisioning

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

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

Behaviour Modelling and Transformations for Context-Aware Mobile Applications

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

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

Event Composition Model: Achieving Naturalness in Runtime Enforcement

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

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