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.

Shosha AF, James JI, Hannaway A, Liu CC, Gladyshev P.  2012.  Towards Automated Malware Behavioral Analysis and Profiling for Digital Forensic Investigation Purposes. 4th International Conference on Digital Forensics and Cyber Crime ICDF2C 20124th International Conference on Digital Forensics and Cyber Crime ICDF2C 2012.

Pleuss A, Hauptmann B, Dhugana D, Botterweck G.  2012.  User Interface Engineering for Software Product Lines – The Dilemma between Automation and Usability. Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2012)Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2012).

Pullum L, Cui X, Vassev E, Hinchey M, Rouff C, Buskens R.  2012.  Verification of Adaptive Systems. Infotech@Aerospace Conference 2012Infotech@Aerospace Conference 2012.

Bhandal C, Bouroche M, Hughes A.  2011.  An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference onEmbedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on.

Morgan L, Conboy K, Hayes J.  2011.  Applying Lean Principles to the Crowdsourcing Process. World Conference on Mass Customization, Personalization and Co-Creation: Bridging Mass Customization and Open InnovationWorld Conference on Mass Customization, Personalization and Co-Creation: Bridging Mass Customization and Open Innovation.