Research Output per year
Research Output
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Open Access
File
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 journal › Article › Academic › peer-review
Open Access
File
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Open Access
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 journal › Article › Academic › peer-review
Open Access
File
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Open Access
Sommen met kwadraten, uit het hoofd
Research output: Contribution to journal › Article › Popular
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 journal › Article › Academic › peer-review
Open Access
File
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 journal › Article › Academic
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 journal › Article › Academic
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Open Access
File
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Professional
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Counting symbol switches in synchronizing automata
Don, H. M. & Zantema, H., 2018, In : arXiv. 26 p., 1812.04050v1 .Research output: Contribution to journal › Article › Academic
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Open Access
File
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic
Open Access
File
27
Downloads
(Pure)
Mapas cognitivos borrosos para el análisis de modelos mentales
Research output: Contribution to journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Open Access
File
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Open Access
File
1
Citation
(Scopus)
261
Downloads
(Pure)