Research Output

2020

Refactoring community smells in the wild: the practitioner’s field manual

Catolino, G., Palomba, F., Tamburri, D., Serebrenik, A. & Ferrucci, F., 16 Jan 2020, (Accepted/In press) Proceedings 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Society ICSE-SEIS 2020. p. 25-34

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

Open Access

Registration application of the future

Manos, K., Oct 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems

Kochanthara, S., Rood, N., Cleophas, L., Dajsuren, Y. & van den Brand, M., Mar 2020, Proceedings - 2020 IEEE International Conference on Software Architecture Companion, ICSA-C 2020. Institute of Electrical and Electronics Engineers, p. 55-58 4 p. 9095684

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

SmartTurkeys: a digital platform for behavioral phenotyping (DPBP)

Agarwal, M., Oct 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Sommen met kwadraten, uit het hoofd

Translated title of the contribution: Sums with Square, MentallyVerhoeff, T., 23 Jun 2020, In : Pythagoras : Wiskundetijdschrift voor Jongeren. 59, 6, p. 18-23 6 p.

Research output: Contribution to journalArticlePopular

Open Access

Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management

Torres, W., van den Brand, M. G. J. & Serebrenik, A., 29 May 2020, (Accepted/In press) International Conference on Systems Modelling and Management. Springer, (Communications in Computer and Information Science).

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

Open Access

Techniques for Efficient Automated Elimination of False Positives

Muske, T. & Serebrenik, A., 16 Sep 2020, (Accepted/In press) IEEE International Working Conference on Source Code Analysis and Manipulation: New Ideas and Emerging Results. IEEE Computer Society

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

Open Access

Term Rewriting on GPUs

Eerd, J. V., Groote, J. F., Hijma, P., Martens, J. & Wijs, A., 15 Sep 2020, In : arXiv.

Research output: Contribution to journalArticleAcademic

File

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

Neele, T., Valmari, A. & Willemse, T. A. C., 17 Apr 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Springer, p. 482-501 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

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

Open Access
1 Citation (Scopus)

The Philips Remote AI Streaming (PRAIS) platform

Mennens, R. J. P., Oct 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

The silent helper: the impact of continuous integration on code reviews

Cassee, N., Vasilescu, B. & Serebrenik, A., 6 Feb 2020, SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering. Kontogiannis, K., Khomh, F., Chatzigeorgiou, A., Fokaefs, M-E. & Zhou, M. (eds.). Institute of Electrical and Electronics Engineers, p. 423-434 12 p. 9054818. (SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering).

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

Open Access
File
113 Downloads (Pure)

Unified messaging control platform

Patel, P., Oct 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Up-to techniques for branching bisimilarity

Erkens, R., Rot, J. & Luttik, B., 17 Jan 2020, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings. Chatzigeorgiou, A., Dondi, R., Herodotou, H., Kapoutsis, C., Manolopoulos, Y., Papadopoulos, G. A. & Sikora, F. (eds.). Cham: Springer, p. 285-297 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).

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

1 Downloads (Pure)

Utilizing multi-core for dose control subsystem

Shiva Kumar, K., 30 Sep 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

What to Expect from Code Review Bots on GitHub? A Survey with OSS Maintainers

Wessel, M., Serebrenik, A., Scaliante Wiese, I., Steinmacher, I. & Gerosa, M. A., 18 Aug 2020, (Accepted/In press) Brazilian Symposium on Software Engineering.

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

Open Access

Who (Self) Admits Technical Debt?

Fucci, G., Zampetti, F., Serebrenik, A. & Di Penta, M., 31 Jul 2020, (Accepted/In press) International Conference on Software Maintenance and Evolution. IEEE Computer Society

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

Open Access

Work Practices and Perceptions from Women Core Developers in OSS Communities

Dias Canedo, E., Bonifácio de Almeida, R., Okimoto, M. V., Serebrenik, A., Pinto, G. & Monteiro, E., 7 Jul 2020, (Accepted/In press) ACM/IEEE International Symposium on Empirical Software Engineering and Measurement.

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

Open Access
2019

A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)

van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer, p. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

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

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

5 Citations (Scopus)

Active learning of industrial software with data

Groote, J. F., Sanchez, L. & Schiffelers, R., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 95-110 16 p. (Lecture notes in computer science; vol. 11761).

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

A framework for the extended evaluation of ABAC policies

Morisset, C., Willemse, T. A. C. & Zannone, N., 1 Dec 2019, In : Cybersecurity. 2, 1, 21 p., 6.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
21 Downloads (Pure)

A longitudinal analysis of bug handling across eclipse releases

Abou Khalil, Z., Constantinou, E., Mens, T., Duchien, L. & Quinton, C., Sep 2019, A Longitudinal Analysis of Bug Handling Across Eclipse Releases. Institute of Electrical and Electronics Engineers, 12 p. 8919074

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

2 Citations (Scopus)

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

An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

Groote, J. F. & de Vink, E. P., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Cham: Springer, p. 449-463 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

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

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

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 24 Sep 2019, In : arXiv. 27 p., 1909.10824.

