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.

Hauck JCarlo R, von Wangenheim CGresse, McCaffery F, von Wangenheim A.  2010.  Proposing a Knowledge Engineering Based Approach for Process Capability/Maturity Models Customization. Software Process Improvement - European Systems & Software Process Improvement and Innovation Conference, (EuroSPI)Software Process Improvement - European Systems & Software Process Improvement and Innovation Conference, (EuroSPI).

Vassev E, Hinchey M, Nixon P.  2010.  Prototyping Home Automation Wireless Sensor Networks with ASSL. Proceedings of the 7th IEEE International Conference on Autonomic Computing and Communications (ICAC2010)Proceedings of the 7th IEEE International Conference on Autonomic Computing and Communications (ICAC2010).

Cawley C, Healy P, Thiel S, Botterweck G.  2010.  Research Tool to Support Feature Configuration in Software Product Lines. Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems VAMOS2010.

Bai X, Huang LG, Zhang H.  2010.  On Scoping Stakeholders and Artifacts in Software Process. International Conference on Software Process (ICSP 2010)International Conference on Software Process (ICSP 2010).

Sterritt R, Hinchey M, Vassev E.  2010.  Self-managing Software. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.

Heider W, Froschauer R, Grünbacher P, Rabiser R, Dhungana D.  2010.  Simulating Evolution in Model-based Product Line Engineering. Information and Software Technology, International Journal Elsevier. 52

Vassev E, Hinchey M.  2010.  Software Verification of Autonomic Systems Developed with ASSL. Proceedings of the 16th Monterey Workshop on Modeling, Development and Verification of Adaptive Computer Systems: The Grand Challenge for Robotic Software (Monterey2010).

Mendel-Gleason G, Hamilton G.  2010.  Supercompilation and Normalisation by Evaluation. Proceedings of the Second International Workshop on Metacomputation in Russia.