- Transformation of Relationships from UML/OCL to SQL2011 | Faculty of Mathematics and Physics
- Validation of stereotypes' usage in UML class model by generated OCL constraints2012 | Faculty of Mathematics and Physics
- Reconstruction of OCL from SQL2010 | Faculty of Mathematics and Physics
- Using OCL in Model Validation According to Stereotypes2012 | Faculty of Mathematics and Physics