Mark van den Brand

According to our database1, Mark van den Brand authored at least 168 papers between 1992 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Improving custom-tailored variability mining using outlier and cluster detection.
Sci. Comput. Program., 2018

Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod.
Computer Languages, Systems & Structures, 2018

The Statechart Workbench: Enabling scalable software event log analysis using process mining.
Proceedings of the 25th International Conference on Software Analysis, 2018

Recursion aware modeling and discovery for hierarchical software event log analysis.
Proceedings of the 25th International Conference on Software Analysis, 2018

On functional safety methods: A system of systems approach.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

Towards Automated Analysis of Model-Driven Artifacts in Industry.
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

Towards Distributed Model Analytics with Apache Spark.
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

Model analytics for feature models: case studies for S.P.L.O.T. repository.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Interface protocol inference to aid understanding legacy software components.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Hierarchical performance analysis for process mining.
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

Defining the C-ITS Reference Architecture.
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Is stack overflow in portuguese attractive for brazilian users?
Proceedings of the 13th Conference on Global Software Engineering, 2018

2017
Tool demonstration track of MODELS'2016.
Sci. Comput. Program., 2017

Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6).
Sci. Comput. Program., 2017

A systematic approach and tool support for GSN-based safety case assessment.
Journal of Systems Architecture - Embedded Systems Design, 2017

Recursion Aware Modeling and Discovery For Hierarchical Software Event Log Analysis (Extended).
CoRR, 2017

Towards Industry 4.0: Gap Analysis between Current Automotive MES and Industry Standards using Model-Based Requirement Engineering.
CoRR, 2017

An architecture pattern for safety critical automated driving applications: Design and analysis.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

Models, More Models, and Then a Lot More.
Proceedings of the Software Technologies: Applications and Foundations, 2017

A Case of Industrial vs. Open-source OCL: Not So Different After All.
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
Metrics design for safety assessment.
Information & Software Technology, 2016

Dependency Safety for Java: Implementing Failboxes.
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

Pattern specification and application in metamodels in ecore.
Proceedings of the 1st Industry Track on Software Language Engineering, 2016

Udapt: edapt extensions for industrial application.
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

A Categorization of GSN-based Safety Cases and Patterns.
Proceedings of the MODELSWARD 2016, 2016

Towards Statistical Comparison and Analysis of Models.
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

DSL/Model Co-Evolution in Industrial EMF-Based MDSE Ecosystems.
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

Towards a safety mechanism for platooning.
Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016

A Complete Operator Library for DSL Evolution Specification.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Tailoring complexity metrics for simulink models.
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization.
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

Modular multilevel metamodeling with MetaMod.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

Modular modeling with a computational twist in MetaMod.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015
Eclipse API usage: the good and the bad.
Software Quality Journal, 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

Software engineering: Redundancy is key.
Sci. Comput. Program., 2015

Introduction - the LDTA tool challenge.
Sci. Comput. Program., 2015

Continuous integration in a social-coding world: Empirical evidence from GitHub. **Updated version with corrections*.
CoRR, 2015

An approach for functional safety improvement of an existing automotive system.
Proceedings of the Annual IEEE Systems Conference, 2015

A systematic approach for safety evidence collection in the safety-critical domain.
Proceedings of the Annual IEEE Systems Conference, 2015

Safety Case Development with SBVR-Based Controlled Language.
Proceedings of the Model-Driven Engineering and Software Development, 2015

Model Driven Engineering and Functional Safety.
Proceedings of the MODELSWARD 2015, 2015

A Survey of Open Source Multiphysics Frameworks in Engineering.
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

Gender and Tenure Diversity in GitHub Teams.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

2014
How healthy are software engineering conferences?
Sci. Comput. Program., 2014

Guest editors' introduction to the 4th issue of Experimental Software and Toolkits (EST-4).
Sci. Comput. Program., 2014

Modular grammar specification.
Sci. Comput. Program., 2014

Redundancy in the Software Design Process is Essential for Designing Correct Software.
ERCIM News, 2014

