by Chalin, Patrice, Kiniry, Joseph R., Leavens, Gary T., Poll, Erik
Published in Formal Methods for Components and Objects (2006)

by BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik
Published in International journal on software tools for technology transfer (01.06.2005)

by Cok, David R., Kiniry, Joseph R.
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)

by Kiniry, J.R., Metz, C.
Published in IEEE internet computing (01.05.1998)

by KINIRY, Joseph R
Published in Lecture notes in computer science (2006)

by Kiniry, Joseph R., Zimmerman, Daniel M.
Published in FM 2008: Formal Methods (2008)

by Kiniry, Joseph R.
Published in Advanced Topics in Exception Handling Techniques (2006)

by Cochran, Dermot, Kiniry, Joseph R.
Published in E-Voting and Identify (2013)

by Zimmerman, D M, Kiniry, J R, Fairmichael, F
Published in 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T) (01.05.2011)

by Kiniry, Joseph R., Zimmerman, Daniel M., Hyland, Ralph
Published in Tests and Proofs (2012)

by Kiniry, Joseph R.
Published in Electronic notes in theoretical computer science (03.11.2004)

by Fasie, Marieta V., Haxthausen, Anne E., Kiniry, Joseph R.
Published in 2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) (01.05.2013)

by Kiniry, J.R.
Published in IEEE internet computing (01.03.1998)

by Moskal, Michał, Łopuszański, Jakub, Kiniry, Joseph R.
Published in Electronic notes in theoretical computer science (06.05.2008)

by Kiniry, Joseph R., Morkan, Alan E., Cochran, Dermot, Fairmichael, Fintan, Chalin, Patrice, Oostdijk, Martijn, Hubbers, Engelbert
Published in Trustworthy Global Computing (2007)

by Kiniry, J.R.
Published in 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) (01.07.2007)

by Zimmerman, D.M., Kiniry, J.R.
Published in 2009 Ninth International Conference on Quality Software (01.08.2009)

by CHANDY, K. M, SIVILOTTI, P. A. G, KINIRY, J. R
Published in Lecture notes in computer science (1998)

by Kiniry, Joseph R
Year of Publication 15.04.2002

by Kiniry, Joseph R
Year of Publication 15.04.2002