Research Output 1972 2019

2019

Active learning of industrial software with data

Sanchez, L., Groote, J. F. & Schiffelers, R., 2019, Preproceedings of Fundamentals of Software Engineering (FSEN) 2019. Hojjat, H. & Massink, M. (eds.). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, p. 51-65 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Learning systems
Large scale systems
Problem-Based Learning

An approach to the detection of post-seismic structural damage based on image segmentation methods

Cevallos-Torres, L. J., Minda Gilces, D., Guijarro-Rodriguez, A., Barriga-Diaz, R., Leyva-Vazquez, M. & Botto-Tobar, M., 1 Jan 2019, Technology Trends - 4th International Conference, CITT 2018, Revised Selected Papers. Botto-Tobar, M., D’Armas, M., Zúñiga Sánchez, M., Zúñiga-Prieto, M. & Pizarro, G. (eds.). Cham: Springer, p. 644-658 15 p. (Communications in Computer and Information Science; vol. 895)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Image segmentation
Image Segmentation
Crack Detection
Crack detection
Crack

An empirical investigation of the abandonment and survival of open source projects

Amaral Avelino, G., Constantinou, E., Valente, M. T. & Serebrenik, A., 28 May 2019, (Accepted/In press) Empirical Software Engineering and Measurement.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File

An overview of multiple sequence alignment methods applied to transmembrane proteins

Zambrano-Vega, C., Oviedo, B., Villamar-Torres, R., Botto-Tobar, M. & Barros-Rodríguez, M., 1 Jan 2019, Technology Trends - 4th International Conference, CITT 2018, Revised Selected Papers. Botto-Tobar, M., D’Armas, M., Zúñiga Sánchez, M., Zúñiga-Prieto, M. & Pizarro, G. (eds.). Cham: Springer, p. 410-419 10 p. (Communications in Computer and Information Science; vol. 895)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Multiple Sequence Alignment
Proteins
Protein
Protein Sequence
Cytology

Assessing the meaning of emojis for emotional awareness - a pilot study

Brants, W. M. G., Sharif, B. & Serebrenik, A., 13 May 2019, Companion of The 2019 World Wide Web Conference. Association for Computing Machinery, Inc, p. 419-423

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access

Beyond the code itself: how programmers really look at pull requests

Ford, D., Behroozi, M., Serebrenik, A. & Parnin, C., 28 May 2019, 41st International Conference on Software Engineering, Software Engineering in Society. IEEE Computer Society, p. 51-60

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access

Case study: Project-based learning to evaluate probability distributions in medical area

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: a didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 111-122 12 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Probability distributions
Students

Case study: Probabilistic estimates in the application of inventory models for perishable products in SMEs

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: a didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 123-132 10 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Industry
Economics
Sales
Monte Carlo simulation

Case study: Logistical behavior in the use of urban transport using the monte carlo simulation method

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevalles-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 97-110 14 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Probability distributions
Filling stations
Monte Carlo simulation

Computational effort of BDD-based supervisor synthesis of extended finite automata

Thuijsman, S., Hendriks, D., Theunissen, R. J. M., Reniers, M. & Schiffelers, R., 2019, (Accepted/In press) 2019 IEEE 15th International Conference on Automation Science and Engineering. Institute of Electrical and Electronics Engineers, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Binary decision diagrams
Supervisory personnel
Finite automata
Clocks
Experiments

Confusion in code reviews: reasons, impacts and coping strategies: reasons, Impacts, and Coping Strategies

Ebert, F., Castor, F., Novielli, N. & Serebrenik, A., 15 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 49-60 12 p. 8668024

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Triangulation
Quality assurance
Defects

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 29 May 2019, Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings. Pérez, J. & Yoshida, N. (eds.). Cham: Springer, p. 185-203 19 p. (Lecture Notes in Computer Science; vol. 11535)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Antichain
Refinement
Correctness
Divergence
Specification

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/01)

Research output: Book/ReportReportAcademic

Open Access
File
Specifications
Data storage equipment
Experiments

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

Distribution of Behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 30 May 2019, arXiv.org. 14 p.

Research output: Book/ReportReportAcademic

Open Access
File
Decomposition
Distributed computer systems
Large scale systems
Communication

Does UML modeling associate with higher software quality in open-source software?

Raghuraman, A., Ho-Quang, T., Chaudron, M. R. V., Serebrenik, A. & Vasilescu, B., 1 Mar 2019, (Accepted/In press) Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019). ACM/IEEE, p. 101-104

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access

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

Gender diversity and women in software teams: how do they affect community smells?

Catolino, G., Palomba, F., Tamburri, D. A., Serebrenik, A. & Ferrucci, F., 28 May 2019, 41st International Conference on Software Engineering, Software Engineering in Society. ACM/IEEE, p. 11-20 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
gender
community
software development
organizational structure
software

Going farther together: the impact of social capital on sustained participation in open source

Qiu, H. S., Nolte, A., Brown, A., Serebrenik, A. & Vasilescu, B., 28 May 2019, International Conference on Software Engineering. IEEE Computer Society, p. 688-699 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
social capital
participation
career advancement
empirical method
disengagement

How remote work can foster a more inclusive environment for transgender developers

Ford, D., Milewicz, R. & Serebrenik, A., 27 May 2019, Workshop on Gender Equality in Software Engineering. ACM/IEEE, p. 9-12

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
1 Citation (Scopus)

How stable are Eclipse application framework internal interfaces?

Businge, J., Kawuma, S., Openja, M., Bainomugisha, E. & Serebrenik, A., 15 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 117-127 11 p. 8668018

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
Application programming interfaces (API)
Interfaces (computer)
1 Citation (Scopus)

