Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Tijdschriftartikel
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 blz., 102341.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 507-519 13 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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 blz., 266.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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 blz., 11.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
10 Citaten (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 blz., 102493.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Finding compact proofs for infinite-data parameterised Boolean equation systems

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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 blz., 110573.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 10-16 7 blz., 8852638.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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 mrt 2020, In : Empirical Software Engineering. 25, 2, blz. 1294-1340 47 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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, blz. 684-690 7 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access

Interface protocol inference to aid understanding legacy software components

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, (Geaccepteerd/In druk) In : IEEE Software.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access

Sommen met kwadraten, uit het hoofd

Verhoeff, T., 23 jun 2020, In : Pythagoras : Wiskundetijdschrift voor Jongeren. 59, 6, blz. 18-23 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelPopulair

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 blz., 6.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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 blz., 1909.10824.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
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 blz., 1902.09880.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
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, blz. 253-286 34 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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 okt 2019, In : Science of Computer Programming. 184, 22 blz., 102316.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 1369–1417 49 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
2 Citaten (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., okt 2019, In : Information and Computation. 268, 31 blz., 104435.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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, blz. 1574–1609 36 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
36 Downloads (Pure)

Gender in software engineering

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 29-60 32 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (Scopus)

Nonlinear system identification: a user-oriented road map

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

8 Citaten (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, blz. 130-153 24 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

OpenStack gender diversity report

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
4 Citaten (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 blz., 10.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
1 Citaat (Scopus)
53 Downloads (Pure)

Sentiment and emotion in software engineering

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
2 Citaten (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 blz., 19.2.5.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

The k-dimensional cube is k-representable

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 15-17 3 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

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

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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, blz. 138-152 15 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
2 Citaten (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, blz. 3-43 41 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
6 Citaten (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 blz., 131.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
5 Citaten (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, blz. 571-590 20 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Downloads (Pure)

Counting symbol switches in synchronizing automata

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
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, blz. 800-832 33 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
7 Citaten (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, blz. 48-70 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
7 Citaten (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, blz. 1485-1505 21 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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, blz. 16-19 4 blz., 8552648.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
2 Citaten (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 okt 2018, In : Science of Computer Programming. 163, blz. 62-84 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (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 .

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
27 Downloads (Pure)

Mapas cognitivos borrosos para el análisis de modelos mentales

Vera-Mora, G., Leyva-Vásquez, M., León-Acurio, J. & Botto-Tobar, M., 1 jan 2018, In : Espacios. 39, 15, 14 blz., 22.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Model checking: recent improvements and applications

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)

Parity game reductions

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
2 Citaten (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, blz. 1664-1703 40 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
1 Citaat (Scopus)
261 Downloads (Pure)