"Rodion Moiseev,Shinpei Hayashi,Motoshi Saeki","Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints",,"IEICE Transactions on Information and Systems",,"Vol. E94-D","No. 3","pp. 612-621",2011,Mar.
"Rodion Moiseev,Shinpei Hayashi,Motoshi Saeki","Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages",,"Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009)",,"  LNCS 5795",,"pp. 650-664",2009,Oct.
"Rodion Moiseev,Shinpei Hayashi,Motoshi Saeki","Implementing OCL Evaluation Based on Structural Similarities of Programming Languages",,"IPSJ SIG Technical Reports",,"Vol. 2007","No. 97","pp. 119-126",2007,Sept.