Joseph Kiniry

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 2

Top Topics

Temporal Properties

Product Configuration

Top Venues

Comput. Intell.

Publications

Tiziana Margaria, Joseph Kiniry
Welcome to Formal Methods in Industry. IT Prof. 22 (1) (2020)
Christian Kroer, Martin Kjær Svendsen, Rune Møller Jensen, Joseph Kiniry, Eilif Leknes
Symbolic Configuration for Interactive Container Ship Stowage Planning. Comput. Intell. 32 (2) (2016)
Stefan Blom, Joseph Kiniry, Marieke Huisman
How Do Developers Use APIs? A Case Study in Concurrency. ICECCS (2013)
Fintan Fairmichael, Joseph Kiniry
Verified Visualisation of Textual Modelling Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010)
Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry
Strongest postcondition of unstructured programs. FTfJP@ECOOP (2009)
Joseph Kiniry
Formally Counting Electronic Votes (But Still Only Trusting Paper). ICECCS (2007)
Mikolás Janota, Joseph Kiniry
Reasoning about Feature Models in Higher-Order Logic. SPLC (2007)
Joseph Kiniry
Program Safety via Programmer Safety. ISoLA (2006)
David R. Cok, Joseph Kiniry
ESC/Java2: Uniting ESC/Java and JML. CASSIS (2004)
Joseph Kiniry
Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. Electron. Notes Theor. Comput. Sci. 103 (2004)
Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
Counting Votes with Formal Methods. AMAST (2004)
Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops (2004)
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. Electron. Notes Theor. Comput. Sci. 80 (2003)
Bart Jacobs, Joseph Kiniry, Martijn Warnier
Java Program Verification Challenges. FMCO (2002)
Joseph Kiniry
Semantic Component Composition CoRR (2002)
Joseph Kiniry
Semantic Properties for Lightweight Specification in Knowledgeable Development Environments CoRR (2002)
Joseph Kiniry
Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems CoRR (2002)
Joseph Kiniry
Modeling dynamic/emergent distributed object systems. OOPSLA Addendum (1998)
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
A Framework for Structured Distributed Object Computing. Parallel Comput. 24 (12-13) (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)
Joseph Kiniry
Wavelength Division Multiplexing: Ultra High Speed Fiber Optics. IEEE Internet Comput. 2 (2) (1998)
Joseph Kiniry, Christopher Metz
Cable Modems: Cable TV Delivers the Internet. IEEE Internet Comput. 2 (3) (1998)
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
Webs of Archived Distributed Computations for Asynchronous Collaboration. J. Supercomput. 11 (2) (1997)
Joseph Kiniry, Daniel M. Zimmerman
A Hands-On Look at Java Mobile Agents. IEEE Internet Comput. 1 (4) (1997)