Integrating Textual and Graphical Modelling Languages. - Luc Engelen; Mark van den Brand (LDTA, 2009)

An exercise in iterative domain-specific language design. - Marcel van Amstel; Mark van den Brand; Luc Engelen (EVOL/IWPSE, 2010)

The Third Rewrite Engines Competition. - Francisco Durán 001; Manuel Roldán; Jean-Christophe Bach; Emilie Balland; Mark van den Brand; James R. Cordy; Steven Eker; Luc Engelen; Maartje de Jonge; Karl Trygve Kalleberg; Lennart C. L. Kats; Pierre-Etienne Moreau; et al. (WRLA, 2010)

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended Abstract. - M. F. van Amstel; M. G. J. van den Brand; Luc J. P. Engelen (ICST Workshops, 2011)

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. - M. F. van Amstel; M. G. J. van den Brand; Luc J. P. Engelen (SSIRI (Companion), 2011)

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models - Suzana Andova; Mark van den Brand; Luc Engelen (AMMSE, 2011)

VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow. - Istvan Nagy 001; Loek G. Cleophas; Mark van den Brand; Luc Engelen; Liviu Raulea; Ernest Xavier Lobo Mithun (ICECCS, 2012)

Reusable and Correct Endogenous Model Transformations. - Suzana Andova; Mark G. J. van den Brand; Luc Engelen (ICMT@TOOLS, 2012)

MDE Basics with a DSL Focus. - Suzana Andova; Mark G. J. van den Brand; Luc J. P. Engelen; Tom Verhoeff (SFM, 2012)

Extracting Models from ISO 26262 for Reusable Safety Assurance. - Yaping Luo; Mark van den Brand; Luc Engelen; John M. Favaro; Martijn Klabbers; Giovanni Sartori (ICSR, 2013)

Efficient Property Preservation Checking of Model Refinements. - Anton Wijs; Luc Engelen (TACAS, 2013)

From Conceptual Models to Safety Assurance. - Yaping Luo; Mark van den Brand; Luc Engelen; Martijn Klabbers (ER, 2014)

A Modeling Approach to Support Safety Assurance in the Automotive Domain. - Yaping Luo; Mark van den Brand; Luc Engelen; Martijn Klabbers (ICSEng, 2014)

Towards Verified Java Code Generation from Concurrent State Machines. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Luc Engelen; Cornelis Huizing; Ruurd Kuiper 001; Anton Wijs (AMT@MoDELS, 2014)

REFINER: Towards Formal Verification of Model Transformations. - Anton Wijs; Luc Engelen (NASA Formal Methods, 2014)

Metamodel Comparison and Model Comparison for Safety Assurance. - Yaping Luo; Luc Engelen; Mark van den Brand (SAFECOMP Workshops, 2014)

A systematic approach for safety evidence collection in the safety-critical domain. - Huan Lin; Ji Wu 003; Chunchun Yuan; Yaping Luo; Mark van den Brand; Luc Engelen (SysCon, 2015)