Luc Engelen
Cited by
Cited by
Integrating textual and graphical modelling languages
L Engelen, M van den Brand
Electronic Notes in Theoretical Computer Science 253 (7), 105-120, 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
Extracting models from ISO 26262 for reusable safety assurance
Y Luo, M van den Brand, L Engelen, J Favaro, M Klabbers, G Sartori
International conference on software reuse, 192-207, 2013
Efficient property preservation checking of model refinements
A Wijs, L Engelen
International Conference on Tools and Algorithms for the Construction and …, 2013
REFINER: towards formal verification of model transformations
A Wijs, L Engelen
NASA Formal Methods Symposium, 258-263, 2014
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
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, 339-345, 2015
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
From conceptual models to safety assurance
Y Luo, M van den Brand, L Engelen, M Klabbers
International conference on conceptual modeling, 195-208, 2014
The third rewrite engines competition
F Durán, M Roldán, JC Bach, E Balland, M Van Den Brand, JR Cordy, ...
International Workshop on Rewriting Logic and its Applications, 243-261, 2010
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
Reusable and correct endogenous model transformations
S Andova, MGJ Van Den Brand, L Engelen
International Conference on Theory and Practice of Model Transformations, 72-88, 2012
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
Towards Verified Java Code Generation from Concurrent State Machines.
D Zhang, D Bosnacki, M van den Brand, L Engelen, C Huizing, R Kuiper, ...
AMT@ MoDELS, 64-69, 2014
From Napkin Sketches to Reliable Software
LJP Engelen
Technische Universiteit Eindhoven, 2012
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
Metamodel comparison and model comparison for safety assurance
Y Luo, L Engelen, M van den Brand
International Conference on Computer Safety, Reliability, and Security, 419-430, 2014
Checking Property Preservation of Refining Transformations For Model-Driven Development
L Engelen, A Wijs
Computer Science Reports 12, 35, 0
A Modeling Approach to Support Safety Certification in the Automotive Domain
Y Luo, M van den Brand, L Engelen, M Klabbers
FISITA 2014 World Automotive Congress, 2014
Incremental formal verification for model refining
A Wijs, L Engelen
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20