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)

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. - Joseph R. Kiniry; Fintan Fairmichael (CBSE, 2009)

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)

Strongest postcondition of unstructured programs. - Radu Grigore; Julien Charles; Fintan Fairmichael; Joseph Kiniry (FTfJP@ECOOP, 2009)

Verified Visualisation of Textual Modelling Languages. - Fintan Fairmichael; Joseph Kiniry (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Toward instant gradeification. - Daniel M. Zimmerman; Joseph R. Kiniry; Fintan Fairmichael (CSEE&T, 2011)