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

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 overview of multiple sequence alignment methods applied to transmembrane proteins

Zambrano-Vega, C., Oviedo, B., Villamar-Torres, R., Botto-Tobar, M. & Barros-Rodríguez, 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. 410-419 10 p. (Communications in Computer and Information Science; vol. 895)

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

Multiple Sequence Alignment
Proteins
Protein
Protein Sequence
Cytology

Confusion in code reviews: reasons, impacts and coping strategies

Ebert, F., Castor, F., Novielli, N. & Serebrenik, A., 12 Feb 2019, 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Piscataway: Institute of Electrical and Electronics Engineers (IEEE), p. 49-60

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

Open Access
Triangulation
Quality assurance
Defects

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

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

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

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

Adding sequential composition and termination to the linear time: branching time spectrum

Author: Nijland, L., 31 Aug 2018

Supervisor: Luttik, S. (Supervisor 1)

Student thesis: Master

File