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.

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., Wijs, A., Muhammad, M., Gerrits, E., Jama, I. & Jama, I.

11/08/1710/08/21

Project: Research directResearch

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

An approach to the detection of post-seismic structural damage based on image segmentation methods

Cevallos-Torres, L. J., Minda Gilces, D., Guijarro-Rodriguez, A., Barriga-Diaz, R., Leyva-Vazquez, M. & Botto-Tobar, M., 1 Jan 2019, Technology Trends - 4th International Conference, CITT 2018, Revised Selected Papers. Botto-Tobar, M., D’Armas, M., Zúñiga Sánchez, M., Zúñiga-Prieto, M. & Pizarro, G. (eds.). Cham: Springer, p. 644-658 15 p. (Communications in Computer and Information Science; vol. 895)

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

Image segmentation
Image Segmentation
Crack Detection
Crack detection
Crack

An empirical investigation of the abandonment and survival of open source projects

Amaral Avelino, G., Constantinou, E., Valente, M. T. & Serebrenik, A., 28 May 2019, (Accepted/In press) Empirical Software Engineering and Measurement.

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

Open Access
File

Prizes

3rd prize for the technical poster

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

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

Best Data Showcase contribution

Jeroen Noten (Recipient), Josh Mengerink (Recipient) & Alexander Serebrenik (Recipient), 2017

Recognition: 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

Recognition: 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

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

Collaborative Software Development

Alexander Serebrenik (Speaker)
9 Feb 2018

Activity: Talk or presentation typesContributed talkProfessional

Press / Media

Introduction to Type Theory.pdf

Herman Geuvers

13/05/18

1 item of media coverage

Press/Media: Expert Comment

Human aspects of software engineering

Alexander Serebrenik

10/04/18

1 item of media coverage

Press/Media: Research

Anger and Its Direction in Collaborative Software Development

Alexander Serebrenik & Daviti Gachechiladze

1/06/17

1 item of media coverage

Press/Media: Research

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