Research Output 1972 2019

Filter
Article
2019

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
Specifications
Data storage equipment
Experiments

Discovering community patterns in open-source: a systematic approach and its evaluation

Tamburri, D. A., Palomba, F., Serebrenik, A. & Zaidman, A., 23 Jun 2019, In : Empirical Software Engineering. 24, 3, p. 1369–1417

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Health

Empowering OCL research: a large-scale corpus of open-source data from GitHub

Mengerink, J. G. M., Noten, J. & Serebrenik, A., 23 Jun 2019, In : Empirical Software Engineering. 24, 3, p. 1574–1609

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Software design
Systems analysis
Experiments

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

Synchronization

OpenStack gender diversity report

Izquierdo-Cortazar, D., Huesman, N., Serebrenik, A. & Robles, G., 1 Jan 2019, In : IEEE Software. 36, 1, p. 28-33

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Industry

Preface to the Special Issue on Program Comprehension

Lo, D. & Serebrenik, A., 1 Feb 2019, In : Empirical Software Engineering. 24, 1, p. 208-210

Research output: Contribution to journalArticleAcademicpeer-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 journalArticleAcademicpeer-review

Open Access
File
Image processing
Pipelines
Code generation

Sentiment and emotion in software engineering

Novielli, N. & Serebrenik, A., 28 Jun 2019, (Accepted/In press) In : IEEE Software. 36, 5

Research output: Contribution to journalArticleAcademic

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

Graph in graph theory
Representability
Comparability Graph
Graph Representation
Odd number

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

Regular hexahedron
Cartesian product
Vertex of a graph
Product Graph
Concatenation

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

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

Research output: Contribution to journalArticleAcademicpeer-review

Petri nets
Algebra
Communication
Packet switching
Structural analysis
2018
3 Citations (Scopus)

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
Model Transformation
Formal Verification
Correctness
Model
Formal Proof
1 Citation (Scopus)

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
Bisimulation
Efficient Algorithms
Labeled Transition System
Systems science
Transition Systems

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 journalArticleAcademicpeer-review

Open Access
File
Software engineering
Defects
Costs

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

Cooking
Controllers

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
Automata
Counting
Switch
Count
Synchronization
1 Citation (Scopus)

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 journalArticleAcademicpeer-review

Open Access
File
Recommender systems
Labels
Engineers
6 Citations (Scopus)

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

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
DSL
Reusability
Computer programming languages

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
Rewriting
Counterexample
Binary relation
Theorem
Termination

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
Computer software reusability
Software engineering
4 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

Copying
MATLAB
Identification (control systems)
Industry

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
Automata
Lower bound
Partial
Series
Rewriting

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 p., 22

Research output: Contribution to journalArticleAcademicpeer-review

Large scale systems
Students
Feedback
Mental models
Fuzzy cognitive maps

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

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Scalability
Planning
Specifications
Testing
1 Citation (Scopus)

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

Specifications
1 Citation (Scopus)

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-1703

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Life cycle
Clocks
Computer software maintenance
Computer networks
Computer hardware
1 Citation (Scopus)

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 journalArticleAcademicpeer-review

Open Access
Reengineering
Sustainable development
Communication
1 Citation (Scopus)

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 journalArticleAcademicpeer-review

Open Access
File
Finite Automata
Finite automata
Upper bound
Sharp Bound
Imply

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 journalArticleAcademicpeer-review

Open Access
File
Pattern matching
Pattern Matching
Tree Automata
Time Complexity
Automata

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 journalArticleAcademicpeer-review

Reengineering
2017

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 journalArticleAcademicpeer-review

Open Access
File
Model checking
Directed graphs
Graphics processing unit
Experiments
4 Citations (Scopus)

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 journalArticleAcademicpeer-review

Critical path analysis
Digital printing
Visualization
Calibration
Costs
1 Citation (Scopus)

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 journalArticleAcademicpeer-review

Open Access
File
Finite automata
language
Formal languages
performance
10 Citations (Scopus)

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 journalArticleAcademicpeer-review

Bisimulation
Branching
Equivalence
Computing
Time Complexity
3 Citations (Scopus)
Demonstrations
Feedback
1 Citation (Scopus)
Open Access
File
11 Citations (Scopus)

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 journalArticleAcademicpeer-review

Costs
Scalability
Industry
Internet
Cost comparison
1 Citation (Scopus)

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 journalArticleAcademic

Open Access
File
Bisimulation
Game
Specification
Specifications
Process Algebra

ICSE Highlights

Carver, J. & Serebrenik, A., 2017, In : IEEE Software. 34, 6, p. 18-20

Research output: Contribution to journalArticleProfessional

Software engineering
Energy utilization
Defects
2 Citations (Scopus)

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 journalArticleAcademicpeer-review

Open Access
File
Flexible manufacturing systems
Scheduling
Processing
Productivity
37 Citations (Scopus)

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 journalArticleAcademicpeer-review

Open Access
File
Engineering research
Software engineering
Social aspects
2 Citations (Scopus)

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 journalArticleAcademicpeer-review

Open Access
Transducer
Permutation
Equivalence class
Periodic Sequence
Automata
1 Citation (Scopus)

Parity game reductions

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

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking

Recursion aware modeling and discovery for hierarchical software event log analysis (extended)

Leemans, M., van der Aalst, W. M. P. & van den Brand, M. G. J., 17 Oct 2017, In : arXiv. p. 1-14 1710.09323v1

Research output: Contribution to journalArticleAcademic

Open Access
File
Reverse engineering
2 Citations (Scopus)

Simultaneous analysis and design based optimization for paper path and timing design of a high-volume printer

Swartjes, L., Etman, L. F. P., van de Mortel-Fronczak, J. M., Rooda, J. E. & Somers, L. J. A. M., 1 Feb 2017, In : Mechatronics. 41, p. 82-89 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Transcription
Industrial applications
1 Citation (Scopus)

Termination of cycle rewriting by transformation and matrix interpretation

Sabel, D. & Zantema, H., 1 Jan 2017, In : Logical Methods in Computer Science. 13, 1, 11

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Rewriting
Termination
Acoustic waves
Cycle
Strings

The human factor

Carver, J., Penzenstadler, B., Serebrenik, A. & Yamashita, A., 2017, In : IEEE Software. 34, 5, p. 90-92

Research output: Contribution to journalArticleProfessional

Human engineering
Software engineering
Open source software

The spurs of D. H. Lehmer : Hamiltonian paths in neighbor-swap graphs of permutations

Verhoeff, T., 2017, In : Designs, Codes and Cryptography. 84, 1, p. 295-310 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Hamiltonians
Hamiltonian path
Swap
Interchanges
Permutation

Tool demonstration track of MODELS'2016

Clarke, P. J., de Lara, J. & van den Brand, M., 1 Dec 2017, In : Science of Computer Programming. 149, p. 1-2

Research output: Contribution to journalArticleAcademicpeer-review

Demonstrations
2016
6 Citations (Scopus)

A blueprint for system-level performance modeling of software-intensive embedded systems

Hendriks, M., Basten, T., Verriet, J. H., Brasse, M. H. H. & Somers, L. J. A. M., 2016, In : International Journal on Software Tools for Technology Transfer. 18, 1, p. 21-40

Research output: Contribution to journalArticleAcademicpeer-review

Blueprints
Embedded systems
Computer systems
Computer simulation
Computer programming languages