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 Duik in de onderzoeksthema's waar Model Driven Software Engineering W&I actief is. Deze onderwerplabels komen voort uit het werk van deze leden van de organisatie. Samen vormen ze een unieke vingerafdruk.

Model checking Engineering en materiaalwetenschappen
Semantics Engineering en materiaalwetenschappen
Software engineering Engineering en materiaalwetenschappen
Specifications Engineering en materiaalwetenschappen
Algebra Engineering en materiaalwetenschappen
Industry Engineering en materiaalwetenschappen
Bisimulation Rekenkunde
Software design Engineering en materiaalwetenschappen

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

Projecten 2017 2021

Onderzoeksoutput 1972 2020

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

Specifications
Specification languages
Application programs
Computer programming languages
Servers

A reflection on "an exploratory study on exception handling bugs in java programs"

Ebert, F., Castor, F. & Serebrenik, A., 6 feb 2020, IEEE International Conference on Software Analysis, Evolution, and Reengineering. IEEE Computer Society, blz. 552 556 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Computer programming languages

Automatically learning patterns for self-admitted technical debt removal

Zampetti, F., Serebrenik, A. & Di Penta, M., 6 feb 2020, 27th IEEE International Conference on Software Analysis, Evolution and Reengineering. IEEE Computer Society, blz. 355 366 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Recurrent neural networks
Application programming interfaces (API)
Classifiers
Neural networks
Deep learning

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

Software engineering

Activiteiten 1998 2019

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