Mark van den Brand

Eindhoven University of Technology

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Trends

Author Order

Document Type

Co-Authors

Alexander Serebrenik

Eindhoven University of Technology

ÖB

Önder Babur

Eindhoven University of Technology

Loek Cleophas

Eindhoven University of Technology

Jurgen Vinju

Eindhoven University of Technology

Yanja Dajsuren

Eindhoven University of Technology

Luc Engelen

Eindhoven University of Technology

T Tom Verhoeff

Eindhoven University of Technology

Yaping Luo

Southwest Jiaotong University

R.R.H. Schiffelers

Eindhoven University of Technology

Anton Wijs

Eindhoven University of Technology

Cooperative Institutions

University of Delaware

196

Mississippi State University

187

Climate Outreach

177

Eindhoven University of Technology

112

University of Florida

Agricultural Research Service

Centrum Wiskunde & Informatica

Institut national de recherche en informatique et en automatique

The Ohio State University

Software (Spain)

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Field

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models

Lecture notes in computer science (2016)

Dragan Bošnački Mark van den Brand Joost Gabriels Bart Jacobs Ruurd Kuiper

Executable

10.1007/978-3-319-28934-2_8

Cite

Citations (7)

Who's who in Gnome: Using LSA to merge software repository identities

Erik Kouters Bogdan Vasilescu Alexander Serebrenik Mark van den Brand

Understanding an individual's contribution to an ecosystem often necessitates integrating information from multiple repositories corresponding to different projects within the ecosystem or different kinds of repositories (e.g., mail archives and version control systems). However, recognising that different contributions belong to the same contributor is challenging, since developers may use different aliases. It is known that existing identity merging algorithms are sensitive to large discrepancies between the aliases used by the same individual: the noisier the data, the worse their performance. To assess the scale of the problem for a large software ecosystem, we study all Gnome Git repositories, classify the differences in aliases, and discuss robustness of existing algorithms with respect to these types of differences. We then propose a new identity merging algorithm based on Latent Semantic Analysis (LSA), designed to be robust against more types of differences in aliases, and evaluate it empirically by means of cross-validation on Gnome Git authors. Our results show a clear improvement over existing algorithms in terms of precision and recall on worst-case input data.

Merge (version control)

Robustness

Latent semantic analysis

10.1109/icsm.2012.6405329

Cite

Citations (64)

Table of Contents

IEEE Software (2022)

Tony Clark Vinay Kulkarni Jon Whittle Ruth Breu Toward Autonomic

Table (database)

10.1109/ms.2021.3130870

Cite

Citations (0)

Tool Building on the Shoulders of Others

IEEE Software (2008)

Holger M. Kienle Adrian Kuhn Kim Mens Mark van den Brand Roel Wuyts

At the first International Workshop on Advanced Software Development Tools and Techniques, four emerging trends in academic tool building were evident. First, tools are increasingly constructed on the basis of external code, reusing, for instance, existing frameworks and integrated development environments. Second, researchers often choose dynamic languages such as Smalltalk to implement prototype tools. Third, Web-based tools are starting to incorporate Web 2.0 technologies to improve user interaction. Finally, increasing computational resources allow tools to tackle larger, real-world code bases.

Smalltalk

Code (set theory)

10.1109/ms.2009.25

Cite

Citations (6)

Towards Industry 4.0: Gap Analysis between Current Automotive MES and Industry Standards Using Model-Based Requirement Engineering

S. Manoj Kannan Kunal Suri Juan Cadavid Ion Barosan Mark van den Brand

The dawn of the fourth industrial revolution, Industry 4.0 has created great enthusiasm among companies and researchers by giving them an opportunity to pave the path towards the vision of a connected smart factory ecosystem. However, in context of automotive industry there is an evident gap between the requirements supported by the current automotive manufacturing execution systems (MES) and the requirements proposed by industrial standards from the International Society of Automation (ISA) such as, ISA-95, ISA-88 over which the Industry 4.0 is being built on. In this paper, we bridge this gap by following a model-based requirements engineering approach along with a gap analysis process. Our work is mainly divided into three phases, (i) automotive MES tool selection phase, (ii) requirements modeling phase, (iii) and gap analysis phase based on the modeled requirements. During the MES tool selection phase, we used known reliable sources such as, MES product survey reports, white papers that provide in-depth and comprehensive information about various comparison criteria and tool vendors list for the current MES landscape. During the requirement modeling phase, we specified requirements derived from the needs of ISA-95 and ISA-88 industrial standards using the general purpose Systems Modeling Language (SysML). During the gap analysis phase, we find the misalignment between standard requirements and the compliance of the existing software tools to those standards.

Gap analysis (conservation)

Industry 4.0

10.1109/icsaw.2017.53

Cite

Citations (49)

