Ownership transfer in universe types. - Peter Müller 001; Arsenii Rudich (OOPSLA, 2007)

Efficient Well-Definedness Checking. - Ádám Darvas; Farhad Mehta; Arsenii Rudich (IJCAR, 2008)

Checking Well-Formedness of Pure-Method Specifications. - Arsenii Rudich; Ádám Darvas; Peter Müller 001 (FM, 2008)

Automatic verification of heap structures with stereotypes. - Arsenii Rudich (2011)