Joseph R. Kiniry
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICSE | A rigorous methodology for analyzing and designing plug-ins. | Marieta V. Fasie, Anne E. Haxthausen, Joseph R. Kiniry |
| 2012 | TAP | Testing Library Specifications by Verifying Conformance Tests. | Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland |
| 2008 | FM | Secret Ninja Formal Methods. | Joseph R. Kiniry, Daniel M. Zimmerman |
| 2007 | CAV | A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. | Gary T. Leavens, Joseph R. Kiniry, Erik Poll |