Luc Engelen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2012–2014
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ER | From Conceptual Models to Safety Assurance. | Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers |
| 2014 | ICSEng | A Modeling Approach to Support Safety Assurance in the Automotive Domain. | Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers |
| 2014 | MODELS | 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 |
| 2014 | SAFECOMP | Metamodel Comparison and Model Comparison for Safety Assurance. | Yaping Luo, Luc Engelen, Mark van den Brand |
| 2013 | ICSR | Extracting Models from ISO 26262 for Reusable Safety Assurance. | Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, Giovanni Sartori |
| 2013 | TACAS | Efficient Property Preservation Checking of Model Refinements. | Anton Wijs, Luc Engelen |
| 2012 | ICECCS | 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 |