Research Output per year
Research Output 1972 2019
- 1 - 50 out of 468 results
- Publication Year, Title (descending)
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 journal › Article › Academic › peer-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 journal › Article › Academic
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 journal › Article › Academic
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Testing
Scheduling
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
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 journal › Article › Academic › peer-review
Preservation
Congruence
Divides
Divergence
Semantics
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
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Open Access
File
Model Transformation
Formal Verification
Correctness
Model
Formal Proof
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
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic
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 journal › Article › Academic › peer-review
Open Access
File
Recommender systems
Labels
Engineers
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
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic
Open Access
File
Automata
Lower bound
Partial
Series
Rewriting
Mapas cognitivos borrosos para el análisis de modelos mentales
Research output: Contribution to journal › Article › Academic › peer-review
Large scale systems
Students
Feedback
Fuzzy cognitive maps
Mental models
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
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 journal › Article › Academic › peer-review
Specifications
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
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Demonstrations
Feedback
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
Open Access
File
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
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 journal › Article › Academic
Open Access
File
Bisimulation
Game
Specification
Specifications
Process Algebra
ICSE Highlights
Carver, J. & Serebrenik, A., 2017, In : IEEE Software. 34, 6, p. 18-20Research output: Contribution to journal › Article › Professional
Software engineering
Energy utilization
Defects
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
Open Access
File
Flexible manufacturing systems
Scheduling
Processing
Productivity
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
Open Access
File
Engineering research
Software engineering
Social aspects
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
Open Access
Transducer
Permutation
Equivalence class
Periodic Sequence
Automata