Mark G.J. van den Brand

Search results

• 2026

  Verifying Optimised Parallel Code

  van den Haak, L. B., 19 Mar 2026, Eindhoven: Eindhoven University of Technology. 215 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Parallel Program 100%
  • Case Study 100%
  • Graphics Processing Unit 66%
  • Formal Verification 33%
  • Speed-up 33%

  46 Downloads (Pure)

• 2025

  AI-Powered Online Question Generation System For Mathematics

  Mahmudzade, Z., 29 Sept 2025, Eindhoven: Technische Universiteit Eindhoven.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  29 Downloads (Pure)

• A Model Orchestra in Digital Twins: A Model-Driven Approach to Integration and Orchestration

  Manrique Negrin, D. A., 18 Nov 2025, Eindhoven: Eindhoven University of Technology. 217 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Digital Twin 100%
  • Driven Approach 100%
  • Interoperability 37%
  • Simulation Mode 25%
  • Model-Driven Engineering 16%

  390 Downloads (Pure)

• Consistency Matters: Building Consistent Digital Twin Virtual Entities

  Muctadir, H. M., 14 Oct 2025, Eindhoven: Eindhoven University of Technology. 166 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Digital Twin 100%
  • Case Study 33%
  • Use Case 22%
  • Management Framework 22%
  • Requirements Management 22%

  114 Downloads (Pure)

• Equate + Equator = Meta-models + Tool For Process Systems Engineering

  Faessen, R. J. W., 7 Oct 2025, Eindhoven: Eindhoven University of Technology. 245 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Chemical Component 100%
  • Correctness 100%
  • Driven Software 71%
  • Base Quantity 71%
  • Process Model 61%

  324 Downloads (Pure)

• Supporting business process management: clone detection and recommendation techniques

  Saeedi Nikoo, M., 13 Nov 2025, Eindhoven: Eindhoven University of Technology. 199 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Business Process Management 100%
  • Business Process Model 100%
  • Clone Detection 100%
  • Process Model 75%
  • Business Process Modeling 75%

  381 Downloads (Pure)

• 2024

  Designing DyaDT: The generic Digital Twin architecture

  Walravens, G., 1 Oct 2024, Eindhoven: Technische Universiteit Eindhoven. 133 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  • Digital Twin 100%
  • Software Architecture 50%
  • Generic Software 50%

  428 Downloads (Pure)

• Driving the Future: Facilitating C-ITS Service Deployment for Connected and Smart Roadways

  Karkhanis, P., 19 Nov 2024, Eindhoven: Eindhoven University of Technology. 171 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  110 Downloads (Pure)

• 2023

  A Changing Landscape: On Safety & Open Source in Automated and Connected Driving

  Kochanthara, S., 17 Mar 2023, Eindhoven: Eindhoven University of Technology. 189 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  692 Downloads (Pure)

• A Graph Database Design for Multi-Domain Model Management

  Ibrahim, M., 25 Jan 2023, Eindhoven: Technische Universiteit Eindhoven. 58 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  420 Downloads (Pure)

• Break the Code? Breaking Changes and Their Impact on Software Evolution

  Ochoa Venegas, L. M., 29 Mar 2023, Eindhoven: Eindhoven University of Technology. 248 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  1587 Downloads (Pure)

• Componentization of Product Knowledge of Production Print Systems: Case Study: Fixation

  Akhter, S., 11 Oct 2023, Eindhoven: Technische Universiteit Eindhoven. 64 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  115 Downloads (Pure)

• Solving the Bank: Lightweight Specification and Verification Techniques for Enterprise Software

  Stoel, J. H., 8 Nov 2023, Eindhoven: Eindhoven University of Technology. 238 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  170 Downloads (Pure)

• 2022

  Assessment and preliminary vehicle-level architecture design of an SAE Level 4 rated vehicle platform

  Balakrishna Bhat, A., 3 Oct 2022, Eindhoven: Technische Universiteit Eindhoven. 114 p.

  Research output: Thesis › EngD Thesis

  File

  38 Downloads (Pure)

