Research Output

2020

Action-based recommendation in Pull-request development

Azeem, M. I., Panichella, S., Di Sorbo, A., Serebrenik, A. & Wang, Q., 28 Feb 2020, (Accepted/In press) Proceedings of ICSSP 2020: International Conference on Software And System Processes. p. 115-124

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

Open Access

Active Learning of Decomposable Systems

al Duhaiby, O. & Groote, J. F., 13 Jul 2020, 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE). Seoul, Republic of Korea: ACM/IEEE, p. 1-10 10 p.

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

Open Access
File
12 Downloads (Pure)

A formal actor-based model for streaming the future

Azadbakht, K., de Boer, F. S., Bezirgiannis, N. & de Vink, E., 1 Feb 2020, In : Science of Computer Programming. 186, 22 p., 102341.

Research output: Contribution to journalArticleAcademicpeer-review

Analyzing Comments in Ticket Resolution to Capture Underlying Process Interactions

Gupta, M., Agarwal, P., Tater, T., Dechu, S. & Serebrenik, A., 7 Jul 2020, (Accepted/In press) 4th International Workshop in Artificial Intelligence for Business Process Management. Springer

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

An authorization framework for cooperative intelligent transport systems

Ravidas, S., Karkhanis, P., Dajsuren, Y. & Zannone, N., 1 Jan 2020, Emerging Technologies for Authorization and Authentication - 2nd International Workshop, ETAA 2019, Proceedings. Saracino, A. & Mori, P. (eds.). Cham: Springer, p. 16-34 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11967 LNCS).

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

2 Downloads (Pure)

An intelligent transportation system: The quito city case study

Zambrano, A., Zambrano, M., Ortiz, E., Calderón, X. & Botto-Tobar, M., 1 Jan 2020, In : International Journal on Advanced Science, Engineering and Information Technology. 10, 2, p. 507-519 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

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

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 1 Jan 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

Open Access
1 Citation (Scopus)

Application of a Heuristic-Diffuse Model to Support Decision-Making in Assessing the Post-seismic Structural Damage of a Building

Cevallos-Torres, L., Botto-Tobar, M., León-Granizo, O. & Cortez-Lara, A., 1 Jan 2020, Applied Technologies - 1st International Conference, ICAT 2019, Proceedings. Botto-Tobar, M., Zambrano Vizuete, M., Torres-Carrión, P., Montes León, S., Pizarro Vásquez, G. & Durakovic, B. (eds.). Springer, p. 411-423 13 p. (Communications in Computer and Information Science; vol. 1194 CCIS).

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

A reflection on "an exploratory study on exception handling bugs in java programs"

Ebert, F., Castor, F. & 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.). Piscataway: IEEE Computer Society, p. 552-556 5 p. 9054791

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

Open Access

Automatically learning patterns for self-admitted technical debt removal

Zampetti, F., Serebrenik, A. & Di Penta, M., 6 Feb 2020, 27th IEEE 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. 355-366 12 p. 9054868

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

Open Access
File
60 Downloads (Pure)

Automatic corneal nerve fiber segmentation and geometric biomarker quantification

Zhang, D., Huang, F., Khansari, M., Berendschot, T. T. J. M., Xu, X., Dashtbozorg, B., Sun, Y., Zhang, J. & Tan, T., 20 Feb 2020, In : European Physical Journal. Plus. 135, 2, 16 p., 266.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
17 Downloads (Pure)

Automatic Support for Multi-Domain Model Management

Torres, W., van den Brand, M. G. J. & Serebrenik, A., 24 Jul 2020, (Accepted/In press) IEEE International Conference on Software Maintenance and Evolution: Doctoral Symposium.

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

Open Access

Automation of the municipal inspection process in Ecuador applying mobile-D for android

Guevara-Vega, C., Hernández-Rojas, J., Botto-Tobar, M., García-Santillán, I., Basantes Andrade, A. & Quiña-Mera, A., 1 Jan 2020, Advances in Emerging Trends and Technologies Volume 1. Botto-Tobar, M., León-Acurio, J., Díaz Cadena, A. & Montiel Díaz, P. (eds.). Cham: Springer, p. 155-166 12 p. (Advances in Intelligent Systems and Computing; vol. 1066).

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

Bacatá: notebooks for DSLs, almost for free

Merino, M. V., Vinju, J. & van der Storm, T., 14 Feb 2020, In : The Art, Science, and Engineering of Programming. 4, 3, 38 p., 11.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
13 Downloads (Pure)

Beyond technical aspects: how do community smells influence the intensity of code smells?

Palomba, F., Tamburri, D. A., Fontana, F. A., Oliveto, R., Zaidman, A. & Serebrenik, A., 2020, In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
10 Citations (Scopus)
15 Downloads (Pure)

Boekbespreking - Benjamin Hutz: an experimental introduction to number theory

