| 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 | 370* | 2008 |
| A hands-on look at Java mobile agents J Kiniry, D Zimmerman IEEE Internet Computing 1 (4), 21-30, 1997 | 355 | 1997 |
| Infospheres distributed object system KM Chandy, J Kiniry, A Rifkin, D Zimmerman, W Tanaka, L Weisman US Patent 6,898,791, 2005 | 109 | 2005 |
| JMLUnit: The next generation DM Zimmerman, R Nagmoti International Conference on Formal Verification of Object-Oriented Software …, 2010 | 59 | 2010 |
| A framework for structured distributed object computing KM Chandy, J Kiniry, A Rifkin, D Zimmerman Parallel Computing 24 (12-13), 1901-1922, 1998 | 39 | 1998 |
| Secret ninja formal methods JR Kiniry, DM Zimmerman International Symposium on Formal Methods, 214-228, 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 | 29 | 2014 |
| 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 | 24 | 2015 |
| Event-driven architectures for distributed crisis management KM Chandy, BE Aydemir, EM Karpilovsky, DM Zimmerman Computer Science 256, 80, 2003 | 23 | 2003 |
| 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 |
| 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 | 15 | 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 |
| 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 | 12 | |
| 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 | 7 | 1998 |
| A formally verified cryptographic extension to a RISC-V processor JR Kiniry, DM Zimmerman, R Dockins, R Nikhil Computer Architecture Research with RISC-V–CARRV 2018, 2018 | 6 | 2018 |
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
