ºÝºÝߣ
Submit Search
Elena Planas
8
ºÝºÝߣShares
45
Followers
41
Followings
Block User
8
ºÝºÝߣShares
45
Followers
41
Followings
Personal Information
Organization / Workplace
Barcelona Spain
Occupation
Lecturer and researcher
Contact Details
Presentations
(8)Ìý
See all
Model-Driven Analytics for Open Data APIs
Model-Driven Analytics for Open Data APIs
Ìý
PhD Thesis defense: Lightweight and Static verification of UML Executable Models
PhD Thesis defense: Lightweight and Static verification of UML Executable Models
Ìý
Lightweight Static Verification of [UML] Executable Models (An overview)
Lightweight Static Verification of [UML] Executable Models (An overview)
Ìý
Lightweight Verification of Executable Models
Lightweight Verification of Executable Models
Ìý
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage (MtATL 2011)
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage (MtATL 2011)
Ìý
Executability Analysis of Graph Transformation Rules (VL/HCC 2011)
Executability Analysis of Graph Transformation Rules (VL/HCC 2011)
Ìý
![Lightweight Static Verification of [UML] Executable Models (An overview)](https://cdn.slidesharecdn.com/ss_thumbnails/eplanashsetslideshare-121005101705-phpapp01-thumbnail.jpg?width=560&fit=bounds)
