Research Output

Filter
Article
2020

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

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

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)

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)

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

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)

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

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
2019

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

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

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
2 Citations (Scopus)
67 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

1 Citation (Scopus)
1 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
36 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

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)

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

9 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

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)

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
1 Citation (Scopus)
53 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
2 Citations (Scopus)
1 Downloads (Pure)

Solving computational problems in the theory of word-representable graphs

Akgün, Ö., Gent, I., Kitaev, S. & Zantema, H., 2019, In : Journal of Integer Sequences. 22, 2, 18 p., 19.2.5.

Research output: Contribution to journalArticleAcademicpeer-review

The k-dimensional cube is k-representable

Broere, B. & Zantema, H., 2019, In : Journal of Automata, Languages and Combinatorics. 24, 1, p. 3-12 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Bartholomeus, M., Luttik, B., Willemse, T. A. C., Hansen, D., Leuschel, M. & Hendriks, P., 1 Nov 2019, In : IRSE News. 260, 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

The use of formal methods in standardisation of interfaces of signalling systems

van der Werff, M., Elsweiler, B., Luttik, B. & Hendriks, P., Jun 2019, In : IRSE News. 256, p. 15-17 3 p.

Research output: Contribution to journalArticleProfessional

Verification of hypertorus communication grids by infinite Petri nets and process algebra

Zaitsev, D., Shmeleva, T. & Groote, J. F., May 2019, In : IEEE/CAA Journal of Automatica Sinica. 6, 3, p. 733-742 10 p., 8707130.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Visual exploration of migration patterns in gull data

Konzack, M., Gijsbers, P., Timmers, F., van Loon, E., Westenberg, M. A. & Buchin, K., 1 Jan 2019, In : Information Visualization. 18, 1, p. 138-152 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
20 Downloads (Pure)
2018

A formal verification technique for behavioural model-to-model transformations

de Putter, S. & Wijs, A., 1 Jan 2018, In : Formal Aspects of Computing. 30, 1, p. 3-43 41 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
6 Citations (Scopus)
76 Downloads (Pure)

An efficient algorithm to determine probabilistic bisimulation

Groote, J. F., Rivera Verduzco, H. J. & de Vink, E. P., 5 Sep 2018, In : Algorithms. 11, 9, 22 p., 131.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
5 Citations (Scopus)
36 Downloads (Pure)

Cooking your own parity game preorders through matching plays

Gazda, M. W. & Willemse, T. A. C., 1 Jun 2018, In : International Journal of Foundations of Computer Science. 29, 4, p. 571-590 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

Counting symbol switches in synchronizing automata

Don, H. M. & Zantema, H., 2018, In : arXiv. 26 p., 1812.04050v1 .

Research output: Contribution to journalArticleAcademic

Open Access
File
6 Downloads (Pure)

EnTagRec++: an enhanced tag recommendation system for software information sites

Wang, S., Lo, D., Vasilescu, B. N. & Serebrenik, A., 1 Apr 2018, In : Empirical Software Engineering. 23, 2, p. 800-832 33 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
7 Citations (Scopus)
32 Downloads (Pure)

Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod

Sutii, A. M., van den Brand, M. G. J. & Verhoeff, T., 1 Jan 2018, In : Computer Languages, Systems and Structures. 51, p. 48-70 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
7 Citations (Scopus)
5 Downloads (Pure)

Finding small counter examples for abstract rewriting properties

Zantema, H., 1 Sep 2018, In : Mathematical Structures in Computer Science. 28, 8, p. 1485-1505 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
34 Downloads (Pure)

Gender, sentiment and emotions, and safety-critical systems

Carver, J., Capilla, R., Penzenstadler, B., Serebrenik, A. & Valdezate, A., 1 Nov 2018, In : IEEE Software. 35, 6, p. 16-19 4 p., 8552648.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2 Citations (Scopus)

Improving custom-tailored variability mining using outlier and cluster detection

Wille, D., Babur, Ö., Cleophas, L., Seidl, C., van den Brand, M. & Schaefer, I., 1 Oct 2018, In : Science of Computer Programming. 163, p. 62-84 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
1 Downloads (Pure)

Lower bounds for synchronizing word lengths in partial automata

de Bondt, M., Don, H. M. & Zantema, H., 2018, In : arXiv. 1801.10436 .

Research output: Contribution to journalArticleAcademic

Open Access
File
27 Downloads (Pure)

Mapas cognitivos borrosos para el análisis de modelos mentales

Translated title of the contribution: Fuzzy cognitive maps for the analysis of mental modelsVera-Mora, G., Leyva-Vásquez, M., León-Acurio, J. & Botto-Tobar, M., 1 Jan 2018, In : Espacios. 39, 15, 14 p., 22.

Research output: Contribution to journalArticleAcademicpeer-review

Model checking: recent improvements and applications

Bošnački, D. & Wijs, A., 1 Oct 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 493–497 5 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
60 Downloads (Pure)

Modular termination verification of single-threaded and multithreaded programs

Jacobs, B., Bosnacki, D. & Kuiper, R., 1 Aug 2018, In : ACM Transactions on Programming Languages and Systems. 40, 3, A12.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., Aug 2018, In : Acta Informatica. 55, 5, p. 401-444 44 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Reducing user input requests to improve IT support ticket resolution process

Gupta, M., Asadullah, A., Padmanabhuni, S. & Serebrenik, A., 1 Jun 2018, In : Empirical Software Engineering. 23, 3, p. 1664-1703 40 p.

Research output: Contribution to journalArticleAcademicpeer-review

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