Luc Engelen
TitleCited byYear
Integrating textual and graphical modelling languages
L Engelen, M van den Brand
Electronic Notes in Theoretical Computer Science 253 (7), 105-120, 2010
432010
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
352010
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
222013
REFINER: towards formal verification of model transformations
A Wijs, L Engelen
NASA Formal Methods Symposium, 258-263, 2014
192014
Efficient property preservation checking of model refinements
A Wijs, L Engelen
International Conference on Tools and Algorithms for the Construction and …, 2013
172013
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
142012
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
132011
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
122015
From conceptual models to safety assurance
Y Luo, M van den Brand, L Engelen, M Klabbers
International conference on conceptual modeling, 195-208, 2014
122014
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
112012
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
102010
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
92014
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
92011
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
82012
From Napkin Sketches to Reliable Software
LJP Engelen
Technische Universiteit Eindhoven, 2012
72012
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
62015
Checking Property Preservation of Refining Transformations For Model-Driven Development
L Engelen, A Wijs
Computer Science Reports 12, 35, 0
4*
Incremental formal verification for model refining
A Wijs, L Engelen
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
32012
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
22014
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
22014
The system can't perform the operation now. Try again later.
Articles 1–20