Luc Engelen

According to our database, Luc Engelen authored at least 17 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

A systematic approach for safety evidence collection in the safety-critical domain.

Huan Lin, Ji Wu, Chunchun Yuan, Yaping Luo, Mark van den Brand, Luc Engelen

Proceedings of the Annual IEEE Systems Conference, 2015

2014

Metamodel Comparison and Model Comparison for Safety Assurance.

Yaping Luo, Luc Engelen, Mark van den Brand

Proceedings of the Computer Safety, Reliability, and Security, 2014

REFINER: Towards Formal Verification of Model Transformations.

Anton Wijs, Luc Engelen

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Towards Verified Java Code Generation from Concurrent State Machines.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

A Modeling Approach to Support Safety Assurance in the Automotive Domain.

Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers

Proceedings of the Progress in Systems Engineering, 2014

From Conceptual Models to Safety Assurance.

Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers

Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

2013

Efficient Property Preservation Checking of Model Refinements.

Anton Wijs, Luc Engelen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Extracting Models from ISO 26262 for Reusable Safety Assurance.

Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, Giovanni Sartori

Proceedings of the Safe and Secure Software Reuse, 2013

2012

MDE Basics with a DSL Focus.

Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Reusable and Correct Endogenous Model Transformations.

Suzana Andova, Mark G. J. van den Brand, Luc Engelen

Proceedings of the Theory and Practice of Model Transformations, 2012

VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow.

Istvan Nagy, Loek G. Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

Suzana Andova, Mark van den Brand, Luc Engelen

Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification.

M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended Abstract.

M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

The Third Rewrite Engines Competition.

Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

An exercise in iterative domain-specific language design.

Marcel van Amstel, Mark van den Brand, Luc Engelen

Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), 2010

2009

Integrating Textual and Graphical Modelling Languages.

Luc Engelen, Mark van den Brand

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009