Research output: Contribution to journalArticleAcademic

Open Access
File
6 Downloads (Pure)

A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2019, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer Science Reports; vol. 19-03)

Research output: Book/ReportReportProfessional

Open Access
File
45 Downloads (Pure)

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

Brants, W. M. G., Sharif, B. & Serebrenik, A., 13 May 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. New York: Association for Computing Machinery, Inc, p. 419-423 5 p.

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

Open Access

Automatic microscope alignment via machine learning

Bhatnagar, P., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven. 117 p.

Research output: ThesisPd Eng Thesis

Balanced scorecard as evaluation tool with sterilization processes by using fuzzy logic

Cevallos-Torres, L. J., Botto-Tobar, M., Nuñez-Gaibor, J., Cardenas-Giler, D., Wilches-Medina, A. & León-Acurio, J., 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. 630-643 14 p. (Communications in Computer and Information Science; vol. 895).

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

Beyond the code itself: how programmers really look at pull requests

Ford, D., Behroozi, M., Serebrenik, A. & Parnin, C., 28 May 2019, Proceedings 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Society ICSE-SEIS 2019. Piscataway: IEEE Computer Society, p. 51-60 10 p. 8797633

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

Open Access
3 Citations (Scopus)

Case study: Logistical behavior in the use of urban transport using the 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. Cevalles-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 97-110 14 p. (Studies in Computational Intelligence; vol. 824).

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

Case study: Project-based learning to evaluate probability distributions in medical area

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. 111-122 12 p. (Studies in Computational Intelligence; vol. 824).

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

Case study: Probabilistic estimates in the application of inventory models for perishable products in SMEs

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. 123-132 10 p. (Studies in Computational Intelligence; vol. 824).

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

Computational effort of BDD-based supervisor synthesis of extended finite automata

Thuijsman, S., Hendriks, D., Theunissen, R. J. M., Reniers, M. & Schiffelers, R., Aug 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 486-493 8 p. 8843327

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

Open Access
File
38 Downloads (Pure)

Confusion in code reviews: reasons, impacts and coping strategies: reasons, Impacts, and Coping Strategies

Ebert, F., Castor, F., Novielli, N. & 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. 49-60 12 p. 8668024

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

14 Citations (Scopus)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/01)

Research output: Book/ReportReportAcademic

Open Access
File
84 Downloads (Pure)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 29 May 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Yoshida, N. & Pérez, J. A. (eds.). Cham: Springer, p. 185-203 19 p. (Lecture Notes in Computer Science; vol. 11535).

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

2 Citations (Scopus)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T. A. C., 26 Feb 2019, In : arXiv. 28 p., 1902.09880.

Research output: Contribution to journalArticleAcademic

Open Access
File
31 Downloads (Pure)

Counting symbol switches in synchronizing automata

Don, H. & Zantema, H., 1 Jan 2019, In : Journal of Automata, Languages and Combinatorics. 24, 2-4, p. 253-286 34 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

DASSICO : data storing and structuring for information discovery in AgTech

Satria, D., 11 Dec 2019, Eindhoven: Technische Universiteit Eindhoven. 81 p.

Research output: ThesisPd Eng Thesis

Open Access
File
80 Downloads (Pure)

Dependency management and scope control framework

Khosravi, G., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven. 78 p.

Research output: ThesisPd Eng Thesis

Open Access
File
43 Downloads (Pure)

Dependency safety for Java: implementing and testing failboxes

Zhang, D., Bošnački, D., van den Brand, M., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 1 Oct 2019, In : Science of Computer Programming. 184, 22 p., 102316.

Research output: Contribution to journalArticleAcademicpeer-review

Discovering community patterns in open-source: a systematic approach and its evaluation

Tamburri, D. A., Palomba, F., Serebrenik, A. & Zaidman, A., 15 Jun 2019, In : Empirical Software Engineering. 24, 3, p. 1369–1417 49 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Distribution of behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 26 Aug 2019, Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. p. 54-68 15 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 300).

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

Open Access
File
20 Downloads (Pure)

Distribution of Behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 30 May 2019, arXiv.org. 14 p.

Research output: Book/ReportReportAcademic

Open Access
File
24 Downloads (Pure)

Divide and congruence III: from decomposition of modal formulas to preservation of stability and divergence

Fokkink, W. J., van Glabbeek, R. & Luttik, B., Oct 2019, In : Information and Computation. 268, 31 p., 104435.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Does UML modeling associate with lower defect proneness? a preliminary empirical investigation

Raghuraman, A., Ho-Quang, T., Chaudron, M. R. V., Serebrenik, A. & Vasilescu, B., 1 May 2019, Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019). Piscataway: IEEE Computer Society, p. 101-104 4 p. 8816762

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

Open Access
File
38 Downloads (Pure)

Empowering OCL research: a large-scale corpus of open-source data from GitHub

Mengerink, J. G. M., Noten, J. & Serebrenik, A., 15 Jun 2019, In : Empirical Software Engineering. 24, 3, p. 1574–1609 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
41 Downloads (Pure)