36 citations · 42 across the 8 of their papers we have counts for
9 papers
Missing Dimensions: Integrating Human and Social Systems into Digital Twin Engineering
Francis Bordeleau, Mark van den Brand
Digital twins (DTs) have emerged as a key technology at the core of digital transformation, yet their engineering practice remains too narrowly focused on engineered and natural sy…
Domain-Driven Design in Practice: A Large-Scale Empirical Characterisation of the Open-Source Ecosystem
Ozan Özkan, Önder Babur, Mark van den Brand
Context: Domain-Driven Design (DDD) is a leading paradigm for managing software complexity, yet research remains largely theoretical; our prior work found nearly 39% of DDD studies…
Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
Leonard Tudorache, Ivan Kurtev, Mark van den Brand
Security is critical for everything relying on modern digital systems. Because almost all digital interactions are governed by the Internet and cryptographic protocols, these proto…
Synthetic Dataset Generation for Autonomous Mobile Robots Using 3D Gaussian Splatting for Vision Training
Aneesh Deogan, Wout Beks, Peter Teurlings +3
Annotated datasets are critical for training neural networks for object detection, yet their manual creation is time- and labour-intensive, subjective to human error, and often lim…
HaliVer: Deductive Verification and Scheduling Languages Join Forces
Lars B. van den Haak, Anton Wijs, Marieke Huisman +1
The HaliVer tool integrates deductive verification into the popular scheduling language Halide, used for image processing pipelines and array computations. HaliVer uses Vercors, a…
Domain-Driven Design in Software Development: A Systematic Literature Review on Implementation, Challenges, and Effectiveness
Ozan Özkan, Önder Babur, Mark van den Brand
Context: Domain-Driven Design (DDD) has gained significant attention in software development for its potential to address complex software challenges, particularly in the areas of…
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study
Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran +3
Digital twins (DT) are often defined as a pairing of a physical entity and a corresponding virtual entity (VE), mimicking certain aspects of the former depending on the use-case. I…
Clone-Seeker: Effective Code Clone Search Using Annotations
Muhammad Hammad, Önder Babur, Hamid Abdul Basit +1
Source code search plays an important role in software development, e.g. for exploratory development or opportunistic reuse of existing code from a code base. Often, exploration of…
Towards Industry 4.0: Gap Analysis between Current Automotive MES and Industry Standards using Model-Based Requirement Engineering
Manoj Kannan Soundarapandian, Kunal Suri, Juan Cadavid +4
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 v…