Luc Engelen

Luc Engelen

Eindhoven University of Technology - Eindhoven / Netherlands
Others
AD Scientific Index ID: 4454364
Technische Universiteit Eindhoven
person_outline Luc Engelen's MOST POPULAR ARTICLES
1-) Integrating textual and graphical modelling languages Electronic Notes in Theoretical Computer Science 253 (7), 105-120, 2010
2-) An exercise in iterative domain-specific language design Proceedings of the joint ERCIM workshop on software evolution (EVOL) and …, 2010
3-) Extracting models from ISO 26262 for reusable safety assurance Safe and Secure Software Reuse: 13th International Conference on Software …, 2013
4-) Efficient property preservation checking of model refinements Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
5-) REFINER: towards formal verification of model transformations NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014