Dermot Cochran

Publication Activity (10 Years)

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

Top Topics

Retrieval Systems

Building Blocks

Top Venues

Publications

Dermot Cochran, Joseph R. Kiniry
Formal Model-Based Validation for Tally Systems. VoteID (2013)
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)
Joseph R. Kiniry, Dermot Cochran, Patrick E. Tierney
Verification-Centric Realization of Electronic Vote Counting. EVT (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)