×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of elena-planas
Lightweight Static Verification of [UML] Executable Models (An overview)
284 views
PhD Thesis defense: Lightweight and Static verification of UML Executable Models
1.167 views
Executability Analysis of Graph Transformation Rules (VL/HCC 2011)
667 views
Lightweight Verification of Executable Models
933 views
Verifying Action Semantics Specifications in UML Behavioral Models (CAiSE 2009)
402 views
A Framework for Verifying UML Behavioral Models (CAiSE Doctoral Consortium 2009)
424 views
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage (MtATL 2011)
336 views