Haque R, Taher Y, Richardson I, Whelan E, Heuvel WJVD, Tawbi S.  2011.  Towards A Framework for Customizing the Views of Reusable Public Service Processes. 17th International Conference on Software and Information Technologies17th International Conference on Software and Information Technologies.

Hinchey M, Vassev E.  2011.  Towards Resilient Space Exploration Systems. Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11)Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11).

Hugh MMc, McCaffery F, Casey V.  2011.  US FDA Releases Final Rule on Medical Device Data Systems - What Does this Mean for Device Manufacturers. Journal of Medical Device Regulation. 8

Hashmi S, Clerc V, Razavian M, Manteli C, Tamburri DAndrew, Lago P, Di Nitto E, Richardson I.  2011.  Using the Cloud to Facilitate Global Software Development Challenges. ICGSE Workshop on Tool Support Development and Management in Distributed Software Projects.

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.

C von Wangenheim G, Hauck J.C, Zoucas R., Salviano C.A, McCaffery F, Shull F.  2010.  Creating Software Process Capability/Maturity Models. IEEE Software. 27

Vassev E, Hinchey M, Nixon P.  2010.  Developing Intelligent Sensor Networks - A Technological Convergence Approach. Proceedings of the Workshop on Software Engineering for Sensor Network Applications (SESENA2010) - In conjunction with the ACM/IEEE International Conference on Software Engineering (ICSE2010).

Vassev E, Hinchey M.  2010.  Developing Self-Managing Embedded Systems with ASSL.

Cawley C, Healy P, Botterweck G.  2010.  A Discussion of Three Visualisation Approaches to Providing Cognitive Support in Variability Management. 2nd Conference on Software Technologies and Processes (STeP 2010)2nd Conference on Software Technologies and Processes (STeP 2010).

Hinchey M, Coyle L.  2010.  Evolving Critical Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.

Hinchey M, Coyle L.  2010.  Evolving Critical Systems: A Research Agenda for Computer-Based Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.

Bakera M, Wagner C, Margaria T, Vassev E, Hinchey M, Steffen B.  2010.  Extracting Component-oriented Behavior for Self-healing Enabling. Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe’10).

Hinchey M.  2010.  Flash drive memory apparatus and method. #7,673,089

Vassev E, Hinchey M, Nixon P.  2010.  A Formal Approach to Self-configurable Swarm-based Space-exploration Systems. Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010)Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010).

Hinchey M, Bowen JP, Vassev E.  2010.  Formal Methods. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.

Bowen JP, Hinchey M, Vassev E.  2010.  Formal Requirements Specification. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.