Mark van den Brand

Orcid: 0000-0003-3529-6182

Affiliations:
  • 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 210 papers between 1992 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
HaliVer: Deductive Verification and Scheduling Languages Join Forces.
CoRR, 2024

sc HaliVer: Deductive Verification and Scheduling Languages Join Forces.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023
Refactoring with domain-driven design in an industrial context.
Empir. Softw. Eng., July, 2023

LaMa: a thematic labelling web application.
J. Open Source Softw., June, 2023

A personal retrospective on language workbenches.
Softw. Syst. Model., 2023

Domain-Driven Design in Software Development: A Systematic Literature Review on Implementation, Challenges, and Effectiveness.
CoRR, 2023

Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study.
CoRR, 2023

Investigating Uncertainty in Behavioral Modeling for C-ITS Services.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

ML-based Digital Twin for anomaly detection: a case-study on Turtle soccer robots.
Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023

Designing a Reference Architecture for the C-ITS Services.
Proceedings of the Software Architecture - 17th European Conference, 2023

2022
Conceptualizing Digital Twins.
IEEE Softw., 2022

Clone-Writer: An effective editor for developing code by using code clones.
Softw. Impacts, 2022

SAMOS - A framework for model analytics and management.
Sci. Comput. Program., 2022

Clone detection for business process models.
PeerJ Comput. Sci., 2022

Clone-Seeker: Effective Code Clone Search Using Annotations.
IEEE Access, 2022

COGENT: A Concurrent Engineering and Generative Engineering Tooling Platform.
Proceedings of the IEEE International Systems Conference, 2022

Painting the Landscape of Automotive Software in GitHub.
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

A functional safety assessment method for cooperative automotive architecture.
J. Syst. Softw., 2021

Modeling Objects with Uncertain Behaviors.
J. Object Technol., 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

Models Meet Data: Challenges to Create Virtual Entities for Digital Twins.
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

Projecting Textual Languages.
Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

2020
Interface protocol inference to aid understanding legacy software components.
Softw. Syst. Model., 2020

Open Access: all you wanted to know and never dared to ask.
J. Object Technol., 2020

A survey on service composition languages.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Modelling and Simulating Safety and Efficiency at an Unsignalised Intersection.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Formal Methods for GPGPU Programming: Is the Demand Met?
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

DeepClone: Modeling Clones to Generate Code Predictions.
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

Automatic Support for Multi-Domain Model Management.
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
Metamodel clone detection with SAMOS.
J. Comput. Lang., 2019

Dependency safety for Java - Implementing and testing failboxes.
Sci. Comput. Program., 2019

The JOT Journal: Towards a Rising Generation.
J. Object Technol., 2019

Model Management Tools for Models of Different Domains: A Systematic Literature Review.
Proceedings of the 2019 IEEE International Systems Conference, 2019

Safety-Driven Development and ISO 26262.
Proceedings of the Automotive Systems and Software Engineering, 2019

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.
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

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.
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

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.
Inf. Softw. Technol., 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.
Softw. Qual. J., 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 Softw., 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?
Tiny Trans. Comput. Sci., 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

Assessing the quality of model-comparison tools: a method and a benchmark data set.
Proceedings of the 2nd International Workshop on Model Comparison in Practice, 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

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

Generic tool for visualization of model differences.
Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010

Fine-grained metamodel-assisted model comparison.
Proceedings of the 1st International Workshop on Model Comparison in Practice, 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 Softw., 2009

Integrating Textual and Graphical Modelling Languages.
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

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

The Second Rewrite Engines Competition.
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 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.
Inf. Softw. Technol., 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
Rewriting Logic Systems.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Automated Derivation of Translators From Annotated Grammars.
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

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 Proc. Softw., 2005

TIDE: A Generic Debugging Framework - Tool Demonstration.
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 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).
J. Softw. Maintenance Res. Pract., 2004

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

The Action Environment: -- Tool Demonstration --.
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

An Action Environment.
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

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

Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation.
Proceedings of the Workshop on Language Descriptions, Tools and Applications, 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.
Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

Foreword.
Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

Term Rewriting with Type-safe Traversal Functions.
Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002

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

2001
RULE2001 - Foreword.
Proceedings of the Second International Workshop on Rule-Based Programming, 2001

Foreword.
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001

The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment.
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001

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

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

ASF+SDF parsing tools applied to ELAN.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 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.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 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
Reverse engineering and system renovation - an annotated bibliography.
ACM SIGSOFT Softw. Eng. Notes, 1997

Re-engineering Needs Generic Programming Language Technology.
ACM SIGPLAN Notices, 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...