Welcome...

prof.dr.ir. M. Aksit (Mehmet)

Full Professor

Expertise

Chemical Analysis
Software Architecture
Specifications
Engineers
Software Engineering
Scheduling
Synchronization
Object Oriented Programming

Publications

Recent
Orhan, G., Aksit, M., & Rensink, A. (2018). Designing Reusable and Run-Time Evolvable Scheduling Software. 339-373. Paper presented at PATAT 2018, Vienna, Austria.
Yildiz, B. M., Rensink, A., Bockisch, C., & Aksit, M. (2017). A Model-Derivation Framework for Software Analysis. In H. Hermanns, & P. Höffner (Eds.), Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017 (pp. 217-229). (EPTCS - Electronic Publications in Theoretical Computer Science; Vol. 244). arXiv.org. DOI: 10.4204/EPTCS.244.9
Yildiz, B. M., Bockisch, C., Rensink, A., & Aksit, M. (2017). A Java Bytecode Metamodel for Composable Program Analyses. In M. Seidl, & S. Zschaler (Eds.), Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (pp. 30-40). (Lecture Nodes in Computer Science; Vol. 10748). Springer. DOI: 10.1007/978-3-319-74730-9_4
Yildiz, B. M., Bockisch, C., Aksit, M., & Rensink, A. (2017). An MDE Approach for Modular Program Analyses. In Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming [15] Association for Computing Machinery. DOI: 10.1145/3079368.3079392
Orhan, G., Aksit, M., & Rensink, A. (2017). A Formal Product-Line Engineering Approach for Schedulers. In L. Jololian, D. E. Robbins, & S. L. Fernandes (Eds.), SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions (pp. 15-30). (Integrated design and process technology; Vol. 22).
Malakuti Khah Olun Abadi, S., & Aksit, M. (2015). On liberating programs from the von neumann architecture via event-based modularization. In Companion Proceedings of the 14th International Conference on Modularity, MODULARITY Companion 2015 (pp. 31-34). New York: Association for Computing Machinery. DOI: 10.1145/2735386.2735387
Aksit, M., Tekinerdogan, B., Sözer, H., Safi, H. F., & Ayas, M. (2015). The DESARC method: An effective approach for university-industry cooperation. In Proceedings of the International Conference on Advances in Computing, Control and Networking, ACCN 2015 (pp. 51-53). New York, NY, USA: Institute of Research Engineers and Doctors. DOI: 10.15224/978-1-63248-038-5-10
Aksit, M., & Malakuti Khah Olun Abadi, S. (2015). Hermeneutics framework: integration of design rationale and optimizing software modules. In Proceedings of the 14th International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2015) (pp. 58-62). (Recent Advances in Computer Engineering Series; Vol. 27). Sofia, Bulgaria: WSEAS Press.
Yildiz, B. M., Rensink, A., Bockisch, C., & Aksit, M. (2015). A Model-Derivation Framework for Timing Analysis of Java Software Systems. (CTIT Technical Report Series; No. TR-CTIT-15-08). Enschede: Centre for Telematics and Information Technology (CTIT).

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3061
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3061
P.O. Box 217
7500 AE Enschede
The Netherlands