Metamodel Comparison and Model Comparison for Safety Assurance.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Formalizing correspondence rules for automotive architecture views.
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

Towards Verified Java Code Generation from Concurrent State Machines.
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

Continuous Integration in a Social-Coding World: Empirical Evidence from GitHub.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

A Modeling Approach to Support Safety Assurance in the Automotive Domain.
Proceedings of the Progress in Systems Engineering, 2014

From Conceptual Models to Safety Assurance.
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

Conceptual Model of the Globalization for Domain-Specific Languages.
Proceedings of the Globalizing Domain-Specific Languages, 2014

2013
Preface to the special section on software evolution, adaptability, and maintenance.
Sci. Comput. Program., 2013

I2SD: reverse engineering Sequence Diagrams Enterprise Java Beans from with interceptors.
IET Software, 2013

Modularity Analysis of Automotive Control Software.
ERCIM News, 2013

The Babel of Software Development: Linguistic Diversity in Open Source.
Proceedings of the Social Informatics - 5th International Conference, 2013

Safe Specification of Operator Precedence Rules.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Simulink models are also software: modularity assessment.
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

Applying Model Transformation and Event-B for Specifying an Industrial DSL.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Towards extended safety in connected vehicles.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Extracting Models from ISO 26262 for Reusable Safety Assurance.
Proceedings of the Safe and Secure Software Reuse, 2013

Analyzing the Eclipse API Usage: Putting the Developer in the Loop.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
How to aggregate software metrics?
TinyToCS, 2012

Process Mining Software Repositories: Do Developers Work as Expected?.
ERCIM News, 2012

Seeing the Forest for the Trees with New Econometric Aggregation Techniques.
ERCIM News, 2012

Advances in Model Driven Software Engineering.
ERCIM News, 2012

Island Grammar-Based Parsing Using GLL and Tom.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

MDE Basics with a DSL Focus.
Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases.
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

Who's who in Gnome: Using LSA to merge software repository identities.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Survival of Eclipse third-party plug-ins.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Reusable and Correct Endogenous Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2012

Traceability Visualization in Model Transformations with TraceVis.
Proceedings of the Theory and Practice of Model Transformations, 2012

VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Code Generation with Templates.
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

A Generic Solution for Syntax-Driven Model Co-evolution.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Using Metrics for Assessing the Quality of ATL Model Transformations.
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

Understanding the Dynamics of Requirements Process Improvement: A New Approach.
Proceedings of the Product-Focused Software Process Improvement, 2011

Mining student capstone projects with FRASR and ProM.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

LDT: a language definition technique.
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

By no means: a study on aggregating software metrics.
Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics, 2011

Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare.
Proceedings of the Theory and Practice of Model Transformations, 2011

Less is more: unparser-completeness of metalanguages for template engines.
Proceedings of the Generative Programming And Component Engineering, 2011

Process Mining Software Repositories.
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

Integrating Textual and Graphical Modelling Languages.
Electr. Notes Theor. Comput. Sci., 2010

The Third Rewrite Engines Competition.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Formally specified type checkers for domain specific languages: experience report.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

An empirical study of the evolution of Eclipse third-party plug-ins.
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), 2010

An exercise in iterative domain-specific language design.
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), 2010

Theil index for aggregation of software metrics values.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Detecting Modularity "Smells" in Dependencies Injected with Java Annotations.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

2009
Tool Building on the Shoulders of Others.
IEEE Software, 2009

The Second Rewrite Engines Competition.
Electr. Notes Theor. Comput. Sci., 2009

Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors.
Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Dn-based architecture assessment of Java Open Source software systems.
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

Using Metrics for Assessing the Quality of ASF+SDF Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2009

SQuAVisiT: A Flexible Tool for Visual Software Analytics.
Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

Type Checking Evolving Languages with MSOS.
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

Model-Driven Engineering Meets Generic Language Technology.
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

Academic Software Development Tools and Techniques.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007
Guest editor's introduction: Experimental Software and Toolkits (EST).
Sci. Comput. Program., 2007