• Designing a Digital Twin Factory for Ink Handling in Advanced Production Printers

  Conquet, J. C. R., 28 Sept 2022, Eindhoven: Technische Universiteit Eindhoven. 37 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  144 Downloads (Pure)

• Engineering Language-Parametric End-User Programming Environments for DSLs

  Verano Merino, M., 6 Apr 2022, Eindhoven: Eindhoven University of Technology. 290 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Programming Environment 100%
  • End User Programming 100%
  • Domain-specific languages 100%
  • User Interfaces 80%
  • Computer Network 40%

  829 Downloads (Pure)

• GPU Enabled Automated Reasoning

  Mahmoud, M. O., 10 Mar 2022, Eindhoven: Eindhoven University of Technology. 175 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  823 Downloads (Pure)

• Safety-by-Design in Architecture of Automotive Software Systems

  Chirascu, D. C., 25 Oct 2022, Eindhoven: Technische Universiteit Eindhoven.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  554 Downloads (Pure)

• Visualization and Learning Applications of Code Clones

  Hammad, M., 29 Aug 2022, Eindhoven: Eindhoven University of Technology. 255 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  778 Downloads (Pure)

• 2021

  COGENT: Concurrent Generative Engineering Tooling: Enabling Cross-Functional Teams in Architecture Design for Space Subsystems

  O'Hara, C., 28 Oct 2021, Eindhoven: Technische Universiteit Eindhoven. 89 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  718 Downloads (Pure)

• Deriving behavioral specifications of industrial software components

  Aslam, K., 14 Jun 2021, Eindhoven: Eindhoven University of Technology. 228 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  354 Downloads (Pure)

• Designing a solution architecture for monitoring credit scoring analytic models

  Cordero Cruz, J. A., Sept 2021, Eindhoven: Technische Universiteit Eindhoven. 53 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  507 Downloads (Pure)

• Supporting Multi-Domain Model Management

  Silva Torres, W., 21 Sept 2021, Eindhoven: Eindhoven University of Technology. 179 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Model Management 100%
  • Optical Character Recognition 100%
  • Robot 66%
  • Modeling Notation 66%
  • System Specification 33%

  384 Downloads (Pure)

• 2020

  Efficient vacuum development using modeling

  Salih, M., Oct 2020, Eindhoven: Technische Universiteit Eindhoven. 59 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  208 Downloads (Pure)

• Functional Safety: A New Architectural Perspective: Model-Based Safety Engineering for Automated Driving Systems

  Khabbaz Saberi, A., 23 Sept 2020, Eindhoven: Eindhoven University of Technology. 140 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  4108 Downloads (Pure)

• Postprocessing of static analysis alarms

  Muske, T. B., 7 Jul 2020, Eindhoven: Eindhoven University of Technology. 174 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  1067 Downloads (Pure)

• 2019

  Integration of modeling and data science

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

  Research output: Thesis › EngD Thesis

  3 Downloads (Pure)

• Model analytics and management

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

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  1342 Downloads (Pure)

• Multi-domain modeling assistance tool: design and implementation

  Sainbileg, M., 28 Nov 2019, Eindhoven: Technische Universiteit Eindhoven. 85 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  64 Downloads (Pure)

• 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: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  658 Downloads (Pure)

• 2018

  A type system for technical computing languages

  Loupias, G., 24 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 116 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  152 Downloads (Pure)

• From concurrent state machines to reliable multi-threaded Java code

  Zhang, D., 12 Apr 2018, Eindhoven: Technische Universiteit Eindhoven. 160 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  2443 Downloads (Pure)

• Hierarchical process mining for scalable software analysis

  Leemans, M., 6 Dec 2018, Eindhoven: Technische Universiteit Eindhoven. 435 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Process Mining 100%
  • Data Execution 100%

  1462 Downloads (Pure)

• The DSL/Model co-evolution problem in industrial MDE ecosystems

  Mengerink, J. G. M., 26 Nov 2018, Eindhoven: Technische Universiteit Eindhoven. 252 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  964 Downloads (Pure)

• 2017

  Engineering the dynamic semantics of domain specific languages

  Tikhonova, U., 21 Nov 2017, Eindhoven: Technische Universiteit Eindhoven. 192 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  1149 Downloads (Pure)

