Fintan Fairmichael

According to our database, Fintan Fairmichael authored at least 6 papers between 2006 and 2011.

Collaborative distances:

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

2011

Toward instant gradeification.

Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

Verified Visualisation of Textual Modelling Languages.

Fintan Fairmichael, Joseph Kiniry

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Strongest postcondition of unstructured programs.

Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 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

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations.

Joseph R. Kiniry, Fintan Fairmichael

Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

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