Extracting mathematical semantics from LATEX documents

Lecture notes in computer science (2003)

Jürgen Stuber Mark van den Brand

Macro

Parse tree

Tree (set theory)

Source

Cite

Citations (9)

Control flow normalization for COBOL/CICS legacy systems

Mark van den Brand A. Sellink C. Verhoef

We propose a practical incremental approach to perform control flow normalization of COBOL/CICS legacy systems using a software renovation factory. The normalization improves the maintainability of such systems. A consequence of our normalization is that we reengineer the interface so that such systems can be accessed via intranet or Internet. Moreover, the performance of such systems is improved. We applied our approach to a mortgage system written in COBOL and CICS.

COBOL

Normalization

Maintainability

Legacy system

Control flow

10.1109/csmr.1998.665727

Cite

Citations (41)

Cross-Language Plagiarism Detection: Methods, Tools, and Challenges: A Systematic Review

International Journal on Advanced Science Engineering and Information Technology (2022)

Miguel Botto-Tobar Alexander Serebrenik Mark van den Brand

Plagiarism is one of the most serious academic offenses. However, people have adopted different approaches to avoid plagiarism, such as transcribing excerpts from one language. Thus, it is challenging to realize this plagiarism form unless someone fully understands another language. Researchers have developed approaches for detecting plagiarism in a variety of different languages. However, most methods created in the past have proved effective for detecting plagiarism in papers published in a single language, most notably English. Therefore, this paper aims to provide a systematic literature review of cross-language plagiarism detection methods (CLPD) in a natural language context. The approach used to perform this study consisted of an extensive search for relevant literature through an SLR and Snowballing. Therefore, we present an overview of (i) cross-language plagiarism detection techniques; (ii)the artifacts and the aspects that were considered in the evaluation phase; and(iii) the lack of guidelines and tools for its implementation. Its contribution lies in its ability to highlight emerging cross-language plagiarism detection techniques trends. Further, we identify any of these techniques in other domains, for instance, software engineering.

Plagiarism detection

10.18517/ijaseit.12.2.14711

Cite

Citations (6)

Refactoring with domain-driven design in an industrial context

Empirical Software Engineering (2023)

Ozan Özkan Önder Babur Mark van den Brand

Abstract Context Software developers need to constantly work on evolving the structure and the stability of the code due to changing business needs of the product. There are various refactoring approaches in industry which promise improvements over source code composition and maintainability. Objective In our research, we want to improve the maintainability of an existing system through refactoring using Domain-Driven Design (DDD) as a software design approach. We also aim for providing empirical evidence on its effect on maintainability and the challenges as perceived by developers. Method In this study, we applied the action research methodology, which facilitates close academia-industry collaboration and regular presence in the studied product. We utilized focus groups to discover problems of the existing system with a qualitative approach. We reviewed the subject codebase to construct our own expert opinion as well and identified problems in the codebase and matched them with the ones raised by engineers in the team. We refactored the existing software system according to DDD principles. To measure the effects of our actions, we utilized Technology Acceptance Model (mTAM) questionnaire, and also semi-structured interviews with the development team for data collection, and card sorting methodology for qualitative analysis. For minimizing bias that might affect our results with the existing software engineers in the team, we extended our measurement with three new joiner software engineers in the team through the think aloud protocol. Results We have identified that engineers mostly gave positive answers to our interview questions, which are mapped to software maintainability metrics defined by ISO/IEC 25010. Our DDD refactoring scored 85 in PU and 83 in PEU, leading to an overall mTAM score of 84. This means acceptable on the acceptability scale, B on the grade scale, and good on the adjective rating scale. Conclusion Our research led us to conclude that a powerful design approach, like DDD, is an effective tool for restructuring and resolving software issues in this situation. It offers standardization to the software and the refactoring efforts. We realized that DDD entails a certain degree of complexity and cognitive load, which is a barrier for software engineers, but they are aware of its benefits.

Code refactoring

Maintainability

Codebase

Personal software process

10.1007/s10664-023-10310-1

Cite

Citations (1)

Formally specified type checkers for domain specific languages

Mark van den Brand A. P. van der Meer Alexander Serebrenik A.T. Hofkamp

An important part of the usability of a programming or specification language lies in the presence of supporting tools that are provided with the language, e.g., type checkers, debuggers and simulators. Development of such tools for domain-specific languages imposes a number of specific evolvability requirements. Our contribution is twofold: First, we present an MSOS-based approach to automatic generation of formally specified type checkers for domain-specific languages. Second, we report on the application of our approach to Chi, a high level specification language for describing concurrent systems. The resulting type checker has been successfully integrated in the tool chain of the Chi language.

Domain-specific language

Programming language specification

Evolvability

10.1145/1868281.1868293

Cite

Citations (3)