L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ...

Electronic Notes in Theoretical Computer Science 80, 75-91, 2003

D Cok, J Kiniry

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005

GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...

Department of Computer Science, Iowa State University 226, 2008

J Kiniry, D Zimmerman

Internet Computing, IEEE 1 (4), 21-30, 1997

P Chalin, J Kiniry, G Leavens, E Poll

Formal Methods for Components and Objects, 342-363, 2006

KM Chandy, J Kiniry, A Rifkin, D Zimmerman, W Tanaka, L Weisman

US Patent 6,898,791, 2005

M Janota, J Kiniry

Software Product Line Conference, 2007. SPLC 2007. 11th International, 13-22, 2007

B Jacobs, J Kiniry, M Warnier

Formal Methods for Components and Objects, 202-219, 2003

M Moskal, J Lopuszanski, JR Kiniry

Electronic Notes in Theoretical Computer Science 198 (2), 19-35, 2008

JR Kiniry, AE Morkan, B Denby

Proceedings of the 2006 conference on Specification and verification of …, 2006

KM Chandy, J Kiniry, A Rifkin, D Zimmerman

Parallel Computing 24 (12-13), 1901-1922, 1998

JR Kiniry, AE Morkan, D Cochran, F Fairmichael, P Chalin, M Oostdijk, ...

Proceedings of the 2nd international conference on Trustworthy global …, 2006

J Kiniry, D Zimmerman

FM 2008: Formal Methods, 214-228, 2008

R Grigore, J Charles, F Fairmichael, J Kiniry

Proceedings of the 11th International Workshop on Formal Techniques for Java …, 2009

JR Kiniry

IEEE Internet Computing 2 (2), 13-15, 1998

J Kiniry

Advanced Topics in Exception Handling Techniques, 288-300, 2006

KM Chandy, J Kiniry, A Rifkin, D Zimmerman

The Journal of Supercomputing 11 (2), 101-118, 1997

JR Kiniry

Arxiv preprint cs/0204036, 2002

J Kiniry, P Chalin, C Hurlin

Verified Software: Theories, Tools, Experiments, 153-160, 2008

GT Leavens, JR Kiniry, E Poll

Proceedings of the 19th international conference on Computer aided …, 2007