دنبال کردن
Joseph Kiniry
Joseph Kiniry
Principal Scientist, Galois and Principled CEO & Chief Scientist, Free & Fair
ایمیل تأیید شده در acm.org - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
11952003
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‏
405*2008
ESC/Java2: Uniting ESC/Java and JML‏
D Cok, J Kiniry‏
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005‏
393*2005
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‏
3612006
A hands-on look at Java mobile agents‏
J Kiniry, D Zimmerman‏
Internet Computing, IEEE 1 (4), 21-30, 1997‏
3561997
Infospheres distributed object system‏
KM Chandy, J Kiniry, A Rifkin, D Zimmerman, W Tanaka, L Weisman‏
US Patent 6,898,791, 2005‏
1092005
Reasoning about feature models in higher-order logic‏
M Janota, J Kiniry‏
Software Product Line Conference, 2007. SPLC 2007. 11th International, 13-22, 2007‏
852007
Java program verification challenges‏
B Jacobs, J Kiniry, M Warnier‏
Formal Methods for Components and Objects, 202-219, 2003‏
732003
E-matching for fun and profit‏
M Moskal, J Lopuszanski, JR Kiniry‏
Electronic Notes in Theoretical Computer Science 198 (2), 19-35, 2008‏
422008
Soundness and completeness warnings in ESC/Java2‏
JR Kiniry, AE Morkan, B Denby‏
Proceedings of the 2006 conference on Specification and verification of …, 2006‏
412006
A framework for structured distributed object computing‏
KM Chandy, J Kiniry, A Rifkin, D Zimmerman‏
Parallel Computing 24 (12-13), 1901-1922, 1998‏
381998
Esc/java2: Uniting esc/java and jml‏
JR Kiniry, DR Cok‏
CASSIS 4, 108-128, 2004‏
372004
Secret ninja formal methods‏
J Kiniry, D Zimmerman‏
FM 2008: Formal Methods, 214-228, 2008‏
362008
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‏
352006
Wavelength division multiplexing: ultra high speed fiber optics‏
JR Kiniry‏
IEEE Internet Computing 2 (2), 13-15, 1998‏
281998
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‏
272009
Exceptions in Java and Eiffel: Two extremes in exception design and application‏
J Kiniry‏
Advanced Topics in Exception Handling Techniques, 288-300, 2006‏
242006
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‏
211997
Semantic component composition‏
JR Kiniry‏
Arxiv preprint cs/0204036, 2002‏
192002
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‏
182008
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20