Research Output per year
Research Output 1972 2019
- 1 - 50 out of 401 results
- Publication Year, Title (descending)
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.09880Research output: Contribution to journal › Article › Academic
Open Access
File
Specifications
Data storage equipment
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 journal › Article › Academic › peer-review
Synchronization
Lower bounds for synchronizing word lengths in partial automata
de Bondt, M., Don, H. & Zantema, H., 1 Jan 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
OpenStack gender diversity report
Izquierdo-Cortazar, D., Huesman, N., Serebrenik, A. & Robles, G., 1 Jan 2019, In : IEEE Software. 36, 1, p. 28-33Research output: Contribution to journal › Article › Academic › peer-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-210Research output: Contribution to journal › Article › Academic › peer-review
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.5Research 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
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 journal › Article › Academic › peer-review
Petri nets
Algebra
Communication
Packet switching
Structural analysis
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, 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., 131Research 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
Counting symbol switches in synchronizing automata
Don, H. M. & Zantema, H., 2018, In : arXiv. 26 p., 1812.04050v1Research output: Contribution to journal › Article › Academic
Open Access
File
Automata
Counting
Switch
Count
Synchronization
Discovering community patterns in open-source: a systematic approach and its evaluation
Tamburri, D. A., Palomba, F., Serebrenik, A. & Zaidman, A., 4 Sep 2018, (Accepted/In press) In : Empirical Software Engineering.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
Health
Empowering OCL research: a large-scale corpus of open-source data from GitHub
Mengerink, J. G. M., Noten, J. & Serebrenik, A., 23 Aug 2018, In : Empirical Software Engineering.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
Software design
Systems analysis
Experiments
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
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
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., 8552648Research output: Contribution to journal › Article › Academic › peer-review
Open Access
Computer software reusability
Software engineering
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
Lower bounds for synchronizing word lengths in partial automata
de Bondt, M., Don, H. M. & Zantema, H., 2018, In : arXiv. 1801.10436Research 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
Vera-Mora, G., Leyva-Vásquez, M., León-Acurio, J. & Botto-Tobar, M., 1 Jan 2018, In : Espacios. 39, 15, 14 p., 22Research output: Contribution to journal › Article › Academic › peer-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–497Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
Model checking
Scalability
Planning
Specifications
Testing
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, A12Research 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
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
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.09494v1Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
Model checking
Directed graphs
Graphics processing unit
Experiments
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
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
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, 13Research output: Contribution to journal › Article › Academic › peer-review
Bisimulation
Branching
Equivalence
Computing
Time Complexity
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 : Embedded Software Design : the EUROMICRO journal. 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, e1914Research 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
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., 15Research 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., 160Research 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
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 journal › Article › Academic › peer-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.09323v1Research output: Contribution to journal › Article › Academic
Open Access
File
Reverse engineering
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 journal › Article › Academic › peer-review
Open Access
File
Transcription
Industrial applications
Termination of cycle rewriting by transformation and matrix interpretation
Sabel, D. & Zantema, H., 1 Jan 2017, In : Logical Methods in Computer Science. 13, 1, 11Research output: Contribution to journal › Article › Academic › peer-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-92Research output: Contribution to journal › Article › Professional
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 journal › Article › Academic › peer-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-2Research output: Contribution to journal › Article › Academic › peer-review
Demonstrations
2016
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-40Research output: Contribution to journal › Article › Academic › peer-review
Blueprints
Embedded systems
Computer systems
Computer simulation
Computer programming languages
A probabilistic analysis of the Game of the Goose
Groote, J. F., Wiedijk, F. & Zantema, H., 2016, In : SIAM Review. 58, 1, p. 143-155Research output: Contribution to journal › Article › Academic › peer-review
Open Access
Probabilistic Analysis
Game
Random processes
Stochastic Processes (theory)
State Space