Dever M, Hamilton G.  2012.  A Comparison of Program Transformation Systems. Third International Workshop on Metacomputation.

Hinchey M, Coyle L.  2012.  Conquering Complexity.

Mendel-Gleason G, Hamilton G.  2012.  Development of the Productive Forces. Third International Workshop on Metacomputation.

Hamilton G, Jones N.D..  2012.  Distillation with Labelled Transition Systems. Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation.

Vassev E, Hinchey M.  2012.  Efficient Reasoning with Ambient Trees for Space Exploration. Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012)Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012).

Vassev E, Hinchey M.  2012.  Efficient Space Exploration through Laziness. Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012)Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012).

Heras F., Morgado A., Marques-Silva J.  2012.  An Empirical Study of Encodings for Group MaxSAT. The 25th Canadian Conference on Artificial Intelligence (AI2012)The 25th Canadian Conference on Artificial Intelligence (AI2012).

Rouff C, Hinchey M.  2012.  Experience from the DARPA Urban Challenge.

Cinnéide MÓ, Tratt L, Harman M, Counsell S, Moghadam IHemati.  2012.  Experimental Assessment of Software Metrics using Automated Refactoring. Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM’12)Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM’12).

Campbell A., Collier R, Dragone M, Görgü L., Holz T., O’Grady M., O’Hare G., Sassu A., Stafford J..  2012.  Facilitating ubiquitous interaction using intelligent agents. Human-Computer Interaction: The Agency PerspectiveHuman-Computer Interaction: The Agency Perspective.

Gaudin B, Hinchey M, Vassev E, Nixon P, Garcia JC, Maalej W.  2012.  FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Computing: Practice and Experience. 13

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.