Improving model inference in industry by combining active and passive learning

Yang, N., Aslam, K., Schiffelers, R. R. H., Lensink, L., Hendriks, D., Cleophas, L. G. W. A. & Serebrenik, A., 15 Mar 2019, 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 253-263 11 p. 8668007

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Industry
Lithography
Problem-Based Learning
Semiconductor materials

Lehmer's dance: a lecture performance

Verhoeff, T. & van Berkel, R., Jul 2019, Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture. Goldstine, S., McKenna, D. & Fenyvesi, K. (eds.). Phoenix: Tessellations Publishing, p. 375-378 4 p. (Proceedings of Bridges)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Choreography
Preparation
Education
Sound
Experience

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

Metamodel clone detection with SAMOS

Babur, Ö., Cleophas, L. & van den Brand, M., 1 Apr 2019, In : Journal of Computer Languages. 51, p. 57-74 18 p.

Research output: Contribution to journalReview articleAcademicpeer-review

Vector spaces
Scalability
Feature extraction
Statistical methods
Processing

Model analytics and management

Babur, Ö., 20 Feb 2019, Eindhoven: Technische Universiteit Eindhoven. 170 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File

Model-based simulation and threat analysis of in-vehicle networks

Lekidis, A. & Barosan, I., 1 May 2019, 2019 15th IEEE International Workshop on Factory Communication Systems, WFCS 2019. Piscataway: Institute of Electrical and Electronics Engineers, 8 p. 8757968

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Testing
Intelligent control
Navigation systems
Security systems
Internet of things

Model management tools for models of different domains: a systematic literature review

Silva Torres, W., van den Brand, M. G. J. & Serebrenik, A., 9 Jan 2019, (Accepted/In press) The 13th Annual IEEE International Systems Conference. Piscataway: Institute of Electrical and Electronics Engineers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Industry

Monte Carlo simulation method

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 87-96 10 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Stochastic models
Monte Carlo methods
Sampling
Monte Carlo simulation

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

Parallel SAT simplification on GPU architectures

Osama, M. & Wijs, A., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 21-40 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Graphics Processing Unit
Simplification
Satisfiability Problem
Preprocessing
Solvability

Political-electoral marketing and influencing factors in student representatives’ elections under a fuzzy logic approach

Cevallos-Torres, L., Botto-Tobar, M., Yepez-Holguín, J., Ortiz-Zambrano, J. & Valencia-Martínez, N., 1 Jan 2019, Computer and Communication Engineering - 1st International Conference, ICCCE 2018, Proceedings. Yánez-Pazmiño, W., Barzola-Monteses, J., Santos-Baquerizo, E., Botto-Tobar, M. & Espinoza-Andaluz, M. (eds.). Springer, p. 124-138 15 p. (Communications in Computer and Information Science; vol. 959)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Elections
Fuzzy Logic
Fuzzy logic
Marketing
Cognitive Map

Preface

Botto-Tobar, M., Barba-Maggi, L., González-Huerta, J., Villacrés-Cevallos, P., Gómez, O. S. & Uvidia-Fassler, M. I., 1 Jan 2019, In : Advances in Intelligent Systems and Computing. 884, p. v-vi

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
File

Preface

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Berlin: Springer, 2 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

Preface

Botto-Tobar, M., Barzola-Monteses, J., Santos-Baquerizo, E., Espinoza-Andaluz, M. & Yánez-Pazmiño, W., 1 Jan 2019, In : Communications in Computer and Information Science. 959, p. VI 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access

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

Process sampling

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 13-31 19 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Sampling
Statistics

Programming, software development, and computer science: the golden triangle

Verhoeff, T., Jul 2019, Olympiads in Informatics. Dagiene, V. (ed.). Vilnius: Vilnius University, p. 157-170 14 p. (Olympiads in Informatics; vol. 13)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
software development
computer science
programming
secondary education
student

Pseudo-random numbers and congruential methods

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 33-58 26 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Random variables

Random variable generation methods

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 59-86 28 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Inverse transforms
Convolution
Random variables
Chemical analysis
Experiments

Reducing static analysis alarms based on non-impacting control dependencies

Muske, T., Talluri, R. & Serebrenik, A., 13 Aug 2019, (Accepted/In press) Asian Symposium on Programming Languages and Systems. Springer, (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

RERS 2019: combining synthesis with real-world models

Jasper, M., Mues, M., Murtovi, A., Schlüter, M., Howar, F., Steffen, B., Schordan, M., Hendriks, D., Schiffelers, R., Kuppens, H. & Vaandrager, F. W., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Kordon, F., Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 101-115 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Reactive Systems
Automation
History
Synthesis
Benchmark

Safety analysis method for cooperative driving systems

Dajsuren, Y. & Loupias, G., 30 Apr 2019, Proceedings - 2019 IEEE International Conference on Software Architecture, ICSA 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 181-190 10 p. 8703914

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Adaptive cruise control
Vehicle to vehicle communications
Fault tree analysis
Control systems

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

Technology Trends: 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29-31, 2018, revised selected papers

Botto-Tobar, M. (ed.), Pizarro, G. (ed.), Zúñiga-Prieto, M. (ed.), D'Armas, M. (ed.) & Zúñiga Sánchez, M. (ed.), 2019, Dordrecht: Springer. (Communications in Computer and Information Science; vol. 895)

Research output: Book/ReportBook editingAcademicpeer-review

The JOT Journal: towards a rising generation

Pierantonio, A., van den Brand, M. & Combemale, B., 1 Mar 2019, In : Journal of Object Technology. 18, 1, p. 1-3 3 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
File

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