Model Driven Software Engineering W&I

Organisatieprofiel

Introductie / missie

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. 

Over de organisatie

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.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Model Driven Software Engineering W&I actief is. Deze onderwerplabels komen uit het werk van de leden van deze organisatie. Samen vormen ze een unieke vingerafdruk.

  • Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

    projecten

    Onderzoeksoutput

    Action-based recommendation in Pull-request development

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    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 blz., 102341.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • An authorization framework for cooperative intelligent transport systems

    Ravidas, S., Karkhanis, P., Dajsuren, Y. & Zannone, N., 1 jan 2020, Emerging Technologies for Authorization and Authentication - 2nd International Workshop, ETAA 2019, Proceedings. Saracino, A. & Mori, P. (redactie). Cham: Springer, blz. 16-34 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11967 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2 Downloads (Pure)

    Prijzen

    3rd prize for the technical poster

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

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

    Best Data Showcase contribution

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

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

    Best Emerging Results Paper Award

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

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

  • Activiteiten

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

    Eleni Constantinou (Spreker)
    2019

    Activiteit: Types gesprekken of presentatiesAangemelde presentatieWetenschappelijk

    Information and Communication Technologies of Ecuador, TIC-EC 2018

    Miguel Botto Tobar (Lid van programmacomité)
    21 nov 201823 nov 2018

    Activiteit: Types deelname aan of organisatie van een evenementCongresWetenschappelijk

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

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

    Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk

    Scripties/Masterproeven

    Abstracting real-valued parameters in parameterised boolean equation systems

    Auteur: Laveaux, M., 26 feb 2018

    Begeleider: Willemse, T. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    A complete axiomatisation for probabilistic trace equivalence

    Auteur: Timmers, F., 26 nov 2018

    Begeleider: Groote, J. F. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    A data-driven approach for generating insights into software development

    Auteur: Rexhepi, N., 25 sep 2017

    Begeleider: Kaymak, U. (Afstudeerdocent 1), Wilbik, A. (Afstudeerdocent 2), Serebrenik, A. (Afstudeerdocent 2), Geritz, E. (Externe persoon) (Externe coach) & Kabel, M. (Externe persoon) (Externe coach)

    Scriptie/masterproef: Master

    Bestand