Joseph Kiniry

According to our database, Joseph Kiniry authored at least 43 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Welcome to Formal Methods in Industry.

Tiziana Margaria, Joseph Kiniry

IT Prof., 2020

2016

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

2013

Formal Model-Based Validation for Tally Systems.

Dermot Cochran, Joseph R. Kiniry

Proceedings of the E-Voting and Identify - 4th International Conference, 2013

A rigorous methodology for analyzing and designing plug-ins.

Marieta V. Fasie, Anne E. Haxthausen, Joseph R. Kiniry

Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013

How Do Developers Use APIs? A Case Study in Concurrency.

Stefan Blom, Joseph Kiniry, Marieke Huisman

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012

Testing Library Specifications by Verifying Conformance Tests.

Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland

Proceedings of the Tests and Proofs - 6th International Conference, 2012

2011

Toward instant gradeification.

Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

Verified Visualisation of Textual Modelling Languages.

Fintan Fairmichael, Joseph Kiniry

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Agile Formality: A Mole of Software Engineering Practices.

Vieri Del Bianco, Dragan Stosic, Joseph R. Kiniry

Proceedings of the FM+AM 2010, 2010

2009

A Verification-Centric Software Development Process for Java.

Daniel M. Zimmerman, Joseph R. Kiniry

Proceedings of the Ninth International Conference on Quality Software, 2009

Strongest postcondition of unstructured programs.

Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

CLOPS: A DSL for Command Line Options.

Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations.

Joseph R. Kiniry, Fintan Fairmichael

Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

2008

Secret Ninja Formal Methods.

Joseph R. Kiniry, Daniel M. Zimmerman

Proceedings of the FM 2008: Formal Methods, 2008

2007

E-matching for Fun and Profit.

Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007

Verification-Centric Realization of Electronic Vote Counting.

Joseph R. Kiniry, Dermot Cochran, Patrick E. Tierney

Proceedings of the 2007 USENIX/ACCURATE Electronic Voting Technology Workshop, 2007

Reasoning about Feature Models in Higher-Order Logic.

Mikolás Janota, Joseph Kiniry

Proceedings of the Software Product Lines, 11th International Conference, 2007

Formally Counting Electronic Votes (But Still Only Trusting Paper).

Joseph Kiniry

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java.

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

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

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

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Soundness and completeness warnings in ESC/Java2.

Joseph R. Kiniry, Alan E. Morkan, Barry Denby

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Program Safety via Programmer Safety.

Joseph Kiniry

Proceedings of the Leveraging Applications of Formal Methods, 2006

Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application.

Joseph R. Kiniry

Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006

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

Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification.

Joseph R. Kiniry, Patrice Chalin, Clément Hurlin

Proceedings of the Verified Software: Theories, 2005

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.

Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

Formal Techniques for Java-Like Programs (FTfJP).

Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll

Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

ESC/Java2: Uniting ESC/Java and JML.

David R. Cok, Joseph Kiniry

Proceedings of the Construction and Analysis of Safe, 2004

Counting Votes with Formal Methods.

Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments.

Joseph Kiniry

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

2002

Kind Theory.

Joseph Kiniry

PhD thesis, 2002

Semantic Component Composition

Joseph Kiniry

CoRR, 2002

Semantic Properties for Lightweight Specification in Knowledgeable Development Environments

Joseph Kiniry

CoRR, 2002

Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems

Joseph Kiniry

CoRR, 2002

Java Program Verification Challenges.

Bart Jacobs, Joseph Kiniry, Martijn Warnier

Proceedings of the Formal Methods for Components and Objects, 2002

1998

A Framework for Structured Distributed Object Computing.

K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman

Parallel Comput., 1998

Cable Modems: Cable TV Delivers the Internet.

Joseph Kiniry, Christopher Metz

IEEE Internet Comput., 1998

Wavelength Division Multiplexing: Ultra High Speed Fiber Optics.

Joseph Kiniry

IEEE Internet Comput., 1998

Modeling dynamic/emergent distributed object systems.

Joseph Kiniry

Proceedings of the Addendum to the 1998 Proceedings of the Conference on Object-Oriented Programming, 1998

A Cottage Industry of Software Publishing: Implications for Theories of Composition.

K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1997

Webs of Archived Distributed Computations for Asynchronous Collaboration.

K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman

J. Supercomput., 1997

A Hands-On Look at Java Mobile Agents.

Joseph Kiniry, Daniel M. Zimmerman

IEEE Internet Comput., 1997