Fintan Fairmichael

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael
Toward instant gradeification. CSEE&T (2011)
Fintan Fairmichael, Joseph Kiniry
Verified Visualisation of Textual Modelling Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010)
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)
Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry
Strongest postcondition of unstructured programs. FTfJP@ECOOP (2009)
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)