Research Output

2019

Formal modelling and verification of an interlocking using mCRL2

Bouwman, M., Janssen, B. & Luttik, B., 1 Jan 2019, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (eds.). Cham: Springer, p. 22-39 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).

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

1 Citation (Scopus)

From informal TWINSCAN machine diagnostics data to reliable formal customer interface

Megerdoumian, A., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven. 79 p.

Research output: ThesisPd Eng Thesis

14 Downloads (Pure)

Gender diversity and women in software teams: how do they affect community smells?

Catolino, G., Palomba, F., Tamburri, D. A., Serebrenik, A. & Ferrucci, F., 28 May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Society, ICSE-SEIS 2019. Piscataway: ACM/IEEE, p. 11-20 10 p. 8797636

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

Open Access
File
8 Citations (Scopus)
115 Downloads (Pure)

Gender in software engineering

Carver, J. C. & Serebrenik, A., 1 Nov 2019, In : IEEE Software. 36, 6, p. 76-78 3 p., 8880051.

Research output: Contribution to journalArticleAcademicpeer-review

Going farther together: the impact of social capital on sustained participation in open source

Qiu, H. S., Nolte, A., Brown, A., Serebrenik, A. & Vasilescu, B., 28 May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. Piscataway: IEEE Computer Society, p. 688-699 12 p. 8812044

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

Open Access
File
14 Citations (Scopus)
84 Downloads (Pure)

How remote work can foster a more inclusive environment for transgender developers

Ford, D., Milewicz, R. & Serebrenik, A., 27 May 2019, Proceedings - 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering, GE 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 9-12 4 p. 8819552

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

Open Access
File
2 Citations (Scopus)
56 Downloads (Pure)

How stable are Eclipse application framework internal interfaces?

Businge, J., Kawuma, S., Openja, M., Bainomugisha, E. & Serebrenik, A., 15 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 117-127 11 p. 8668018

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

Open Access
1 Citation (Scopus)

Improving model inference in industry by combining active and passive learning

Yang, N., Aslam, K., Schiffelers, R. R. H., Lensink, L., Hendriks, D., Cleophas, L. G. W. A. & Serebrenik, A., 15 Mar 2019, 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 253-263 11 p. 8668007

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

2 Citations (Scopus)
1 Downloads (Pure)

Increasing test efficiency through coverage-based test selection

Manik, T., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven. 56 p.

Research output: ThesisPd Eng Thesis

Open Access
File
24 Downloads (Pure)

Integration of modeling and data science

Tan, H., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Intelligent microscope II

Smanis, K., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven. 81 p.

Research output: ThesisPd Eng Thesis

Introduction to model management and analytics

Babur, Ö., Tekinerdogan, B., Cleophas, L. G. W. A., van den Brand, M. G. J. & Aksit, M., 17 Sep 2019, Model Management and Analytics for Large Scale Systems. Elsevier, p. 3-11 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Lehmer's dance: a lecture performance

Verhoeff, T. & van Berkel, R., Jul 2019, Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture. Goldstine, S., McKenna, D. & Fenyvesi, K. (eds.). Phoenix: Tessellations Publishing, p. 375-378 4 p.

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

Open Access
File
11 Downloads (Pure)

Lower bounds for synchronizing word lengths in partial automata

de Bondt, M., Don, H. M. & Zantema, H., 2019, In : International Journal of Foundations of Computer Science. 30, 1, p. 29-60 32 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

Metamodel clone detection with SAMOS

Babur, Ö., Cleophas, L. & van den Brand, M., 1 Apr 2019, In : Journal of Computer Languages. 51, p. 57-74 18 p.

Research output: Contribution to journalReview articleAcademicpeer-review

4 Citations (Scopus)
2 Downloads (Pure)

MoCoP: towards a model clone portal

Babur, Ö. & Stephan, M., 26 May 2019, Proceedings - 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering, MiSE 2019. Piscataway: IEEE Press, p. 78-81 4 p. 8877032

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

Open Access
File
35 Downloads (Pure)

