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 (TGC, 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)

Verification-Centric Realization of Electronic Vote Counting. - Joseph R. Kiniry; Dermot Cochran; Patrick E. Tierney (EVT, 2007)

CLOPS: A DSL for Command Line Options. - Mikolás Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R. Kiniry (DSL, 2009)

Formal Model-Based Validation for Tally Systems. - Dermot Cochran; Joseph R. Kiniry (VoteID, 2013)