ATerms for manipulation and exchange of structured data: It's all about sharing.
Information & Software Technology, 2007

Rewriting Logic Systems.
Electr. Notes Theor. Comput. Sci., 2007

Repleo: a syntax-safe template engine.
Proceedings of the Generative Programming and Component Engineering, 2007

Using The Meta-Environment for Maintenance and Renovation.
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2006
An Action Environment.
Sci. Comput. Program., 2006

Automated Derivation of Translators From Annotated Grammars.
Electr. Notes Theor. Comput. Sci., 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

A Language Independent Framework for Context-sensitive Formatting.
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005
Generator of efficient strongly typed abstract syntax trees in Java.
IEE Proceedings - Software, 2005

TIDE: A Generic Debugging Framework - Tool Demonstration.
Electr. Notes Theor. Comput. Sci., 2005

An Architecture for Context-Sensitive Formatting.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Applications of the Asf+SdfMeta-Environment.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

2004
Seventh European Conference on Software Maintenance and Reengineering (CSMR 2003).
Journal of Software Maintenance, 2004

Guest editor's introduction: Special issue on Annotated Terms (ATerms).
J. Log. Algebr. Program., 2004

The Action Environment: -- Tool Demonstration --.
Electr. Notes Theor. Comput. Sci., 2004

An Action Environment.
Electr. Notes Theor. Comput. Sci., 2004

2003
Term rewriting with traversal functions.
ACM Trans. Softw. Eng. Methodol., 2003

Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation.
Electr. Notes Theor. Comput. Sci., 2003

Environments for Term Rewriting Engines for Free!
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Extracting Mathematical Semantics from Documents.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

A language development environment for Eclipse.
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

2002
Compiling language definitions: the ASF+SDF compiler.
ACM Trans. Program. Lang. Syst., 2002

The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.
Electr. Notes Theor. Comput. Sci., 2002

Foreword.
Electr. Notes Theor. Comput. Sci., 2002

Term Rewriting with Type-safe Traversal Functions.
Electr. Notes Theor. Comput. Sci., 2002

Disambiguation Filters for Scannerless Generalized LR Parsers.
Proceedings of the Compiler Construction, 11th International Conference, 2002

2001
RULE2001 - Foreword.
Electr. Notes Theor. Comput. Sci., 2001

Foreword.
Electr. Notes Theor. Comput. Sci., 2001

The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment.
Electr. Notes Theor. Comput. Sci., 2001

The ASF+SDF Meta-environment: A Component-Based Language Development Environment.
Proceedings of the Compiler Construction, 10th International Conference, 2001

2000
Efficient annotated terms.
Softw., Pract. Exper., 2000

Generation of components for software renovation factories from context-free grammars.
Sci. Comput. Program., 2000

ASF+SDF parsing tools applied to ELAN.
Electr. Notes Theor. Comput. Sci., 2000

Compiling Language Definitions: The ASF+SDF Compiler
CoRR, 2000

1999
Development of Parsing Tools for CASL Using Generic Language Technology.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Compilation and Memory Management for ASF+SDF.
Proceedings of the Compiler Construction, 8th International Conference, 1999

1998
Term rewriting for sale.
Electr. Notes Theor. Comput. Sci., 1998

Current Parsing Techniques in Software Renovation Considered Harmful.
Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Control Flow Normalization for COBOL/CICS Legacy System.
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

1997
Re-engineering Needs Generic Programming Language Technology.
SIGPLAN Notices, 1997

Generation of Components for Software Renovation Factories from Context-Free Grammars.
Proceedings of the 4th Working Conference on Reverse Engineering, 1997

1996
Generation of Formatters for Context-Free Languages.
ACM Trans. Softw. Eng. Methodol., 1996

Core Technologies for System Renovation.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

Industrial Applications of ASF+SDF.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
The Asf+Sdf Meta-Environment Documentation Tools for Free!
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1992
PREGMATIC - a generator for incremental programming environments.
PhD thesis, 1992


  Loading...