Model analytics and management

Babur, Ö., 20 Feb 2019, Eindhoven: Technische Universiteit Eindhoven. 170 p.

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

Open Access
File
365 Downloads (Pure)

Model analytics for industrial MDE ecosystems

Babur, Ö., Suresh, A., Alberts, W., Cleophas, L. G. W. A., Schiffelers, R. R. H. & van den Brand, M. G. J., 17 Sep 2019, Model Management and Analytics for Large Scale Systems. Elsevier, p. 273-316 44 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Model-based simulation and threat analysis of in-vehicle networks

Lekidis, A. & Barosan, I., 1 May 2019, 2019 15th IEEE International Workshop on Factory Communication Systems, WFCS 2019. Piscataway: Institute of Electrical and Electronics Engineers, 8 p. 8757968

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

4 Downloads (Pure)
Open Access
File
59 Downloads (Pure)

Modelling and analysing software in mCRL2

Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., Dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer Science Reports; vol. 19-05)

Research output: Book/ReportReportAcademic

Open Access
File
80 Downloads (Pure)

Model management and analytics for large scale systems

Tekinerdogan, B. (ed.), Babur, Ö. (ed.), Cleophas, L. G. W. A. (ed.), van den Brand, M. G. J. (ed.) & Aksit, M. (ed.), 17 Sep 2019, Academic Press Inc. 344 p.

Research output: Book/ReportBook editingAcademicpeer-review

Model management tools for models of different domains: a systematic literature review

Silva Torres, W., van den Brand, M. G. J. & Serebrenik, A., 16 Sep 2019, SysCon 2019 - 13th Annual IEEE International Systems Conference, Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, 8 p. 8836869

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

2 Citations (Scopus)
1 Downloads (Pure)

Modular indirect push-button formal verification of multi-threaded code generators

Wijs, A. & Wiłkowski, M., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Cham: Springer, p. 410-429 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11724 LNCS).

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

1 Citation (Scopus)
2 Downloads (Pure)

Monte Carlo simulation method

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 87-96 10 p. (Studies in Computational Intelligence; vol. 824).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)

Multi-domain modeling assistance tool: design and implementation

Sainbileg, M., 28 Nov 2019, Eindhoven: Technische Universiteit Eindhoven. 85 p.

Research output: ThesisPd Eng Thesis

Nonlinear system identification: a user-oriented road map

Schoukens, J. & Ljung, L., Dec 2019, In : IEEE Control Systems. 39, 6, p. 28-99 72 p., 8897147.

Research output: Contribution to journalArticleAcademicpeer-review

13 Citations (Scopus)

On series-parallel pomset languages: rationality, context-freeness and automata

Kappé, T., Brunet, P., Luttik, B., Silva, A. & Zanasi, F., Feb 2019, In : Journal of Logic and Algebraic Programming. 103, p. 130-153 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

On the abandonment and survival of open source projects: an empirical investigation

Amaral Avelino, G., Constantinou, E., Valente, M. T. & Serebrenik, A., 20 Sep 2019, Proceedings - 13th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2019. Piscataway: IEEE Computer Society, 12 p. 8870181

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

Open Access
File
2 Citations (Scopus)
30 Downloads (Pure)

OpenStack gender diversity report

Izquierdo-Cortazar, D., Huesman, N., Serebrenik, A. & Robles, G., 1 Jan 2019, In : IEEE Software. 36, 1, p. 28-33 6 p., 8491276.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
4 Citations (Scopus)

Parallel SAT simplification on GPU architectures

Osama, M. & Wijs, A., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 21-40 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

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

Open Access
File
2 Citations (Scopus)
29 Downloads (Pure)

Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)

Neele, T., Willemse, T. & Wesselink, W., 1 Sep 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/02)

Research output: Book/ReportReportAcademic

Open Access
File
29 Downloads (Pure)

Political-electoral marketing and influencing factors in student representatives’ elections under a fuzzy logic approach

