Research Output 1972 2019

Filter
Article
2019

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

Specifications
Specification languages
Application programs
Computer programming languages
Servers
2 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
Data storage equipment
16 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
Specifications
Data storage equipment
Experiments
1 Citation (Scopus)

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

Automata
Counting
Switch
Count
Switches

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

Testing
Scheduling
24 Downloads (Pure)

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
Health

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

Preservation
Congruence
Divides
Divergence
Semantics
15 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
Software design
Systems analysis
Experiments

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

Open Access
Communication
Software engineering
Statistical Models

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

Software engineering
1 Downloads (Pure)

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

Application programming interfaces (API)
Software engineering
Open source software
2 Citations (Scopus)

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

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
Industry
1 Citation (Scopus)
28 Downloads (Pure)

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
2 Citations (Scopus)
1 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
Software engineering
Industry
Productivity

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
Vertex of a graph
Concatenation
Cartesian product
Graph in graph theory

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

Petri nets
Algebra
Communication
Packet switching
Structural analysis
1 Citation (Scopus)
6 Downloads (Pure)

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
Ecology
Animals
Trajectories
Statistics
2018
5 Citations (Scopus)
60 Downloads (Pure)

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
3 Citations (Scopus)
25 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
Bisimulation
Efficient Algorithms
Labeled Transition System
Systems science
Transition Systems
3 Citations (Scopus)
8 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., 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
1 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

Cooking
Controllers
3 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
Automata
Counting
Switch
Count
Synchronization
3 Citations (Scopus)
17 Downloads (Pure)

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

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
DSL
Reusability
Computer programming languages
17 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
Rewriting
Counterexample
Binary relation
Theorem
Termination
2 Citations (Scopus)

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

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

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

Large scale systems
Students
Feedback
Fuzzy cognitive maps
Mental models
47 Downloads (Pure)

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

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

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

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

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

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

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
12 Citations (Scopus)
4 Downloads (Pure)

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
4 Citations (Scopus)
1 Downloads (Pure)

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

Demonstrations
Feedback
2 Citations (Scopus)
32 Downloads (Pure)
Open Access
File
17 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)
10 Downloads (Pure)

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
3 Citations (Scopus)
164 Downloads (Pure)

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
50 Citations (Scopus)
54 Downloads (Pure)

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

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