Joseph Kiniry

Cited by

	All	Since 2019
Citations	3765	352
h-index	18	8
i10-index	38	6

320

160

240

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202429 67 84 68 47 78 68 104 179 240 311 243 302 244 208 219 200 192 134 107 102 103 75 55 78 52 38 54

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Daniel M. ZimmermanSenior Staff Research Scientist, CertiKVerified email at acm.org
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Yoonsik CheonThe University of Texas at El PasoVerified email at utep.edu
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Werner DietlElectrical and Computer Engineering, University of WaterlooVerified email at uwaterloo.ca
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Mikoláš JanotaCTU PragueVerified email at cvut.cz
Martijn OostdijkInveridVerified email at inverid.com
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Martijn WarnierProfessor of Complex Systems Design, Delft University of TechnologyVerified email at tudelft.nl
Marieke HuismanVerified email at ewi.utwente.nl
Radu GrigoreFacebookVerified email at fb.com
Christian KroerAssociate Professor, Columbia UniversityVerified email at columbia.edu
Stefan BlomUniversity of TwenteVerified email at utwente.nl
Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroVerified email at lero.ie
Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenVerified email at ru.nl
Sam OwreSRI InternationalVerified email at sri.com
Viliam HolubCTO at Logentries/ former Post Doc at University College DublinVerified email at logentries.com
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkVerified email at dtu.dk

Joseph Kiniry

Principal Scientist, Galois and Principled CEO & Chief Scientist, Free & Fair

Verified email at acm.org - Homepage

trustworthy elections formal methods rigorous systems engineering cybersecurity formally assured secure hardware


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	1189	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	403*	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	356	2006
A hands-on look at Java mobile agents J Kiniry, D Zimmerman Internet Computing, IEEE 1 (4), 21-30, 1997	356	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
Reasoning about feature models in higher-order logic M Janota, J Kiniry Software Product Line Conference, 2007. SPLC 2007. 11th International, 13-22, 2007	85	2007
Java program verification challenges B Jacobs, J Kiniry, M Warnier Formal Methods for Components and Objects, 202-219, 2003	72	2003
E-matching for fun and profit M Moskal, J Lopuszanski, JR Kiniry Electronic Notes in Theoretical Computer Science 198 (2), 19-35, 2008	42	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
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
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
Secret ninja formal methods J Kiniry, D Zimmerman FM 2008: Formal Methods, 214-228, 2008	33	2008
Wavelength division multiplexing: ultra high speed fiber optics JR Kiniry IEEE Internet Computing 2 (2), 13-15, 1998	26	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	25	2009
Exceptions in Java and Eiffel: Two extremes in exception design and application J Kiniry Advanced Topics in Exception Handling Techniques, 288-300, 2006	23	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
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
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	18*	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors