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.

Model checking Engineering & Materials Science
Semantics Engineering & Materials Science
Software engineering Engineering & Materials Science
Specifications Engineering & Materials Science
Algebra Engineering & Materials Science
Industry Engineering & Materials Science
Bisimulation Mathematics
Software design Engineering & Materials Science

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

Projects 2017 2021

GEARS: NWO TOP project GEARS

Wijs, A. J., Wijs, A. J., Muhammad, M., Gerrits, E., Jama, I. & Jama, I.

11/08/1710/08/21

Project: Research direct

Research Output 1972 2019

Active learning of industrial software with data

Sanchez, L., Groote, J. F. & Schiffelers, R., 2019, Preproceedings of Fundamentals of Software Engineering (FSEN) 2019. Hojjat, H. & Massink, M. (eds.). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, p. 51-65 14 p.

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

Learning systems
Large scale systems
Problem-Based Learning

Active learning of industrial software with data

Groote, J. F., Sanchez, L. & Schiffelers, R., 2019, Proceedings FSEN 2019. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 95-110 16 p. (Lecture notes in computer science; vol. 11761).

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

Learning systems
Large scale systems
Problem-Based Learning

A formal actor-based model for streaming the future

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

Research output: Contribution to journalArticleAcademicpeer-review

Specifications
Specification languages
Application programs
Computer programming languages
Servers

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

Software engineering

Activities 1998 2018

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

4th International Conference on Technology Trends, CITT 2018

Miguel Botto Tobar (Chair)
29 Aug 201831 Aug 2018

Activity: Participating in or organising an event typesConferenceScientific

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