Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
michael fitch
Claudia Calabrese
Daniel O'Malley
Maria Concetta Palumbo
Sariyildiz, E.
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
LUC ENGELEN
Author Info
Open Visualization
Name
Affiliation
Papers
LUC ENGELEN
Eindhoven Univ Technol, POB 513, NL-5600 MB Eindhoven, Netherlands
13
Collaborators
Citations
PageRank
30
85
7.70
Referers
Referees
References
179
275
152
Search Limit
100
275
Publications (13 rows)
Collaborators (30 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Towards Verified Java Code Generation from Concurrent State Machines.
2
0.39
2014
A modeling approach to support safety assurance in the automotive domain
3
0.47
2014
REFINER: Towards Formal Verification of Model Transformations.
9
0.64
2014
Metamodel Comparison And Model Comparison For Safety Assurance
2
0.52
2014
From Conceptual Models To Safety Assurance
3
0.54
2014
Extracting Models from ISO 26262 for Reusable Safety Assurance.
12
0.91
2013
Efficient property preservation checking of model refinements
5
0.45
2013
VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow
3
0.45
2012
Reusable and correct endogenous model transformations
5
0.44
2012
Prototyping The Semantics Of A Dsl Using Asf+Sdf: Link To Formal Verification Of Dsl Models
3
0.38
2011
Integrating Textual and Graphical Modelling Languages
19
1.19
2010
An exercise in iterative domain-specific language design
15
0.85
2010
The third rewrite engines competition
4
0.45
2010
1