Publications

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

O’Toole E, Clarke S.  2012.  Dynamic Forecasting and Adaptation For Demand Optimization in the Smart Grid. International Workshop on Software Engineering for the Smart Grid (SE-SmartGrid), at ICSE 2012.

O'Connor R.V, Basri S.  2012.  The Effect of Team Dynamics on Software Development Process Improvement. International Journal of Human Capital and Information Technology Professionals. 3

Belov A., Ivr, ii A., Matsliah A., Marques-Silva J.  2012.  On Efficient Computation of Variable MUSes. 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).

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).

O’Hare G.M.P, Collier R, Dragone M, O’Grady MJ, Muldoon C, Montoya ADe J.  2012.  Embedding Agents within Ambient Intelligent Applications. Agents and Ambient Intelligence: Achievements and Challenges in the Intersection of Agent Technology and Ambient IntelligenceAgents and Ambient Intelligence: Achievements and Challenges in the Intersection of Agent Technology and Ambient Intelligence.

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).

Doherty G, Coyle D, Sharry J.  2012.  Engagement with online mental health interventions: an exploratory clinical study of a treatment for depression. CHI Conference on Human Factors in Computing SystemsCHI Conference on Human Factors in Computing Systems.

O'Connor R.V.  2012.  Evaluating Management Sentiment Towards ISO/IEC 29110 in Very Small Software Development Companies. Software Process Improvement and Capability dEtermination (SPICE)Software Process Improvement and Capability dEtermination (SPICE).

Shosha AF, Liu CC, Gladyshev P, Matten M.  2012.  Evasion-Resistant Malware Signature Based on Profiling Kernel Data Structure Objects. 7th International Conference on Risks and Security of Internet Systems (CRiSIS) 20127th International Conference on Risks and Security of Internet Systems (CRiSIS) 2012.

Kattan A., Galvan-Lopez E.  2012.  Evolving Radial Basis Function Networks via GP for Estimating Fitness Values using Surrogate Models. WCCI 2012: World Congress On Computational IntelligenceWCCI 2012: World Congress On Computational Intelligence.

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).

Capiluppi A, Stol K-J, Boldyreff C.  2012.  Exploring the Role of Commercial Stakeholders in Open Source Software Evolution. 8th International Conference on Open Source Systems8th International Conference on Open Source Systems.

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.

Djahel S, Zhang Z, Na{\"ıt-Abdesselam F, Murphy J.  2012.  Fast and Efficient Countermeasure for MAC Layer Misbehavior in MANETs. IEEE Wireless Communications Letters. 1

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).

McHugh F, Acton T.  2012.  First Steps in Innovative Tool Support for Decision Making in Agile Software Development. International Journal of Innovations in Business. 1

Asplund M, Manzoor A, Bouroche M, Clarke S, Cahill V.  2012.  A Formal Approach to Autonomous Vehicle Coordination. 18th International Symposium on Formal Methods (FM)18th International Symposium on Formal Methods (FM).

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

Popescu R, Staikopoulos A, Liu P, Brogi A, Clarke S.  2012.  A Formalised, Taxonomy-Driven Approach to Cross-Layer Application Adaptation. ACM Transactions on Autonomous and Adaptive System. 7

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

Dorling A, McCaffery F.  2012.  The Gameification of SPICE. 12th International Conference on Software Process Improvement and Capability dEtermination (SPICE 2012)12th International Conference on Software Process Improvement and Capability dEtermination (SPICE 2012).