Organization profile

Introduction / mission

The section MDSE focuses on tackling the quality aspect of model transformations and code generators. She concentrates on the development and use of certain languages of computers and their associated toolsets. She is looking into scaling up real time verification to industrial scale. The section also has a strong interest in modeling stochastic behavior.

Highlighted phrase

The quality of the software development process is determined by three different sources: the model, the transformer/generator and the framework. 

Organisational profile

Formal System Analysis

The chair Formal System Analysis (FSA) focusses on theories, techniques and tools for modelling and analysing the behaviours of (concurrent) systems. Among others, they study process algebras, semantics, model checking, logics, rewriting and satisfiability solving.

Software Engineering and Technology

The group Software Engineering and Technology (SET) develops methods and tools for time- and cost-efficient evolution of high-quality software systems. First, an abstract description of the solution is made. After that, the software can be generated. These include parsers, type checkers, code generators of operational semantics and code generators from behavioral models.

Fingerprint Dive into the research topics where Model Driven Software Engineering W&I is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

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

    Projects

    GEARS: NWO TOP project GEARS

    Wijs, A. J., Wijs, A. J. & Muhammad, M.

    11/08/1710/08/21

    Project: Research direct

    Research Output

    Action-based recommendation in Pull-request development

    Azeem, M. I., Panichella, S., Di Sorbo, A., Serebrenik, A. & Wang, Q., 28 Feb 2020, (Accepted/In press) Proceedings of ICSSP 2020: International Conference on Software And System Processes.

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

    Open Access

    A formal actor-based model for streaming the future

    Azadbakht, K., de Boer, F. S., Bezirgiannis, N. & de Vink, E., 1 Feb 2020, In : Science of Computer Programming. 186, 22 p., 102341.

    Research output: Contribution to journalArticleAcademicpeer-review

  • Analyzing Comments in Ticket Resolution to Capture Underlying Process Interactions

    Gupta, M., Agarwal, P., Tater, T., Dechu, S. & Serebrenik, A., 7 Jul 2020, (Accepted/In press) 4th International Workshop in Artificial Intelligence for Business Process Management. Springer

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

    Prizes

    3rd prize for the technical poster

    Monika Gupta (Recipient) & Alexander Serebrenik (Recipient), 2016

    Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

    Best Data Showcase contribution

    Jeroen Noten (Recipient), J.G.M. Mengerink (Recipient) & Alexander Serebrenik (Recipient), 2017

    Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

    Best Emerging Results Paper Award

    Gema Rodriguez Perez (Recipient), Andy Zaidman (Recipient), Alexander Serebrenik (Recipient), Gregorio Robles (Recipient) & J.M. González-Barahona (Recipient), 11 Oct 2018

    Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

  • Activities

    On the Abandonment and Survival of Open Source Projects: An Empirical Investigation

    Eleni Constantinou (Speaker)
    2019

    Activity: Talk or presentation typesContributed talkScientific

    Information and Communication Technologies of Ecuador, TIC-EC 2018

    Miguel Botto Tobar (Member of programme committee)
    21 Nov 201823 Nov 2018

    Activity: Participating in or organising an event typesConferenceScientific

    International Workshop on Analytics and Mining of Model Repositories (AMMoRe)

    Önder Babur (Organiser), M.R.V. Chaudron (Organiser), Loek Cleophas (Organiser), Davide Di Ruscio (Organiser), Dimitris Kolovos (Organiser)
    16 Oct 2018

    Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

    Student theses

    Abstracting real-valued parameters in parameterised boolean equation systems

    Author: Laveaux, M., 26 Feb 2018

    Supervisor: Willemse, T. (Supervisor 1)

    Student thesis: Master

    File

    A complete axiomatisation for probabilistic trace equivalence

    Author: Timmers, F., 26 Nov 2018

    Supervisor: Groote, J. F. (Supervisor 1)

    Student thesis: Master

    File

    A data-driven approach for generating insights into software development

    Author: Rexhepi, N., 25 Sep 2017

    Supervisor: Kaymak, U. (Supervisor 1), Wilbik, A. (Supervisor 2), Serebrenik, A. (Supervisor 2), Geritz, E. (External person) (External coach) & Kabel, M. (External person) (External coach)

    Student thesis: Master

    File