• Modularity and reuse of domain-specific languages: an exploration with MetaMod

  Sutii, A. M., 7 Nov 2017, Eindhoven: Technische Universiteit Eindhoven. 198 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  1283 Downloads (Pure)

• Visual environment for editing and solving flowsheets : design and implementation of a visual environment for editing and solving flowsheets to produce heat and material balances for urea plant designs

  Raptis, K., 28 Sept 2017, Eindhoven: Technische Universiteit Eindhoven. 93 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  • Flowcharting 100%
  • Carbon Dioxide 16%
  • Flowsheet 16%

  488 Downloads (Pure)

• 2016

  Design and base implementation of an automotive applications testbed

  Vichas, C., 29 Sept 2016, Eindhoven: Technische Universiteit Eindhoven.

  Research output: Thesis › EngD Thesis

  3 Downloads (Pure)

• From conceptual models to safety assurance : applying model-based techniques to support safety assurance

  Luo, Y., 26 Apr 2016, Eindhoven: Technische Universiteit Eindhoven. 142 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  2791 Downloads (Pure)

• Modeling the dynamics of requirements process improvement

  Zawedde, A., 24 Oct 2016, Eindhoven: Technische Universiteit Eindhoven. 192 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  1111 Downloads (Pure)

• 2015

  Functional safety methods for developing automated driving functions

  Khabbaz Saberi, A., 30 Sept 2015, Eindhoven: Technische Universiteit Eindhoven. 61 p.

  Research output: Thesis › EngD Thesis

  • Functional Safety 100%
  • Phase Study 50%
  • Development Process 33%
  • Design Problem 33%
  • Applicability 16%

  7 Downloads (Pure)

• On the design of an architecture framework and quality evaluation for automotive software systems

  Dajsuren, Y., 26 May 2015, Eindhoven: Technische Universiteit Eindhoven. 150 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  4452 Downloads (Pure)

• Towards a safety concept for cooperative automated driving

  Tzempetzis, D., 30 Sept 2015, Eindhoven: Technische Universiteit Eindhoven. 79 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File

  421 Downloads (Pure)

• 2014

  A model-based software development methodology for high-end automotive components

  Ravanan, M., 1 Oct 2014, Eindhoven: Technische Universiteit Eindhoven. 42 p.

  Research output: Thesis › EngD Thesis

  • Software Development 100%
  • Development Methodology 100%
  • Process Model 50%
  • Software Platform 50%
  • Software Systems 50%

  2 Downloads (Pure)

• Domain specific languages and their type systems

  Meer, van der, A. P., 2014, Eindhoven: Technische Universiteit Eindhoven. 255 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  707 Downloads (Pure)

• Social aspects of collaboration in online software communities

  Vasilescu, B. N., 2014, Eindhoven: Technische Universiteit Eindhoven. 219 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  5076 Downloads (Pure)

• 2013

  Co-evolution of the Eclipse framework and its third-party plug-ins

  Businge, J., 2013, Eindhoven: Technische Universiteit Eindhoven. 215 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Software Developer 100%
  • Application Framework 100%
  • System Developer 100%
  • Eclipse Framework 100%
  • Statistical Model 100%

  843 Downloads (Pure)

• 2012

  Assessing and improving the quality of model transformations

  Amstel, van, M. F., 2012, Eindhoven: Technische Universiteit Eindhoven. 221 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  1543 Downloads (Pure)

• Bridging formal models : an engineering perspective

  Stappers, F. P. M., 2012, Eindhoven: Technische Universiteit Eindhoven. 298 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Syntactics 100%
  • Specification Language 100%
  • Printer 50%
  • Approximation (Algorithm) 50%
  • Software Implementation 50%

  360 Downloads (Pure)

• From napkin sketches to reliable software

  Engelen, L. J. P., 2012, Eindhoven: Technische Universiteit Eindhoven. 179 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File

  • Communicating Object 100%
  • Domain-Specific Modeling Language 75%
  • Model Transformation 62%
  • Software Engineering 37%
  • Transition System 37%

  316 Downloads (Pure)