| An overview of JML tools and applications L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ... Electronic Notes in Theoretical Computer Science 80, 75-91, 2003 | 1214 | 2003 |
| ESC/Java2: Uniting ESC/Java and JML D Cok, J Kiniry Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005 | 421* | 2005 |
| 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 | 412* | 2008 |
| Beyond assertions: Advanced specification and verification with JML and ESC/Java2 P Chalin, J Kiniry, G Leavens, E Poll Formal Methods for Components and Objects, 342-363, 2006 | 365 | 2006 |
| A hands-on look at Java mobile agents J Kiniry, D Zimmerman Internet Computing, IEEE 1 (4), 21-30, 1997 | 359 | 1997 |
| Infospheres distributed object system KM Chandy, J Kiniry, A Rifkin, D Zimmerman, W Tanaka, L Weisman US Patent 6,898,791, 2005 | 101 | 2005 |
| Reasoning about feature models in higher-order logic M Janota, J Kiniry Software Product Line Conference, 2007. SPLC 2007. 11th International, 13-22, 2007 | 89 | 2007 |
| Java program verification challenges B Jacobs, J Kiniry, M Warnier Formal Methods for Components and Objects, 202-219, 2003 | 75 | 2003 |
| E-matching for fun and profit M Moskal, J Lopuszanski, JR Kiniry Electronic Notes in Theoretical Computer Science 198 (2), 19-35, 2008 | 43 | 2008 |
| Soundness and completeness warnings in ESC/Java2 JR Kiniry, AE Morkan, B Denby Proceedings of the 2006 conference on Specification and verification of …, 2006 | 41 | 2006 |
| Secret ninja formal methods J Kiniry, D Zimmerman FM 2008: Formal Methods, 214-228, 2008 | 38 | 2008 |
| A framework for structured distributed object computing KM Chandy, J Kiniry, A Rifkin, D Zimmerman Parallel Computing 24 (12-13), 1901-1922, 1998 | 38 | 1998 |
| The KOA remote voting system: A summary of work to date JR Kiniry, AE Morkan, D Cochran, F Fairmichael, P Chalin, M Oostdijk, ... Proceedings of the 2nd international conference on Trustworthy global …, 2006 | 35 | 2006 |
| Wavelength division multiplexing: ultra high speed fiber optics JR Kiniry IEEE Internet Computing 2 (2), 13-15, 1998 | 30 | 1998 |
| Strongest postcondition of unstructured programs R Grigore, J Charles, F Fairmichael, J Kiniry Proceedings of the 11th International Workshop on Formal Techniques for Java …, 2009 | 28 | 2009 |
| Exceptions in Java and Eiffel: Two extremes in exception design and application J Kiniry Advanced Topics in Exception Handling Techniques, 288-300, 2006 | 25 | 2006 |
| Webs of archived distributed computations for asynchronous collaboration KM Chandy, J Kiniry, A Rifkin, D Zimmerman The Journal of Supercomputing 11 (2), 101-118, 1997 | 21 | 1997 |
| A JML tutorial: Modular specification and verification of functional behavior for Java GT Leavens, JR Kiniry, E Poll Proceedings of the 19th international conference on Computer aided …, 2007 | 19 | 2007 |
| Semantic component composition JR Kiniry Arxiv preprint cs/0204036, 2002 | 19 | 2002 |
| Integrating static checking and interactive verification: Supporting multiple theories and provers in verification J Kiniry, P Chalin, C Hurlin Verified Software: Theories, Tools, Experiments, 153-160, 2008 | 18 | 2008 |
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
