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.

Dhungana D, Heymans P, Rabiser R.  2010.  A Formal Semantics for Decision-oriented Variability Modeling with DOPLER. Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems VAMOS 2010.

Brennan S, Fritsch S, Liu Y, Sterritt A, Fox J, Linehan E, Driver C, Meier R, Cahill V, Harrison W et al..  2010.  A Framework for Flexible and Dependable Service-oriented Embedded Systems. Architecting Dependable SystemsArchitecting Dependable Systems. VII (ADS VII)

Dobson S, Sterritt R, Nixon P, Hinchey M.  2010.  Fulfilling the vision of autonomic computing. IEEE Computer. 43

Hamilton G, Mendel-Gleason G.  2010.  A Graph-Based Definition of Distillation. META 2010: The Second International Workshop on Metacomputation.

Coyle L, Hinchey M, Nuseibeh B, Fiadeiro JLuiz.  2010.  Guest Editor’s introduction: Evolving Critical Systems. Computer. 43

Seichter D, Dhungana D, Pleuss A, Hauptmann B.  2010.  Knowledge management in software ecosystems: software artefacts as first-class citizens. 2nd Workshop on Software Ecosystems ECSA 2010 Companion.