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.

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

Projecten 2017 2021

GEARS: GPU Enabled Accelerated Reasoning about System designs

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

11/08/1710/08/21

Project: Onderzoek directOnderzoek

Onderzoeksoutput 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. (redactie). Cham: Springer, blz. 644-658 15 blz. (Communications in Computer and Information Science; vol. 895)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Cham: Springer, blz. 410-419 10 blz. (Communications in Computer and Information Science; vol. 895)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Multiple Sequence Alignment
Proteins
Protein
Protein Sequence
Cytology

Assessing the meaning of emojis for emotional awareness - a pilot study

Brants, W. M. G., Sharif, B. & Serebrenik, A., 24 jan 2019, (Geaccepteerd/In druk) 2nd International Workshop on Emoji Understanding and Applications in Social Media.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

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), Josh 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 2018

4th International Conference on Technology Trends, CITT 2018

Miguel Botto Tobar (Voorzitter)
29 aug 201831 aug 2018

Activiteit: Types deelname aan of organisatie van een evenementCongresWetenschappelijk

Collaborative Software Development

Alexander Serebrenik (Spreker)
9 feb 2018

Activiteit: Types gesprekken of presentatiesAangemelde presentatieProfessioneel

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

Pers/media

Introduction to Type Theory.pdf

Herman Geuvers

13/05/18

1 item van media-aandacht

Pers / media: Vakinhoudelijk commentaar

Human aspects of software engineering

Alexander Serebrenik

10/04/18

1 item van media-aandacht

Pers / media: Onderzoek

Anger and Its Direction in Collaborative Software Development

Alexander Serebrenik & Daviti Gachechiladze

1/06/17

1 item van media-aandacht

Pers / media: Onderzoek

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

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

Auteur: Nijland, L., 31 aug 2018

Begeleider: Luttik, S. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand