Lightweight Static Verification of [UML] Executable Models (An overview)
PhD Thesis defense: Lightweight and Static verification of UML Executable Models
Lightweight Verification of Executable Models
Verifying Action Semantics Specifications in UML Behavioral Models (CAiSE 2009)
Executability Analysis of Graph Transformation Rules (VL/HCC 2011)
A Framework for Verifying UML Behavioral Models (CAiSE Doctoral Consortium 2009)
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage (MtATL 2011)