Buglione L, McCaffery F, Hauck JCarlo Ross, von Wangenheim CGresse.  2012.  FIRST: Common-sense Process Scopes for Starting a Process Improvement Program. Software Process Improvement and Capability dEtermination (SPICE)Software Process Improvement and Capability dEtermination (SPICE).

Vassev E, Hinchey M.  2012.  Formal Specification as High-Level Programming: The ASSL Approach. Patterns, Programming and EverythingPatterns, Programming and Everything.

Vassev E, Hinchey M.  2012.  Fundamentals of Designing Complex Aerospace Software Systems. Complex Systems Design & ManagementComplex Systems Design & Management.

Hamilton G.  2012.  A Hierarchy of Program Transfprmers. Third International Workshop on Metacomputation.

Buglione L, Hauck JCarlo Ross, von Wangenheim CGresse, McCaffery F.  2012.  Hybriding CMMI and Requirement Engineering Maturity & Capability Models – Applying the LEGO Approach for Improving Estimates. 7th International Conference on Software Paradigm Trends7th International Conference on Software Paradigm Trends.

Morgado A., Heras F., Marques-Silva J.  2012.  Improvements to Core-Guided Binary Search for MaxSAT. The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012).

Song H, Huang G, Xiong Y, Sun Y.  2012.  Inferring the Data Access from the Clients of Generic APIs. International Conference on Software Maintenance (ICSM2012)International Conference on Software Maintenance (ICSM2012).

Hugh MMc, McCaffery F, Casey V.  2012.  Integrating Agile Practices with a Medical Device Software Development Lifecycle. EuroSPI 2012EuroSPI 2012.

Hugh MMc, McCaffery F, Casey V.  2012.  Integrating Agile Practices with Plan-Driven Medical Device Software Development. The 13th International Conference on Agile Software Development: XP 2012 Doctoral Symposium.

Vassev E, Hinchey M.  2012.  Knowledge Representation for Cognitive Robotic Systems. Proceedings of the 15th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2012).

Vassev E, Hinchey M, Gaudin B.  2012.  Knowledge Representation for Self-Adaptive Behavior. Proceeding of C* Conference on Computer Science & Software Engineering (C3S2E ’12)Proceeding of C* Conference on Computer Science & Software Engineering (C3S2E ’12).

Vassev E, Hinchey M.  2012.  Knowledge Representation with KnowLang - The marXbot Case Study. Proceedings of the 11th IEEE International Conference on Cybernetic Intelligent SystemsProceedings of the 11th IEEE International Conference on Cybernetic Intelligent Systems.

Buglione L, von Wangenheim CGresse, McCaffery F, Hauck JCarlo Ross.  2012.  The LEGO Strategy: Guidelines for a Profitable Deployment. 19th EuroSPI Conference19th EuroSPI Conference.

Heras F., Morgado A., Marques-Silva J.  2012.  Lower Bounds and Upper Bounds for MaxSAT. Learning and Intelligent OptimizatioN Conference LION 6Learning and Intelligent OptimizatioN Conference LION 6.

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.