Joseph R. Kiniry

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Process Execution

Formal Specification Language

Top Venues

Publications

Marieta V. Fasie, Anne E. Haxthausen, Joseph R. Kiniry
A rigorous methodology for analyzing and designing plug-ins. TOPI@ICSE (2013)
Dermot Cochran, Joseph R. Kiniry
Formal Model-Based Validation for Tally Systems. VoteID (2013)
Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland
Testing Library Specifications by Verifying Conformance Tests. TAP@TOOLS (2012)
Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael
Toward instant gradeification. CSEE&T (2011)
Vieri Del Bianco, Dragan Stosic, Joseph R. Kiniry
Agile Formality: A Mole of Software Engineering Practices. FM+AM (2010)
Daniel M. Zimmerman, Joseph R. Kiniry
A Verification-Centric Software Development Process for Java. QSIC (2009)
Joseph R. Kiniry, Fintan Fairmichael
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. CBSE (2009)
Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry
CLOPS: A DSL for Command Line Options. DSL (2009)
Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry
E-matching for Fun and Profit. Electron. Notes Theor. Comput. Sci. 198 (2) (2008)
Joseph R. Kiniry, Daniel M. Zimmerman
Secret Ninja Formal Methods. FM (2008)
Joseph R. Kiniry, Dermot Cochran, Patrick E. Tierney
Verification-Centric Realization of Electronic Vote Counting. EVT (2007)
Gary T. Leavens, Joseph R. Kiniry, Erik Poll
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV (2007)
Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers
Formal techniques in a remote voting system. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers
The KOA Remote Voting System: A Summary of Work to Date. TGC (2006)
Joseph R. Kiniry, Alan E. Morkan, Barry Denby
Soundness and completeness warnings in ESC/Java2. SAVCBS@FSE (2006)
Joseph R. Kiniry
Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. Advanced Topics in Exception Handling Techniques (2006)
Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO (2005)
Joseph R. Kiniry, Patrice Chalin, Clément Hurlin
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE (2005)
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)