Welkom...

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

Hoogleraar

Expertises

Chemical Analysis
Software Engineering
Specifications
Engineers
Software Architecture
Semantics
Synchronization
Computer Programming Languages

Publicaties

Recent
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).

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3061
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3061
Postbus 217
7500 AE Enschede