Publications

My publications are listed below. Alternatively, you could look at my publications according to the university's Metis system or Google Scholar's overview of publications.

Refereed Publications

Extracting Models from ISO 26262 for Reusable Safety Assurance, Yaping Luo, Mark van den Brand, Luc Engelen, John Favaro, Martijn Klabbers, and Giovanni Sartori, Proceedings of the 13th International Conference on Software Reuse (ICSR 2013), Pisa, Italy, June 2013.
Efficient Property Preservation Checking of Model Refinements, Anton Wijs and Luc Engelen, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 2013.
Incremental Formal Verification for Model Refining, Anton Wijs and Luc Engelen, Proceedings of the 9th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa'12), Innsbruck, Austria, October 2012.
VPDSL: A DSL for Software in the Loop Simulations covering Material Flow, Istvan Nagy, Loek Cleophas, Mark Van Den Brand, Luc Engelen, Liviu Raulea, and Ernest Xavier Lobo Mithun, Proceedings of the seventeenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France, July 2012.
Reusable and Correct Endogenous Model Transformations, Suzana Andova, Mark van den Brand, and Luc Engelen, Proceedings of the fifth International Conference on Model Transformation (ICMT 2012), Prague, Czech Republic, May 2012.
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models, Suzana Andova, Mark van den Brand, and Luc Engelen, Proceedings of the second workshop on Algebraic Methods in Model-Based Software Engineering (AMMSE 2011), Zürich, Switzerland, June 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, and L.J.P. Engelen, Proceedings of the third workshop on Model-Based Verification and Validation (MVV 2011), Jeju Island, South Korea, June 2011.
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, and L.J.P. Engelen, Proceedings of the seventh workshop on Advances in Model Based Testing (A-MOST 2011), Berlin, Germany, March 2011.
An Exercise in Iterative Domain-Specific Language Design, Marcel van Amstel, Mark van den Brand, and Luc Engelen, Joint ERCIM workshop on Software Evolution and International Workshop on Principles of Software Evolution (IWPSE-EVOL 2010), September 2010.
The Third Rewrite Engines Competition, Durán, F., Roldán, M., Bach, J.-C., Balland, E., Brand, M.G.J. van den, Cordy, J.R., Eker, S., Engelen, L.J.P., Jonge, M. de, Kalleberg, K.T., Kats, L.C.L., Moreau, P.-E. and Visser, E, Rewriting Logic and Its Applications, March 2010.
Integrating Textual and Graphical Modelling Languages, Luc Engelen and Mark van den Brand, Workshop on Language Descriptions, Tools and Applications (LDTA 2009), March 2009.

Summer School Lecture Notes

MDE basics with a DSL focus, Suzana Andova, Mark G.J. van den Brand, Luc J.P. Engelen, and Tom Verhoeff, 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2012), June 2012.

Book Chapters

Embedded systems modeling, analysis and synthesis, Mark van den Brand, Luc Engelen, Mark Hamilton, Andriy Levytskyy, and Jeroen Voeten, Ideals : evolvability of software-intensive high-tech systems, December 2007.

Technical Reports

Checking Property Preservation of Refining Transformations for Model-Driven Development , Luc Engelen and Anton Wijs, CS Report 12-08, April 2012.
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, and L.J.P. Engelen, CS Report 11-02, February 2011.

Theses

From Napkin Sketches to Reliable Software, L.J.P. Engelen, Technische Universiteit Eindhoven, December 2012.
A BDD Based Prover for mCRL2, L.J.P. Engelen, Technische Universiteit Eindhoven, October 2006.