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

Research Output 1972 2019

Preface

Botto-Tobar, M., Barba-Maggi, L., González-Huerta, J., Villacrés-Cevallos, P., Gómez, O. S. & Uvidia-Fassler, M. I., 1 Jan 2019, In : Advances in Intelligent Systems and Computing. 884, p. V-vi

Research output: Contribution to journalEditorialAcademicpeer-review

Verification of concurrent systems in a model driven engineering workflow

de Putter, S. M. J., 28 Jan 2019, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

A comparison of BDD-based parity game solvers

Sanchez, L., Wesselink, W. & Willemse, T. A. C., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification. Waterloo: Open Publishing Association, p. 103-117 15 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 27)

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

Open Access

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)

Botto Tobar, M. (Chair)
29 Aug 201831 Aug 2018

Activity: Participating in or organising an eventConferenceScientific

Information and Communication Technologies of Ecuador, TIC-EC 2018

Botto Tobar, M. (Member of programme committee)
21 Nov 201823 Nov 2018

Activity: Participating in or organising an eventConferenceScientific

Collaborative Software Development

Serebrenik, A. (Speaker)
9 Feb 2018

Activity: Talk or presentationContributed 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