| Integrating textual and graphical modelling languages L Engelen, M van den Brand Electronic Notes in Theoretical Computer Science 253 (7), 105-120, 2010 | 57 | 2010 |
| An exercise in iterative domain-specific language design M van Amstel, M van den Brand, L Engelen Proceedings of the joint ERCIM workshop on software evolution (EVOL) and …, 2010 | 47 | 2010 |
| Extracting models from ISO 26262 for reusable safety assurance Y Luo, M van den Brand, L Engelen, J Favaro, M Klabbers, G Sartori Safe and Secure Software Reuse: 13th International Conference on Software …, 2013 | 34 | 2013 |
| Efficient property preservation checking of model refinements A Wijs, L Engelen Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 27 | 2013 |
| REFINER: towards formal verification of model transformations A Wijs, L Engelen NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 26 | 2014 |
| A modeling approach to support safety assurance in the automotive domain Y Luo, M Van den Brand, L Engelen, M Klabbers Progress in Systems Engineering: Proceedings of the Twenty-Third …, 2015 | 22 | 2015 |
| MDE Basics with a DSL Focus S Andova, MGJ van den Brand, LJP Engelen, T Verhoeff International School on Formal Methods for the Design of Computer …, 2012 | 21 | 2012 |
| From conceptual models to safety assurance Y Luo, M van den Brand, L Engelen, M Klabbers Conceptual Modeling: 33rd International Conference, ER 2014, Atlanta, GA …, 2014 | 19 | 2014 |
| Prototyping the Semantics of a DSL using ASF+ SDF: Link to Formal Verification of DSL Models S Andova, M Brand, L Engelen arXiv preprint arXiv:1107.0067, 2011 | 17 | 2011 |
| VPDSL: a DSL for software in the loop simulations covering material flow I Nagy, L Cleophas, M van den Brand, L Engelen, L Raulea, EXL Mithun 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012 | 14 | 2012 |
| The third rewrite engines competition F Durán, M Roldán, JC Bach, E Balland, M Van Den Brand, JR Cordy, ... Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010 …, 2010 | 14 | 2010 |
| Reusable and correct endogenous model transformations S Andova, MGJ Van Den Brand, L Engelen Theory and Practice of Model Transformations: 5th International Conference …, 2012 | 13 | 2012 |
| From Napkin Sketches to Reliable Software LJP Engelen Technische Universiteit Eindhoven, 2012 | 12 | 2012 |
| Towards verified java code generation from concurrent state machines D Zhang, D Bosnacki, MGJ van den Brand, LJP Engelen, C Huizing, ... conference; Workshop on Analysis of Model Transformations, 64-69, 2014 | 11 | 2014 |
| Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification MF Amstel, MGJ van den Brand, LJP Engelen Secure Software Integration & Reliability Improvement Companion (SSIRI-C …, 2011 | 11 | 2011 |
| A systematic approach for safety evidence collection in the safety-critical domain H Lin, J Wu, C Yuan, Y Luo, M van den Brand, L Engelen 2015 Annual IEEE Systems Conference (SysCon) Proceedings, 194-199, 2015 | 10 | 2015 |
| Incremental formal verification for model refining A Wijs, L Engelen Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012 | 6 | 2012 |
| Checking Property Preservation of Refining Transformations For Model-Driven Development L Engelen, A Wijs Computer Science Reports 12, 35, 0 | 5* | |
| Metamodel comparison and model comparison for safety assurance Y Luo, L Engelen, M van den Brand Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014 | 4 | 2014 |
| A Modeling Approach to Support Safety Certification in the Automotive Domain Y Luo, MGJ van den Brand, L Engelen, M Klabbers FISITA 2014 World Automotive Congress, 2014 | 3 | 2014 |
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyVerified email at tue.nl