Verhoeff, T., Mar 2020, In : Nieuw Archief voor Wiskunde. 5/21, 1, p. 66-67 2 p.

Research output: Contribution to journalBook reviewAcademic

Circle of Lamps

Verhoeff, T., 8 Jul 2020

Research output: Non-textual formSoftwareProfessional

Open Access

Compositional model checking with divergence preserving branching bisimilarity is lively

de Putter, S., Lang, F. & Wijs, A., 15 Sep 2020, In : Science of Computer Programming. 196, 23 p., 102493.

Research output: Contribution to journalArticleAcademicpeer-review

Effects of Adopting Code Review Bots on Pull Requests to OSS Projects

Wessel, M., Serebrenik, A., Scaliante Wiese, I., Steinmacher, I. & Gerosa, M. A., 4 Aug 2020, (Accepted/In press) IEEE International Conference on Software Maintenance and Evolution. IEEE Computer Society

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

Finding compact proofs for infinite-data parameterised Boolean equation systems

Neele, T., Willemse, T. A. C. & Groote, J. F., 1 Mar 2020, In : Science of Computer Programming. 188, 22 p., 102389.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Four Mathematical Designs for EGMO 2020, the European Girls' Mathematical Olympiad in the Netherlands

Verhoeff, T., Jul 2020, Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture. Phoenix, Arizona, USA, p. 289-296 8 p. (Proceedings of Bridges).

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

Open Access

GAP: forecasting commit activity in git projects

Decan, A., Constantinou, E., Mens, T. & Rocha, H., 1 Jul 2020, In : Journal of Systems and Software. 165, 10 p., 110573.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Gender diversity and community smells: insights from the trenches

Catolino, G., Palomba, F., Tamburri, D. A., Serebrenik, A. & Ferrucci, F., 3 Jan 2020, In : IEEE Software. 37, 1, p. 10-16 7 p., 8852638.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
1 Downloads (Pure)

How bugs are born: a model to identify how bugs are introduced in software components

Rodríguez-Pérez, G., Robles, G., Serebrenik, A., Zaidman, A., Germán, D. M. & Gonzalez-Barahona, J. M., 1 Mar 2020, In : Empirical Software Engineering. 25, 2, p. 1294-1340 47 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
39 Downloads (Pure)

Impact of industrial SMEs in the environment conservation: A systematic mapping study

Carvajal, C. L. Y., Gil, J. C., Cadena, A. D., Cisneros, J. C., Botto-Tobard, M. & Yagual, F. E. V., 1 Jan 2020, In : International Journal on Advanced Science, Engineering and Information Technology. 10, 2, p. 684-690 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Interface protocol inference to aid understanding legacy software components

Aslam, K., Cleophas, L., Schiffelers, R. & van den Brand, M., 2020, (Accepted/In press) In : Software and Systems Modeling.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Is 40 the new 60? How popular media portrays the employability of older software developers

Baltes, S., Park, G. W. A. & Serebrenik, A., 27 Jul 2020, (Accepted/In press) In : IEEE Software.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Modelling and Analysing Software in mCRL2

Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., 1 Jan 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. Arbab, F. & Jongmans, S-S. (eds.). Springer, p. 25-48 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

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

On the Adoption of Kotlin on Android Development: A Triangulation Study

Oliveira, V., Teixeira, L. & Ebert, F., Feb 2020, International Conference on Software Analysis, Evolution and Reengineering (SANER). Kontogiannis, K., Khomh, F., Chatzigeorgiou, A., Fokaefs, M-E. & Zhou, M. (eds.). p. 206-216 11 p. 9054859

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

Painting flowers: reasons for using single-state state machines in model-driven engineering

Yang, N., Cuijpers, P. J. L., Schiffelers, R. R. H., Lukkien, J. J. & Serebrenik, A., 2 Mar 2020, (Accepted/In press) Proceedings of the 17th International Conference on Mining Software Repositories. p. 362-373

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

Open Access

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

Neele, T., Willemse, T. A. C. & Wesselink, W., 17 Apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 307-324 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

Open Access

Postprocessing of static analysis alarms

Muske, T. B., 7 Jul 2020, Eindhoven: Eindhoven University of Technology. 174 p.

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

Open Access
File
35 Downloads (Pure)

Predictive analytics to prevent voice over ip international revenue sharing fraud

Meijaard, Y. J., Cappers, B. C. M., Mengerink, J. G. M. & Zannone, N., 2020, Data and Applications Security and Privacy - 34th Annual IFIP WG 11.3 Conference, DBSec 2020, Proceedings. Singhal, A. & Vaidya, J. (eds.). Springer, p. 241-260 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12122 LNCS).

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

Open Access

Reductions for parity games and model checking

Neele, T., 16 Sep 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

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

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

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

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

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 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
98 Downloads (Pure)

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)

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

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

4 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., 2019, In : Cybersecurity. 2, 1, 21 p., 6.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
19 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