Vlad Rusu

From K Framework
Jump to: navigation, search

Vlad Rusu is a research scientist at Inria-Rennes.

Publications Related to the K Framework

A K-Based Formal Framework for Domain-Specific Modelling Languages 
Vlad Rusu and Dorel Lucanu
FoVeOOS'11, to appear
PDF, FoVeOOS'11, BIB
K Semantics for OCL — a Proposal for a Formal Definition for OCL 
Vlad Rusu and Dorel Lucanu
K'11. 2011. To appear
PDF, Slides (PDF), K'11, BIB

Personal tools
Namespaces

Variants
Actions
Navigation