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 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., 24 Jan 2019, (Accepted/In press) 2nd International Workshop on Emoji Understanding and Applications in Social Media.

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

Open Access

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

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

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 (IEEE), 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. A. C., 26 Feb 2019, In : arXiv. 28 p., 1902.09880

Research output: Contribution to journalArticleAcademic

Open Access
File
Specifications
Data storage equipment
Experiments

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

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).

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

Open Access

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

Ford, D., Milewicz, R. & Serebrenik, A., 1 Mar 2019, (Accepted/In press) Workshop on Gender Equality in Software Engineering.

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 (IEEE), 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 (IEEE), p. 253-263 11 p. 8668007

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

Industry
Lithography
Problem-Based Learning
Semiconductor materials

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

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 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 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 (IEEE)

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

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

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

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

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

The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 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. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS)

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

Open Access
File
Concurrent Systems
Graphical user interfaces
Usability
Software Product Lines
Domain-specific Languages

The semantic snake charmer search engine: a tool to facilitate data science in high-tech industry domains

Grappiolo, C., van Gerwen, E., Verhoosel, J. P. C. & Somers, L., 8 Mar 2019, CHIIR '19 Proceedings of the 2019 Conference on Human Information Interaction and Retrieval. Association for Computing Machinery, Inc, p. 355-359 5 p.

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

Search engines
Semantics
Industry
Reinforcement learning
Landing

The system simulation and their learning processes

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. 1-11 11 p. (Studies in Computational Intelligence; vol. 824)

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

Education
Information technology
Teaching
Students

Tool support for correctness-by-construction

Runge, T., Schaefer, I., Cleophas, L., Thüm, T., Kourie, D. & Watson, B. W., 1 Jan 2019, Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 25-42 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11424 LNCS)

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

Open Access
File
Tool Support
Correctness
Specifications
Specification
Refinement

Towards recognizing the emotions of developers using biometrics: the design of a field study

Girardi, D., Lanubile, F., Novielli, N., Quaranta, L. & Serebrenik, A., 1 Mar 2019, (Accepted/In press) 4th International Workshop on Emotion Awareness in Software Engineering.

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

Open Access

Verification of concurrent systems in a model-driven engineering workflow

de Putter, S. M. J., 28 Jan 2019, Eindhoven: Technische Universiteit Eindhoven. 200 p.

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

Open Access
File

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

Verifying system-wide properties of industrial component-based software

Neele, T., Rol, M. H. & Groote, J. F., 2019, Pre proceedings of Fundamentals of Software Engineering 2019. Hojjat, H. & Massink, M. (eds.). Teheran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, p. 5-20 16 p.

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

Software design
Engines
2018

A comparison of BDD-based parity game solvers

Sanchez, L., Wesselink, W. & Willemse, T. A. C., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification. Waterloo: Open Publishing Association, p. 103-117 15 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 27)

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

Open Access
2 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

A master class on recursion

Verhoeff, T., 6 Sep 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H-J., Komm, D. & Unger, W. (eds.). Springer, Vol. 11011, p. 610-633 24 p. (Lecture Notes in Computer Science; vol. 11011)

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

Open Access
Recursion
Object-oriented Languages
Object-oriented Programming
Programming Languages
Computer Science

A method for quantitative measurement of safety culture based on ISO 26262

Khabbaz Saberi, A., Benders, F., Koch, R., Lukkien, J. J. & van den Brand, M. G. J., 6 Feb 2018, Evolution of System Safety: Proceedings of the Twenty-Sixth Safety-Critical Systems Symposium, 6-8 February 2018, York, United Kingdom. Parsons, M. & Kelly, T. (eds.). s.l.: CreateSpace Independent Publishing Platform, p. 203-218

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

Automotive industry
Feedback
Hardware
Communication
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

An empirical evaluation of OSGi dependencies best practices in the eclipse IDE

Ochoa, L., Degueule, T. & Vinju, J., 28 May 2018, Proceedings - 2018 ACM/IEEE 15th International Conference on Mining Software Repositories, MSR 2018. New York: ACM/IEEE, p. 170-180 11 p.

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

Industry

An empirical perspective on security challenges in large-scale agile software development

van der Heijden, A., Broasca, C. & Serebrenik, A., 2018, ESEM '18 Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. New York: Association for Computing Machinery, Inc, 4 p. 45

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

Open Access
Software engineering
Sorting
Testing

Applying a meta-data-driven modeling approach to extract-transform-load (ETL) systems

Ayele, S. G., 24 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 71 p.

Research output: ThesisPd Eng ThesisOther research output