Dermot Cochran

According to our database, Dermot Cochran authored at least 5 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Formal Model-Based Validation for Tally Systems.

Dermot Cochran, Joseph R. Kiniry

Proceedings of the E-Voting and Identify - 4th International Conference, 2013

2009

CLOPS: A DSL for Command Line Options.

Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2007

Verification-Centric Realization of Electronic Vote Counting.

Joseph R. Kiniry, Dermot Cochran, Patrick E. Tierney

Proceedings of the 2007 USENIX/ACCURATE Electronic Voting Technology Workshop, 2007

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

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

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006