Research Output per year
Research Output 1972 2019
- 1 - 50 out of 468 results
- Publication Year, Title (descending)
A formal actor-based model for streaming the future
Azadbakht, K., de Boer, F. S., Bezirgiannis, N. & de Vink, E., 1 Dec 2019, In : Science of Computer Programming. 186, 22 p., 102341.Research output: Contribution to journal › Article › Academic › peer-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 journal › Article › Academic
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
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
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
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
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
Gender diversity and community smells: insights from the trenches
Catolino, G., Palomba, F., Tamburri, D. A., Serebrenik, A. & Ferrucci, F., 19 Sep 2019, (Accepted/In press) In : IEEE Software.Research output: Contribution to journal › Article › Academic › peer-review
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
How bugs are born: a model to identify how bugs are introduced in software components
Rodriguez Perez, G., Robles, G., Serebrenik, A., Zaidman, A., German, D. & González-Barahona, J. M., 3 Oct 2019, (Accepted/In press) In : Empirical Software Engineering.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
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
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
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
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
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
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
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
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
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., 19 Nov 2018, (Accepted/In press) In : IEEE Transactions on Software Engineering.Research output: Contribution to journal › Article › Academic › peer-review
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
EnTagRec++: an enhanced tag recommendation system for software information sites
Wang, S., Lo, D., Vasilescu, B. N. & Serebrenik, A., Apr 2018, In : Empirical Software Engineering. 23, 2, p. 800-832 33 p.Research output: Contribution to journal › Article › Academic › peer-review
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-70Research output: Contribution to journal › Article › Academic › peer-review
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
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
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
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
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–497Research output: Contribution to journal › Article › Academic › peer-review
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
Reducing user input requests to improve IT support ticket resolution process
Gupta, M., Asadullah, A., Padmanabhuni, S. & Serebrenik, A., 2018, In : Empirical Software Engineering. 23, 3, p. 1664-1703Research output: Contribution to journal › Article › Academic › peer-review
Software analysis, evolution, and reengineering, and ICT sustainability
Carver, J., Penzenstadler, B. & Serebrenik, A., 1 Jul 2018, In : IEEE Software. 35, 4, p. 78-80 3 p.Research output: Contribution to journal › Article › Academic › peer-review
Synchronizing non-deterministic finite automata
Don, H. & Zantema, H., 2018, In : Journal of Automata, Languages and Combinatorics. 23, 4, p. 307-328 22 p.Research output: Contribution to journal › Article › Academic › peer-review
Tree pattern matching from regular tree expressions
Belabbaci, A., Cherroun, H., Cleophas, L. & Ziadi, D., 2018, In : Kybernetika. 54, 2, p. 221-242 22 p.Research output: Contribution to journal › Article › Academic › peer-review
Workshop on advances in knowledge extraction and re-engineering of software (selected and extended papers from WAKERS 2017)
Cleophas, L., Schaefer, I. & Watson, B. W., 15 Nov 2018, In : Science of Computer Programming. 166, p. 1-2 2 p.Research output: Contribution to journal › Article › Academic › peer-review
Analysing the performance of GPU hash tables for state space exploration
Cassee, N. & Wijs, A. J., 27 Dec 2017, In : arXiv. p. 1-15 1712.09494v1 .Research output: Contribution to journal › Article › Academic › peer-review
Analyzing execution traces: critical-path analysis and distance analysis
Hendriks, M., Verriet, J., Basten, T., Theelen, B., Brassé, M. & Somers, L., 1 Aug 2017, In : International Journal on Software Tools for Technology Transfer. 19, 4, p. 487-510 24 p.Research output: Contribution to journal › Article › Academic › peer-review
An assessment of algorithms for deriving failure deterministic finite automata
Nxumalo, M., Kourie, D. G., Cleophas, L. G. W. A. & Watson, B. W., 2017, In : South African Computer Journal. 29, 1, p. 43-68 26 p.Research output: Contribution to journal › Article › Academic › peer-review
An O(mlog n) algorithm for computing stuttering equivalence and branching bisimulation
Groote, J. F., Jansen, D. N., Keiren, J. J. A. & Wijs, A. J., 1 Jun 2017, In : ACM Transactions on Computational Logic. 18, 2, 13.Research output: Contribution to journal › Article › Academic › peer-review
A systematic approach and tool support for GSN-based safety case assessment
Luo, Y., van den Brand, M. J. G., Li, Z. & Khabbaz Saberi, A., 1 May 2017, In : Journal of Systems Architecture. 76, p. 1-16 16 p.Research output: Contribution to journal › Article › Academic › peer-review
Corrigendum: Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions published on 9 December 2015
Landman, D., Serebrenik, A., Bouwers, E. & Vinju, J. J., 2017, In : Journal of Software : Evolution and Process. 29, 10, e1914.Research output: Contribution to journal › Article › Academic › peer-review
Cost comparison of running web applications in the cloud using monolithic, microservice, and AWS Lambda architectures
Villamizar, M., Garcés, O., Ochoa, L., Castro, H., Salamanca, L., Verano, M., Casallas, R., Gil, S., Valencia, C., Zambrano, A. & Lang, M., 1 Jun 2017, In : Service oriented computing and applications. 11, 2, p. 233-247 15 p.Research output: Contribution to journal › Article › Academic › peer-review
Games for bisimulations and abstraction
de Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C., 22 Nov 2017, In : Logical Methods in Computer Science. 13, 4, 40 p., 15.Research output: Contribution to journal › Article › Academic
ICSE Highlights
Carver, J. & Serebrenik, A., 2017, In : IEEE Software. 34, 6, p. 18-20Research output: Contribution to journal › Article › Professional
Online scheduling of 2-re-entrant flexible manufacturing systems
van Pinxten, J. H. H., Waqas, U., Geilen, M. C. W., Basten, A. A. & Somers, L., 1 Sep 2017, In : ACM Transactions on Embedded Computing Systems. 16, 5s, 20 p., 160.Research output: Contribution to journal › Article › Academic › peer-review
On negative results when using sentiment analysis tools for software engineering research
Jongeling, R. M., Sarkar, P., Datta, S. & Serebrenik, A., 21 Aug 2017, In : Empirical Software Engineering. 22, 5, p. 2543-2584 42 p.Research output: Contribution to journal › Article › Academic › peer-review
Ordering sequences by permutation transducers
Bosma, W. & Zantema, H., 1 Feb 2017, In : Indagationes Mathematicae. 28, 1, p. 38-54 17 p.Research output: Contribution to journal › Article › Academic › peer-review