A Hands-On Look at Java Mobile Agents. - Joseph Kiniry; Daniel M. Zimmerman (IEEE Internet Comput., 1997)

Webs of Archived Distributed Computations for Asynchronous Collaboration. - K. Mani Chandy; Joseph Kiniry; Adam Rifkin; Daniel M. Zimmerman (J. Supercomput., 1997)

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

Modeling dynamic/emergent distributed object systems. - Joseph Kiniry (OOPSLA Addendum, 1998)

Wavelength Division Multiplexing: Ultra High Speed Fiber Optics. - Joseph Kiniry (IEEE Internet Comput., 1998)

Cable Modems: Cable TV Delivers the Internet. - Joseph Kiniry; Christopher Metz 001 (IEEE Internet Comput., 1998)

A Framework for Structured Distributed Object Computing. - K. Mani Chandy; Joseph Kiniry; Adam Rifkin; Daniel M. Zimmerman (Parallel Comput., 1998)

Java Program Verification Challenges. - Bart Jacobs 001; Joseph Kiniry; Martijn Warnier (FMCO, 2002)

Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems - Joseph Kiniry (CoRR, 2002)

Semantic Properties for Lightweight Specification in Knowledgeable Development Environments - Joseph Kiniry (CoRR, 2002)

Semantic Component Composition - Joseph Kiniry (CoRR, 2002)

Kind Theory. - Joseph Kiniry (2002)

Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. - Joseph Kiniry (UITP@TPHOLs, 2003)

Counting Votes with Formal Methods. - Bart Jacobs 001; Engelbert Hubbers; Joseph Kiniry; Martijn Oostdijk (AMAST, 2004)

ESC/Java2: Uniting ESC/Java and JML. - David R. Cok; Joseph Kiniry (CASSIS, 2004)

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

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

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

An overview of JML tools and applications. - Lilian Burdy; Yoonsik Cheon; David R. Cok; Michael D. Ernst; Joseph R. Kiniry; Gary T. Leavens; K. Rustan M. Leino; Erik Poll (Int. J. Softw. Tools Technol. Transf., 2005)

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

Program Safety via Programmer Safety. - Joseph Kiniry (ISoLA, 2006)

Soundness and completeness warnings in ESC/Java2. - Joseph R. Kiniry; Alan E. Morkan; Barry Denby (SAVCBS@FSE, 2006)

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

Formal techniques in a remote voting system. - Joseph R. Kiniry; Alan E. Morkan; Dermot Cochran; Martijn Oostdijk; Engelbert Hubbers (ACM SIGSOFT Softw. Eng. Notes, 2006)

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

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

Reasoning about Feature Models in Higher-Order Logic. - Mikolás Janota; Joseph Kiniry (SPLC, 2007)

Verification-Centric Realization of Electronic Vote Counting. - Joseph R. Kiniry; Dermot Cochran; Patrick E. Tierney (EVT, 2007)

E-matching for Fun and Profit. - Michal Moskal; Jakub Lopuszanski; Joseph R. Kiniry (SMT@CAV, 2007)

Secret Ninja Formal Methods. - Joseph R. Kiniry; Daniel M. Zimmerman (FM, 2008)

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. - Joseph R. Kiniry; Fintan Fairmichael (CBSE, 2009)

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

Strongest postcondition of unstructured programs. - Radu Grigore; Julien Charles; Fintan Fairmichael; Joseph Kiniry (FTfJP@ECOOP, 2009)

A Verification-Centric Software Development Process for Java. - Daniel M. Zimmerman; Joseph R. Kiniry (QSIC, 2009)

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

Verified Visualisation of Textual Modelling Languages. - Fintan Fairmichael; Joseph Kiniry (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Toward instant gradeification. - Daniel M. Zimmerman; Joseph R. Kiniry; Fintan Fairmichael (CSEE&T, 2011)

Testing Library Specifications by Verifying Conformance Tests. - Joseph R. Kiniry; Daniel M. Zimmerman; Ralph Hyland (TAP@TOOLS, 2012)

How Do Developers Use APIs? A Case Study in Concurrency. - Stefan Blom; Joseph Kiniry; Marieke Huisman (ICECCS, 2013)

A rigorous methodology for analyzing and designing plug-ins. - Marieta V. Fasie; Anne E. Haxthausen; Joseph R. Kiniry (TOPI@ICSE, 2013)

Formal Model-Based Validation for Tally Systems. - Dermot Cochran; Joseph R. Kiniry (VoteID, 2013)

Symbolic Configuration for Interactive Container Ship Stowage Planning. - Christian Kroer; Martin Kjær Svendsen; Rune Møller Jensen; Joseph Kiniry; Eilif Leknes (Comput. Intell., 2016)

Welcome to Formal Methods in Industry. - Tiziana Margaria; Joseph Kiniry (IT Prof., 2020)