Joseph Kiniry

25 papers B 3C 2Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2020 J jnl
Welcome to Formal Methods in Industry.
IT Prof.
Tiziana Margaria, Joseph Kiniry
2016 J jnl
Symbolic Configuration for Interactive Container Ship Stowage Planning.
Comput. Intell.
Christian Kroer, Martin Kjær Svendsen, Rune Møller Jensen, Joseph Kiniry, Eilif Leknes
2013 B conf
How Do Developers Use APIs? A Case Study in Concurrency.
ICECCS
Stefan Blom, Joseph Kiniry, Marieke Huisman
2010 J jnl
Verified Visualisation of Textual Modelling Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fintan Fairmichael, Joseph Kiniry
2009 — conf
Strongest postcondition of unstructured programs.
FTfJP@ECOOP
Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry
2007 B conf
Formally Counting Electronic Votes (But Still Only Trusting Paper).
ICECCS
Joseph Kiniry
2007 B conf
Reasoning about Feature Models in Higher-Order Logic.
SPLC
Mikolás Janota, Joseph Kiniry
2006 C conf
Program Safety via Programmer Safety.
ISoLA
Joseph Kiniry
2004 — conf
Counting Votes with Formal Methods.
AMAST
Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
2004 — conf
ESC/Java2: Uniting ESC/Java and JML.
CASSIS
David R. Cok, Joseph Kiniry
2004 — conf
Formal Techniques for Java-Like Programs (FTfJP).
ECOOP Workshops
Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
2003 C conf
An overview of JML tools and applications.
FMICS
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
2003 — conf
Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments.
UITP@TPHOLs
Joseph Kiniry
2002 — conf
Java Program Verification Challenges.
FMCO
Bart Jacobs, Joseph Kiniry, Martijn Warnier
2002 — —
Kind Theory.
Joseph Kiniry
2002 J jnl
Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems
CoRR
Joseph Kiniry
2002 J jnl
Semantic Component Composition
CoRR
Joseph Kiniry
2002 J jnl
Semantic Properties for Lightweight Specification in Knowledgeable Development Environments
CoRR
Joseph Kiniry
1998 — conf
A Cottage Industry of Software Publishing: Implications for Theories of Composition.
IPPS/SPDP Workshops
K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry
1998 J jnl
A Framework for Structured Distributed Object Computing.
Parallel Comput.
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
1998 J jnl
Cable Modems: Cable TV Delivers the Internet.
IEEE Internet Comput.
Joseph Kiniry, Christopher Metz
1998 — conf
Modeling dynamic/emergent distributed object systems.
OOPSLA Addendum
Joseph Kiniry
1998 J jnl
Wavelength Division Multiplexing: Ultra High Speed Fiber Optics.
IEEE Internet Comput.
Joseph Kiniry
1997 J jnl
A Hands-On Look at Java Mobile Agents.
IEEE Internet Comput.
Joseph Kiniry, Daniel M. Zimmerman
1997 J jnl
Webs of Archived Distributed Computations for Asynchronous Collaboration.
J. Supercomput.
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman