| A hands-on look at Java mobile agents J Kiniry, D Zimmerman IEEE Internet Computing 1 (4), 21-30, 1997 | 359 | 1997 |
| JML reference manual 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 | 204* | 2008 |
| JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ... Draft revision 1, 71, 2007 | 182 | 2007 |
| Infospheres distributed object system KM Chandy, J Kiniry, A Rifkin, D Zimmerman, W Tanaka, L Weisman US Patent 6,898,791, 2005 | 108 | 2005 |
| JMLUnit: The next generation DM Zimmerman, R Nagmoti Formal Verification of Object-Oriented Software: International Conference …, 2011 | 55 | 2011 |
| A framework for structured distributed object computing KM Chandy, J Kiniry, A Rifkin, D Zimmerman, W Tanaka, L Weisman CALIFORNIA INST OF TECH PASADENA DEPT OF COMPUTER SCIENCE, 1997 | 39 | 1997 |
| Secret ninja formal methods JR Kiniry, DM Zimmerman FM 2008: Formal Methods: 15th International Symposium on Formal Methods …, 2008 | 35 | 2008 |
| AspectJML: Modular specification and runtime checking for crosscutting contracts H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ... Proceedings of the 13th international conference on Modularity, 157-168, 2014 | 28 | 2014 |
| Event-driven architectures for distributed crisis management KM Chandy, BE Aydemir, EM Karpilovsky, DM Zimmerman Computer Science 256, 80, 2003 | 23 | 2003 |
| The future of voting: end-to-end verifiable internet voting-specification and feasibility study S Dzieduszycka-Suinat, J Murray, J Kiniry, D Zimmerman, D Wagner, ... US Vote Foundation, 30-38, 2015 | 22 | 2015 |
| Webs of archived distributed computations for asynchronous collaboration KM Chandy, J Kiniry, A Rifkin, D Zimmerman The Journal of Supercomputing 11, 101-118, 1997 | 20 | 1997 |
| Automatic web services generation E Cho, S Chung, D Zimmerman 2009 42nd Hawaii International Conference on System Sciences, 1-8, 2009 | 16 | 2009 |
| Event webs for crisis management KM Chandy, BE Aydemir, EM Karpilovsky, DM Zimmerman Computer Science 256, 80, 2003 | 16 | 2003 |
| JML Reference Manual, May 2013 GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ... Draft revision 2344, 0 | 15 | |
| Modularizing crosscutting contracts with AspectJML H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ... Proceedings of the companion publication of the 13th international …, 2014 | 14 | 2014 |
| A verification-centric software development process for Java DM Zimmerman, JR Kiniry Quality Software, 2009. QSIC'09. 9th International Conference on, 76-85, 2009 | 14 | 2009 |
| Toward instant gradeification DM Zimmerman, JR Kiniry, F Fairmichael 2011 24th IEEE-CS Conference on Software Engineering Education and Training …, 2011 | 11 | 2011 |
| A parallel algorithm for correlating event streams DM Zimmerman, KM Chandy 19th IEEE International Parallel and Distributed Processing Symposium, 10 pp., 2005 | 10 | 2005 |
| A preliminary investigation into dynamic distributed workflow DM Zimmerman California Institute of Technology, 1998 | 7 | 1998 |
| II: The Infospheres Infrastructure User Guide KM Chandy, J Kiniry, A Rifkin, D Zimmerman Computer Science 256, 80, 1998 | 6 | 1998 |
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
