Mark van den Brand
Orcid: 0000-0003-3529-6182Affiliations:
- Eindhoven University of Technology, Netherlands
- National Research Institute for Mathematics and Computer Science, Amsterdam, Netherlands
According to our database1,
Mark van den Brand
authored at least 213 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on win.tue.nl
On csauthors.net:
Bibliography
2024
Current trends in digital twin development, maintenance, and operation: an interview study.
Softw. Syst. Model., October, 2024
Innov. Syst. Softw. Eng., September, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024
2023
Empir. Softw. Eng., July, 2023
Domain-Driven Design in Software Development: A Systematic Literature Review on Implementation, Challenges, and Effectiveness.
CoRR, 2023
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023
Proceedings of the Software Architecture - 17th European Conference, 2023
2022
Softw. Impacts, 2022
Proceedings of the IEEE International Systems Conference, 2022
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022
A community-sourced view on engineering digital twins: a report from the EDT.Community.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
2021
A systematic literature review of cross-domain model consistency checking by model management tools.
Softw. Syst. Model., 2021
Clone-advisor: recommending code tokens and clone methods with deep learning and information retrieval.
PeerJ Comput. Sci., 2021
J. Syst. Softw., 2021
DRAFT-What you always wanted to know but could not find about block-based environments.
CoRR, 2021
Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
MoDDiT 2021: 1<sup>st</sup> International Workshop on Model-Driven Engineering for Digital Twins.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Summary: A Functional Safety Assessment Method for Cooperative Automotive Architecture (short paper).
Proceedings of the ECSA 2021 Companion Volume, 2021
Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021
2020
Softw. Syst. Model., 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
Proceedings of the Reuse in Emerging Software Engineering Practices, 2020
Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management.
Proceedings of the Systems Modelling and Management - First International Conference, 2020
Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges.
Proceedings of the Systems Modelling and Management - First International Conference, 2020
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020
Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems.
Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020
2019
Sci. Comput. Program., 2019
Model Management Tools for Models of Different Domains: A Systematic Literature Review.
Proceedings of the 2019 IEEE International Systems Conference, 2019
Proceedings of the Automotive Systems and Software Engineering, 2019
2018
Sci. Comput. Program., 2018
Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod.
Comput. Lang. Syst. Struct., 2018
The Statechart Workbench: Enabling scalable software event log analysis using process mining.
Proceedings of the 25th International Conference on Software Analysis, 2018
Proceedings of the 25th International Conference on Software Analysis, 2018
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling.
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the 2018 International Conference on Software and System Process, 2018
Software Process Analysis Methodology - A Methodology Based on Lessons Learned in Embracing Legacy Software.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018
Proceedings of the 13th Conference on Global Software Engineering, 2018
2017
Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6).
Sci. Comput. Program., 2017
J. Syst. Archit., 2017
Recursion Aware Modeling and Discovery For Hierarchical Software Event Log Analysis (Extended).
CoRR, 2017
An architecture pattern for safety critical automated driving applications: Design and analysis.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE.
Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement, 2017
Towards Industry 4.0: Gap Analysis between Current Automotive MES and Industry Standards Using Model-Based Requirement Engineering.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017
2016
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016
Proceedings of the 1st Industry Track on Software Language Engineering, 2016
Proceedings of the 1st Industry Track on Software Language Engineering, 2016
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code.
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the MODELSWARD 2016, 2016
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.
Proceedings of the Model-Driven Engineering and Software Development, 2016
Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016
Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016
2015
Guest editors' introduction to the fifth issue of Experimental Software and Toolkits (EST): A special issue on Academics Modelling with Eclipse (ACME2012).
Sci. Comput. Program., 2015
Continuous integration in a social-coding world: Empirical evidence from GitHub. **Updated version with corrections*.
CoRR, 2015
Proceedings of the Annual IEEE Systems Conference, 2015
Proceedings of the Annual IEEE Systems Conference, 2015
Proceedings of the Model-Driven Engineering and Software Development, 2015
Proceedings of the MODELSWARD 2015, 2015
Proceedings of the International Conference on Computational Science, 2015
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015
2014
Guest editors' introduction to the 4th issue of Experimental Software and Toolkits (EST-4).
Sci. Comput. Program., 2014
Redundancy in the Software Design Process is Essential for Designing Correct Software.
ERCIM News, 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014
Proceedings of the Progress in Systems Engineering, 2014
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014
Proceedings of the Globalizing Domain-Specific Languages, 2014
2013
Sci. Comput. Program., 2013
I2SD: reverse engineering Sequence Diagrams Enterprise Java Beans from with interceptors.
IET Softw., 2013
Proceedings of the Social Informatics - 5th International Conference, 2013
Proceedings of the Software Language Engineering - 6th International Conference, 2013
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013
Proceedings of the Safe and Secure Software Reuse, 2013
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013
2012
ERCIM News, 2012
ERCIM News, 2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
Proceedings of the Formal Methods for Model-Driven Engineering, 2012
Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012
Automotive ADLS: a study on enforcing consistency through multiple architectural levels.
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, 2012
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012
Proceedings of the Theory and Practice of Model Transformations, 2012
Proceedings of the Theory and Practice of Model Transformations, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
Atlantis Studies in Computing 1, Atlantis Press, ISBN: 978-94-91216-55-8, 2012
2011
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011
Proceedings of the 3rd International Workshop on Model Transformation with ATL, 2011
Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors.
Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011
Proceedings of the Product-Focused Software Process Improvement, 2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the Language Descriptions, Tools and Applications, 2011
Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended Abstract.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
You can't control the unfamiliar: A study on the relations between aggregation techniques for software metrics.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011
Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics, 2011
Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011
Proceedings of the Theory and Practice of Model Transformations, 2011
Proceedings of the Generative Programming And Component Engineering, 2011
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011
2010
Automated generation of program translation and verification tools using annotated grammars.
Sci. Comput. Program., 2010
Guest editors' introduction to the 3rd issue of Experimental Software and Toolkits (EST): A special issue on Academic Software Development Tools and Techniques (WASDeTT 2008).
Sci. Comput. Program., 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), 2010
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), 2010
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010
Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010
Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010
2009
Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009
Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors.
Proceedings of the 16th Working Conference on Reverse Engineering, 2009
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009
Proceedings of the Theory and Practice of Model Transformations, 2009
Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009
Proceedings of the Semantics and Algebraic Specification, 2009
2008
Guest editor's introduction: Second issue of experimental software and toolkits (EST).
Sci. Comput. Program., 2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Proceedings of the Software Language Engineering, First International Conference, 2008
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.
Proceedings of the Theory and Practice of Model Transformations, 2008
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008
2007
Sci. Comput. Program., 2007
Inf. Softw. Technol., 2007
Proceedings of the Generative Programming and Component Engineering, 2007
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007
2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006
CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006
2005
IEE Proc. Softw., 2005
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005
2004
J. Softw. Maintenance Res. Pract., 2004
J. Log. Algebraic Methods Program., 2004
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004
2003
Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003
2002
ACM Trans. Program. Lang. Syst., 2002
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.
Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002
Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002
Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002
Proceedings of the Compiler Construction, 11th International Conference, 2002
2001
Proceedings of the Second International Workshop on Rule-Based Programming, 2001
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001
2000
Generation of components for software renovation factories from context-free grammars.
Sci. Comput. Program., 2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Compiler Construction, 8th International Conference, 1999
1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998
1997
ACM SIGSOFT Softw. Eng. Notes, 1997
ACM SIGPLAN Notices, 1997
1996
ACM Trans. Softw. Eng. Methodol., 1996
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
1992
PREGMATIC - a generator for incremental programming environments.
PhD thesis, 1992