Arsenii Rudich

发表

Checking Well-Formedness of Pure-Method Specifications

Peter Müller, Arsenii Rudich, Ádám Darvas, 2008, FM.

Formalization of Ownership Transfer in Universe Types; ; Technical Report;

Arsenii Rudich, Peter MÃ¼ller, 2007 .

Checking well-formedness of pure-method specifications

Peter Müller, Arsenii Rudich, Ádám Darvas, 2012 .

Using stereotypes to verify complex heap structures in regional logic; ; ETH Technical Report;

Arsenii Rudich, Peter MÃ¼ller, 2009 .

Ownership transfer in universe types

Peter Müller, Arsenii Rudich, Peter Müller, 2007, OOPSLA.

Efficient Well-Definedness Checking

Farhad Mehta, Arsenii Rudich, Ádám Darvas, 2008, IJCAR.

Automatic verification of heap structures with stereotypes

Arsenii Rudich, 2011 .

Formalization of ownership transfer in Universe Types

Arsenii Rudich, 2007 .

Checking well-formedness of pure-method specifications ( Full Paper )

Peter Müller, Arsenii Rudich, Ádám Darvas, 2008 .