Research Output 1972 2019

2019
3 Citations (Scopus)

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

Active learning of industrial software with data

Groote, J. F., Sanchez, L. & Schiffelers, R., 2019, Proceedings FSEN 2019. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 95-110 16 p. (Lecture notes in computer science; vol. 11761)

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

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, s.n.27 p. (arXiv.org; vol. 1909.10824 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
Data storage equipment

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., 2019, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer Science Reports; vol. 19-03)

Research output: Book/ReportReportProfessional

Open Access
File

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

Automatic microscope alignment via machine learning

Bhatnagar, P., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic

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

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

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

Thuijsman, S., Hendriks, D., Theunissen, R. J. M., Reniers, M. & Schiffelers, R., 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering. Piscataway: Institute of Electrical and Electronics Engineers, p. 486-493 8 p.

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

Open Access
File
Binary decision diagrams
Supervisory personnel
Finite automata
Clocks
Experiments
1 Citation (Scopus)

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

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

Data quality dashboard

Le, T. D., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic

Dependency management and scope control framework

Khosravi, G., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic

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

Research output: Contribution to journalArticleAcademicpeer-review

Testing
Scheduling

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

Distilling information from the text written by field technicians

Laponin, A., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic

Distribution of behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 26 Aug 2019, Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. arXiv.org, p. 54-68 15 p.

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

Open Access
File
Decomposition
Distributed computer systems
Large scale systems
Communication

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

Divide and congruence III: from decomposition of modal formulas to preservation of stability and divergence

Fokkink, W. J., van Glabbeek, R. & Luttik, B., 24 Jul 2019, In : Information and Computation. 104435

Research output: Contribution to journalArticleAcademicpeer-review

Preservation
Congruence
Divides
Divergence
Semantics

Does UML modeling associate with lower defect proneness? a preliminary empirical investigation

Raghuraman, A., Ho-Quang, T., Chaudron, M. R. V., Serebrenik, A. & Vasilescu, B., 1 May 2019, Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019). Piscataway: IEEE Computer Society, p. 101-104 4 p. 8816762

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

Open Access
File
Defects
Maintainability

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 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
1 Citation (Scopus)

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 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
1 Citation (Scopus)

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

Ford, D., Milewicz, R. & Serebrenik, A., 27 May 2019, Proceedings - 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering, GE 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 9-12 4 p. 8819552

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

Open Access
File
Software engineering
software development
community
empowerment
autonomy
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

Increasing test efficiency through coverage-based test selection

Manik, T., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic

Integration of modeling and data science

Tan, H., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic

Intelligent microscope II

Smanis, K., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic

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
1 Citation (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

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

MoCoP: towards a model clone portal

Babur, Ö. & Stephan, M., 26 May 2019, Proceedings of the 11th International Workshop on Modelling in Software Engineerings. IEEE Press, p. 78-81

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

Open Access
File
Scalability

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., 16 Sep 2019, The 13th Annual IEEE International Systems Conference. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-8

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

Multi-domain modeling assistance tool: design and imlementation

Sainbileg, M., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic