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.

Lee D-hyun, Lee K, Park S, Hinchey M.  2009.  A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. IEEE Computer. 42

Hall T, Baddoo N, Beecham S, Robinson H, Sharp H.  2009.  A systematic review of theory use in studies investigating the motivations of software engineers. ACM Transactopms Software Engineering and Methodology. 18

Hinchey M, Rash J.L, Erickson JD, Gracanin D, Rouff C.  2009.  Systems, methods and apparatus for implementation of formal specifications derived from informal requirements. # 7,739,671

Hinchey M, Rash J.L, Erickson JD, Gracanin D, Rouff C.  2009.  Systems, methods and apparatus for verification of knowledge-based sytems. Patent Number #7,752,608

Hossain E, Babar MAli, Verner J.  2009.  Towards a Framework for Using Agile Approaches in Distributed Software Development. Proceedings of the 10th International Conference on Product Focused Software Process ImprovementProceedings of the 10th International Conference on Product Focused Software Process Improvement.

Vassev E, Hinchey M, Quigley A.  2009.  Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. Proceedings of the 4th International Conference on Software and Data TechnologiesProceedings of the 4th International Conference on Software and Data Technologies.

Hossain E, Babar MAli, Paik H, Verner J.  2009.  Using Scrum in Global Software Development: A Systematic Review. Proceedings of the 4th International Conference on Global Software EngineeringProceedings of the 4th International Conference on Global Software Engineering.

Jordan H, Hinchey M, Collier R.  2010.  Agent Oriented Software Engineering. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.

Haider NAl, Nixon P, Gaudin B.  2010.  An approach for modeling dynamic analysis using ontologies. Proceedings of the Eighth International Workshop on Dynamic Analysis.

Hinchey M, Margaria T, Rash JL, Rouff C, Steffen B.  2010.  Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation. # 7,668,796

Truszkowski W, Hallock H, Rouff C, Karlin J, Rash J, Hinchey M, Sterritt R.  2010.  Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems. NASA Monographs in Systems and Software EngineeringNASA Monographs in Systems and Software Engineering.

Truszkowski W, Hallock H, Rouff C, Karlin J, Rash J, Hinchey M, Sterritt R.  2010.  Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems. NASA Monographs in Systems and Software EngineeringNASA Monographs in Systems and Software Engineering.

Hantry F, Papazoglou M, Heuvel v.d, Haque R, Whelan E, Carroll N, Karastoyanova D.  2010.  Business Process Management. Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based SystemsService Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapt. LNCS 6500

Hantry F, Papazoglou M, Heuvel v.d, Haque R, Whelan E, Carroll N, Karastoyanova D.  2010.  Business Process Management. Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based SystemsService Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapt. LNCS 6500

Hantry F, Papazoglou M, Heuvel v.d, Haque R, Whelan E, Carroll N, Karastoyanova D.  2010.  Business Process Management. Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based SystemsService Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapt. LNCS 6500

Vassev E, Hinchey M.  2010.  The Challenge of Developing Autonomic Systems. Computer. 43

Hashmi S, Lane S, Karastoyanova D, Richardson I.  2010.  A CMMI Based Configuration Management Framework to Manage the Quality of Service Based Applications. European Conference on Software Process ImprovementEuropean Conference on Software Process Improvement.