Polzer A, Merschen D, Botterweck G, Pleuss A, Thomas J, Hedenetz B, Kowalewski S.  2012.  Managing complexity and variability of a model-based embedded software product line. Innovations in Systems and Software Engineering. 8

Hinchey M, Vassev E.  2012.  Method of improving system performance and survivability through changing function. Patent Number #8,275,724

Bayley I, Flood D, Harrison R, Martin C.  2012.  Mobi-Test: A Cross-Platform Tool for Testing Mobile Applications. The Seventh International Conference on Software Engineering Advances (ICSEA 2012)The Seventh International Conference on Software Engineering Advances (ICSEA 2012).

Wu Y, Huang G, Song H, Zhan Y.  2012.  Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System. International Conference on Model Driven Engineering Languages and Systems (MODELS2012)International Conference on Model Driven Engineering Languages and Systems (MODELS2012).

Hava A, Ghamri-Doudane Y, Murphy J.  2012.  On monitoring overhead impact in wireless mesh networks. 8th International Wireless Communications and Mobile Computing Conference (IWCMC)8th International Wireless Communications and Mobile Computing Conference (IWCMC).

Hinchey M, Vassev E.  2012.  Multi-Agent Systems – Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their ApplicationsSoftware Agents, Agent Systems and Their Applications. 32

Cfarku D, Taher Y, Haque R, van den Heuvel W-jan, Papazoglou MP.  2012.  PAEAN- A Risk-Mitigation Framework for Business Transaction at Run-time. 13th International Conference on Electronic Commerce and Web Technologies - EC-Web 201213th International Conference on Electronic Commerce and Web Technologies - EC-Web 2012.

Tun TThan, Bandara AK, Price BA, Yu Y, Haley C, Omoronyia I, Nuseibeh B.  2012.  Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications. 20th IEEE International Requirements Engineering Conference (RE).

Hamilton G, Jones N.D..  2012.  Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Perspectives of Systems Informatics, Lecture Notes in Computer Science. 7162

Galvan-Lopez E, Harris C, Dusparic I, Clarke S, Cahill V.  2012.  Reduced Electricity Costs in a Dynamic Environment. 3rd IEEE International Conference on Smart Grid Communications3rd IEEE International Conference on Smart Grid Communications.

Vassev E, Hinchey M.  2012.  Representing Knowledge in Robotic Systems with KnowLang. Leveraging Applications of Formal Methods, Verification, and ValidationLeveraging Applications of Formal Methods, Verification, and Validation.

Ghafari M, Jamshidi P, Shahbazi S, Haghighi H.  2012.  Safe Stopping of Running Component Based Distributed Systems: Challenges and Research Gaps. Adaptive and Reconfigurable Service-oriented and Component-based Applications and ArchitecturesAdaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures.

Bowes D, Hall T, Beecham S.  2012.  SLuRp a tool to help large complex systematic literature reviews deliver valid and rigorous results. The 2nd International Workshop on Evidential Assessment of Software Technologies (EAST 2012) (co-located with ESEM 2012).

Eleftherakis G, Hinchey M, Holcombe M.  2012.  Software Engineering and Formal Methods. 10th International Conference, SEFM 2012, Thessaloniki, Greece10th International Conference, SEFM 2012, Thessaloniki, Greece.

Eleftherakis G, Hinchey M, Holcombe M.  2012.  Software Engineering and Formal Methods. 10th International Conference, SEFM 2012, Thessaloniki, Greece10th International Conference, SEFM 2012, Thessaloniki, Greece.

Hugh MMc, McCaffery F, Casey V.  2012.  Software Process Improvement to Assist Medical Device Software Development Organisations to Comply with the Amendments to the Medical Device Directive. IET Software. 6

Haque R, Richardson I.  2012.  SOLÚBTHA – A Flexible Business Transaction Model. ICSE Workshop.

Jones N.D., Hamilton G.  2012.  Superlinear Speedup by Program Transformation. Third International Workshop on Metacomputation.

Vassev E, Sterritt R, Rouff C, Hinchey M.  2012.  Swarm Technology at NASA: Building Resilient Systems. IT Professional. 14

Hall T, Beecham S, Bowes D, Gray D, Counsell S.  2012.  A Systematic Literature Review on Fault Prediction Performance in Software Engineering. IEEE Transactions on Software Engineering (TSE). 38

Hinchey M, Sterritt R.  2012.  Systems, methods, and apparatus for otoacoustic protection of autonomic systems. Patent Number #8,165,976

Hinchey M, Sterritt R.  2012.  Systems, methods, and apparatus for otoacoustic protection of autonomic systems. #8,140,452

Hinchey M, Sterritt R.  2012.  Systems, methods, and apparatus for otoacoustic protection of autonomic systems. #8,165,977

Hinchey M, Sterritt R.  2012.  Systems, methods, and apparatus for otoacoustic protection of autonomic systems. #8,140,453

von Wangenheim CGresse, Hauck JCarlo Ross, von Wangenheim A, McCaffery F.  2012.  Tailoring Software Process Capability/Maturity Models for Telemedicine Systems. 18th Americas Conference on Information Systems18th Americas Conference on Information Systems.