Supervised Work
- 1 - 50 out of 64 results
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 AccessFile46 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 AccessFile29 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 AccessFile390 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 AccessFile114 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 AccessFile324 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 AccessFile381 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 AccessFile428 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 AccessFile110 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 AccessFile692 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 AccessFile420 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 AccessFile1587 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 AccessFile115 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 AccessFile170 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
File38 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 AccessFile144 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 AccessFile829 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 AccessFile823 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 AccessFile554 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 AccessFile778 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 AccessFile718 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 AccessFile354 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 AccessFile507 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 AccessFile384 Downloads (Pure) -
2020
Efficient vacuum development using modeling
Salih, M., Oct 2020, Eindhoven: Technische Universiteit Eindhoven. 59 p.Research output: Thesis › EngD Thesis
Open AccessFile208 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 AccessFile4108 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 AccessFile1067 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 AccessFile1342 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 AccessFile64 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 AccessFile658 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 AccessFile152 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 AccessFile2443 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 AccessFile1462 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 AccessFile964 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 AccessFile1149 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 AccessFile1283 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 AccessFile488 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 AccessFile2791 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 AccessFile1111 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
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 AccessFile4452 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 AccessFile421 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
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 AccessFile707 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 AccessFile5076 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 AccessFile843 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 AccessFile1543 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 AccessFile360 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 AccessFile316 Downloads (Pure)