Janota M, Fairmichael F, Holub V, Grigore R, Charles J, Cochran D, Kiniry J.  2009.  CLOPS: A DSL for Command Line Options. IFIP Working Conference on Domain Specific Languages (DSL WC)IFIP Working Conference on Domain Specific Languages (DSL WC).

Schneidewind N, Hinchey M.  2009.  A Complexity Reliability Model. Proceedings of 20th IEEE International Symposium on Software Reliability Engineering (ISSRE)Proceedings of 20th IEEE International Symposium on Software Reliability Engineering (ISSRE).

Bakera M, Wagner C, Margaria T, Vassev E, Hinchey M, Bernhard S.  2009.  Component-Oriented Behavior Extraction for Autonomic System Design. Proceedings of the First NASA Formal Methods Symposium (NFM 2009).

Schneidewind N, Hinchey M.  2009.  A consumer/producer approach to risk-driven software reliability and testing Symposium on Applied Computing. Proceedings of the 2009 ACM symposium on Applied Computing (SAC 2009)Proceedings of the 2009 ACM symposium on Applied Computing (SAC 2009).

Vassev E, Hinchey M.  2009.  Developing Self-Managing Embedded Systems with ASSL. Proceedings of the IMCSIT 2009 - WRTP/RTS’09Proceedings of the IMCSIT 2009 - WRTP/RTS’09.

Hamilton G.  2009.  Extracting the Essence of Distillation. Proceedings of the Seventh International Andrei Ershov Memorial Conference: Perspectives of System InformaticsProceedings of the Seventh International Andrei Ershov Memorial Conference: Perspectives of System Informatics.

Black S, Boca P.P, Bowen J.P, Gorman J, Hinchey M.  2009.  Formal Versus Agile: Survival of the Fittest. IEEE Computer. 42

Dobson S, Coyle L, O’Hare G.M.P, Hinchey M.  2009.  From physical models to well-founded control. 6th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems. IEEE Press6th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems. IEEE Press.

Conchúir EÓ, Agerfalk P, Holmström H, Fitzgerald B.  2009.  Global Software Development: Never Mind the Problems – Where are the Benefits? Communications of the ACM. 52

Hossain E, Babar MAli, Verner J.  2009.  How Can Agile Practices Minimize Global Software Development Co-ordination Challenges? Proceedings of the 16th European Systems and Software Process Improvement and Innovation Conference (EuroSPI)Proceedings of the 16th European Systems and Software Process Improvement and Innovation Conference (EuroSPI).

McInerney C, Hinchey M, McQuade E.  2009.  Investment in Information and Communication Technologies in the Irish Education Sector. Proceedings of 9th IFIP TC3 World Conference on Computers in EducationProceedings of 9th IFIP TC3 World Conference on Computers in Education.

Burton J.  2009.  The Medical Device Industry: Software Risk Management.

Vassev E, Hinchey M.  2009.  Model Checking for Autonomic Systems Specified with ASSL. In Proc. 1st NASA Formal Methods Symposium (NFM 2009)In Proc. 1st NASA Formal Methods Symposium (NFM 2009).

Vassev E, Hinchey M, Quigley A.  2009.  Model Checking for Autonomic Systems Specified with ASSL. Proceedings of the First NASA Formal Methods Symposium (NFM 2009).

Shokry H, Hinchey M.  2009.  Model-based verification of embedded software. IEEE Computer. 42

Vassev E, Hinchey M.  2009.  Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL. The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09)The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09).

Pahl C, Giesecke S., Hasselbring W.  2009.  Ontology-based Modelling of Architectural Styles. Information and Software Technology (IST)Information and Software Technology (IST). 1

Shokry H, Hinchey M.  2009.  On Practical Service-Based Computing in Distributed Embedded Automotive Systems.. 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES), ICSE 2009.

Laplante P, Rockne J, Montuschi P, Baldwin T, Hinchey M, Shafer L, Voas J, Wang V.  2009.  Quality in Conference Publishing. IEEE Professional Communication Society. 52

Hossain E, Babar MAli, Paik H, Verner J.  2009.  Risks Identification and Mitigation Processes for Using Scrum in Global Software Development: A Conceptual Framework, Conference. Proceedings of the 16th Asia-Pacific Software EngineeringProceedings of the 16th Asia-Pacific Software Engineering.

Holub V, Parsons T, O’Sullivan P.  2009.  Run-Time Correlation Engine for System Monitoring and Testing. The International Conference on Autonomic Computing and Communication ICAC 2009The International Conference on Autonomic Computing and Communication ICAC 2009.

Vassev E, Hinchey M, Quigley A.  2009.  A Self-Adaptive Architechture For Autonomic Systems Developed With ASSL. Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT 2009)Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT 2009).

Pahl C, Voss M., Hasselbring W.  2009.  Service-centric Integration Architecture for Enterprise Software Systems. Journal of Information Science and Engineering. 25

Clear AK, Shannon R, Holland T, Quigley A, Dobson S, Nixon P.  2009.  Situvis: a visual tool for modeling a user’s behaviour patterns in a pervasive environment. 7th International Conference on Pervasive Computing.

Casey V.  2009.  Software Testing and Global Industry: Future Paradigms. Cambridge Scholars PublishingCambridge Scholars Publishing.