Luc Engelen
Geciteerd door
Geciteerd door
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
Safe and Secure Software Reuse: 13th International Conference on Software …, 2013
Efficient property preservation checking of model refinements
A Wijs, L Engelen
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
REFINER: towards formal verification of model transformations
A Wijs, L Engelen
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 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
MDE Basics with a DSL Focus
S Andova, MGJ van den Brand, LJP Engelen, T Verhoeff
Formal Methods for Model-Driven Engineering: 12th International School on …, 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
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
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
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
Theory and Practice of Model Transformations: 5th International Conference …, 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
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
From Napkin Sketches to Reliable Software
LJP Engelen
Technische Universiteit Eindhoven, 2012
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
Incremental formal verification for model refining
A Wijs, L Engelen
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20