Luc Engelen

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Formal Verification

Conceptual Models

Top Venues

SAFECOMP Workshops

Publications

Huan Lin, Ji Wu, Chunchun Yuan, Yaping Luo, Mark van den Brand, Luc Engelen
A systematic approach for safety evidence collection in the safety-critical domain. SysCon (2015)
Anton Wijs, Luc Engelen
REFINER: Towards Formal Verification of Model Transformations. NASA Formal Methods (2014)
Yaping Luo, Luc Engelen, Mark van den Brand
Metamodel Comparison and Model Comparison for Safety Assurance. SAFECOMP Workshops (2014)
Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers
A Modeling Approach to Support Safety Assurance in the Automotive Domain. ICSEng (2014)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs
Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS (2014)
Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers
From Conceptual Models to Safety Assurance. ER (2014)
Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, Giovanni Sartori
Extracting Models from ISO 26262 for Reusable Safety Assurance. ICSR (2013)
Anton Wijs, Luc Engelen
Efficient Property Preservation Checking of Model Refinements. TACAS (2013)
Istvan Nagy, Loek G. Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun
VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow. ICECCS (2012)
Suzana Andova, Mark G. J. van den Brand, Luc Engelen
Reusable and Correct Endogenous Model Transformations. ICMT@TOOLS (2012)
Suzana Andova, Mark van den Brand, Luc Engelen
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models AMMSE (2011)
Marcel van Amstel, Mark van den Brand, Luc Engelen
An exercise in iterative domain-specific language design. EVOL/IWPSE (2010)
Luc Engelen, Mark van den Brand
Integrating Textual and Graphical Modelling Languages. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
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
The Third Rewrite Engines Competition. WRLA (2010)