No photo of Mehmet Akşit
Contact Expert

Mehmet Akşit

prof.dr.ir.

1988 …2018

Research activity per year

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

Fingerprint

Dive into the research topics where Mehmet Akşit is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 8 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

  • Designing Reusable and Run-Time Evolvable Scheduling Software

    Orhan, G., Aksit, M. & Rensink, A., 28 Aug 2018, PATAT 2018: Proceedings of the 12th International Conference of the Practice and Theory of Automated Timetabling. Burke, E. K., Di Gaspero, L., McCollum, B., Musliu, N. & Özcan, E. (eds.). Wien: TU Wien, p. 339-373 35 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    1 Downloads (Pure)

  • 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 proceeding › Conference contribution › Academic

    Open Access

  • 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 proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)

  • 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    88 Downloads (Pure)

  • 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 proceeding › Conference contribution › Academic › peer-review

  • 21 Oral presentation
  • 7 Invited talk
  • 2 Organising a conference, workshop, ...
If you made any changes in Pure these will be visible here soon.