Joseph Kiniry

Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland: Testing Library Specifications by Verifying Conformance Tests. TAP 2012: 51-66

Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael: Toward instant gradeification. CSEE&T 2011: 406-410

Fintan Fairmichael, Joseph Kiniry: Verified Visualisation of Textual Modelling Languages. ECEASST 36 (2010)

Vieri Del Bianco, Dragan Stosic, Joseph R. Kiniry: Agile Formality: A Mole of Software Engineering Practices. FM+AM 2010: 29-48

Joseph R. Kiniry, Fintan Fairmichael: Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. CBSE 2009: 242-261

Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry: CLOPS: A DSL for Command Line Options. DSL 2009: 187-210

Daniel M. Zimmerman, Joseph R. Kiniry: A Verification-Centric Software Development Process for Java. QSIC 2009: 76-85

Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry: E-matching for Fun and Profit. Electr. Notes Theor. Comput. Sci. 198(2): 19-35 (2008)

Joseph R. Kiniry, Daniel M. Zimmerman: Secret Ninja Formal Methods. FM 2008: 214-228

Gary T. Leavens, Joseph R. Kiniry, Erik Poll: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37

Joseph Kiniry: Formally Counting Electronic Votes (But Still Only Trusting Paper). ICECCS 2007: 261-269

Mikolás Janota, Joseph Kiniry: Reasoning about Feature Models in Higher-Order Logic. SPLC 2007: 13-22

Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers: Formal techniques in a remote voting system. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)

Joseph R. Kiniry: Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. Advanced Topics in Exception Handling Techniques 2006: 288-300

Joseph Kiniry: Program Safety via Programmer Safety. ISoLA 2006: 8

Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers: The KOA Remote Voting System: A Summary of Work to Date. TGC 2006: 244-262

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. STTT 7(3): 212-232 (2005)

Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO 2005: 342-363

Joseph R. Kiniry, Patrice Chalin, Clément Hurlin: Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE 2005: 153-160

Joseph Kiniry: Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. Electr. Notes Theor. Comput. Sci. 103: 81-103 (2004)

David R. Cok, Joseph Kiniry: ESC/Java2: Uniting ESC/Java and JML. CASSIS 2004: 108-128

Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. Electr. Notes Theor. Comput. Sci. 80: 75-91 (2003)

Bart Jacobs, Joseph Kiniry, Martijn Warnier: Java Program Verification Challenges. FMCO 2002: 202-219

Joseph Kiniry: Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems. CoRR cs.SE/0204034 (2002)

Joseph Kiniry: Semantic Properties for Lightweight Specification in Knowledgeable Development Environments. CoRR cs.SE/0204035 (2002)

Joseph Kiniry: Semantic Component Composition. CoRR cs.SE/0204036 (2002)

Joseph Kiniry: Wavelength Division Multiplexing: Ultra High Speed Fiber Optics. IEEE Internet Computing 2(2): 13-15 (1998)

Joseph Kiniry, Christopher Metz: Cable Modems: Cable TV Delivers the Internet. IEEE Internet Computing 2(3): 12-15 (1998)

K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman: A Framework for Structured Distributed Object Computing. Parallel Computing 24(12-13): 1901-1922 (1998)

K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry: A Cottage Industry of Software Publishing: Implications for Theories of Composition. IPPS/SPDP Workshops 1998: 890-899

Joseph Kiniry, Daniel M. Zimmerman: A Hands-On Look at Java Mobile Agents. IEEE Internet Computing 1(4): 21-30 (1997)

K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman: Webs of Archived Distributed Computations for Asynchronous Collaboration. The Journal of Supercomputing 11(2): 101-118 (1997)