default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuc Engelen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[c17]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: 194-199- 2014
- [c16]Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers:
From Conceptual Models to Safety Assurance. ER 2014: 195-208 - [c15]Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers:
A Modeling Approach to Support Safety Assurance in the Automotive Domain. ICSEng 2014: 339-345 - [c14]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: 64-69 - [c13]Anton Wijs, Luc Engelen:
REFINER: Towards Formal Verification of Model Transformations. NASA Formal Methods 2014: 258-263 - [c12]Yaping Luo, Luc Engelen, Mark van den Brand:
Metamodel Comparison and Model Comparison for Safety Assurance. SAFECOMP Workshops 2014: 419-430 - 2013
- [c11]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: 192-207 - [c10]Anton Wijs, Luc Engelen:
Efficient Property Preservation Checking of Model Refinements. TACAS 2013: 565-579 - 2012
- [c9]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: 318-327 - [c8]Suzana Andova, Mark G. J. van den Brand, Luc Engelen:
Reusable and Correct Endogenous Model Transformations. ICMT@TOOLS 2012: 72-88 - [c7]Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff:
MDE Basics with a DSL Focus. SFM 2012: 21-57 - 2011
- [c6]M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen:
Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended Abstract. ICST Workshops 2011: 63-66 - [c5]M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen:
Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. SSIRI (Companion) 2011: 120-127 - [c4]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: 65-79 - 2010
- [c3]Marcel van Amstel, Mark van den Brand, Luc Engelen:
An exercise in iterative domain-specific language design. EVOL/IWPSE 2010: 48-57 - [c2]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: 243-261
2000 – 2009
- 2009
- [c1]Luc Engelen, Mark van den Brand:
Integrating Textual and Graphical Modelling Languages. LDTA 2009: 105-120
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