Cevallos-Torres, L., Botto-Tobar, M., Yepez-Holguín, J., Ortiz-Zambrano, J. & Valencia-Martínez, N., 1 Jan 2019, Computer and Communication Engineering - 1st International Conference, ICCCE 2018, Proceedings. Yánez-Pazmiño, W., Barzola-Monteses, J., Santos-Baquerizo, E., Botto-Tobar, M. & Espinoza-Andaluz, M. (eds.). Springer, p. 124-138 15 p. (Communications in Computer and Information Science; vol. 959).

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

Preface

Larsen, K. G. & Willemse, T., 1 Jan 2019, Formal Methods for Industrial Critical Systems. Cham: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687).

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

Preface

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Berlin: Springer, 2 p. (Studies in Computational Intelligence; vol. 824).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

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

Open Access
File
23 Downloads (Pure)

Preface

Botto-Tobar, M., Barzola-Monteses, J., Santos-Baquerizo, E., Espinoza-Andaluz, M. & Yánez-Pazmiño, W., 1 Jan 2019, In : Communications in Computer and Information Science. 959, p. VI 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access

Preface to the Special Issue on Program Comprehension

Lo, D. & Serebrenik, A., 15 Feb 2019, In : Empirical Software Engineering. 24, 1, p. 208-210 3 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Process sampling

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 13-31 19 p. (Studies in Computational Intelligence; vol. 824).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Programming, software development, and computer science: the golden triangle

Verhoeff, T., Jul 2019, Olympiads in Informatics. Dagiene, V. (ed.). Vilnius: Vilnius University, p. 157-170 14 p. (Olympiads in Informatics; vol. 13).

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

Open Access
File
31 Downloads (Pure)

Pseudo-random numbers and congruential methods

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 33-58 26 p. (Studies in Computational Intelligence; vol. 824).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Random variable generation methods

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 59-86 28 p. (Studies in Computational Intelligence; vol. 824).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Reducing static analysis alarms based on non-impacting control dependencies

Muske, T., Talluri, R. & Serebrenik, A., 18 Nov 2019, Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings. Widjaja Lin, A. (ed.). Cham: Springer, p. 115-135 21 p. (Lecture Notes in Computer Science; vol. 11893).

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

Open Access

RERS 2019: combining synthesis with real-world models

Jasper, M., Mues, M., Murtovi, A., Schlüter, M., Howar, F., Steffen, B., Schordan, M., Hendriks, D., Schiffelers, R., Kuppens, H. & Vaandrager, F. W., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Beyer, D., Kordon, F. & Huisman, M. (eds.). Cham: Springer, p. 101-115 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

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

Open Access
File
4 Citations (Scopus)
26 Downloads (Pure)

Safety analysis method for cooperative driving systems

Dajsuren, Y. & Loupias, G., 30 Apr 2019, Proceedings - 2019 IEEE International Conference on Software Architecture, ICSA 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 181-190 10 p. 8703914

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

2 Citations (Scopus)

Sample flow modeling for rapid performance and failure analysis

Tassew, B., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven. 128 p.

Research output: ThesisPd Eng Thesis

Open Access
File
88 Downloads (Pure)

Schedule synthesis for halide pipelines through reuse analysis

Sioutas, S., Stuijk, S., Waeijen, L., Basten, T., Corporaal, H. & Somers, L., 1 Apr 2019, In : ACM Transactions on Architecture and Code Optimization. 16, 2, 22 p., 10.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
57 Downloads (Pure)

Sentiment and emotion in software engineering

Novielli, N. & Serebrenik, A., 1 Sep 2019, In : IEEE Software. 36, 5, p. 6-9+23 8802324.

Research output: Contribution to journalArticleAcademic

Open Access
4 Citations (Scopus)
1 Downloads (Pure)

Sequencing and intermediate acceptance: axiomatisation and decidability of bisimilarity

Belder, A., Luttik, B. & Baeten, J., Nov 2019, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 22 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 139).

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

Open Access
File
7 Downloads (Pure)

SIGmA: GPU accelerated simplification of SAT formulas

Osama, M. & Wijs, A., 1 Jan 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Cham: Springer, p. 514-522 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

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