Publications

Raninen A, Toroi T., Vainio H., Ahonen J..  2012.  Defect Data Analysis as Input for Software Process Improvement. Proceedings of 13th International Conference on Product-Focused Software Development and Process ImprovementProceedings of 13th International Conference on Product-Focused Software Development and Process Improvement.

Reid L, Lotter M, Burton J, Richardson I.  2012.  Designing and Implementing a Hospital Quality Assurance Program. IEEE Software. 29

Ali N, Ramos I.  2012.  Designing Mobile Aspect-Oriented Software Architectures with Ambients. The Handbook of Research on Mobile Software Engineering: Design, Implementation, and Emergent ApplicationsThe Handbook of Research on Mobile Software Engineering: Design, Implementation, and Emergent Applications.

Vassev E.  2012.  Developing Autonomic Systems with ASSL - Theory and Practice. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and VerificationFormal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification.

MacMahon STogneri, McCaffery F, Eagles S, Keenan F, Lepmets M, Renault A.  2012.  Development of a process assessment model for assessing medical IT networks against IEC 80001-1. Software Process Improvement and Capability dEtermination (SPICE)Software Process Improvement and Capability dEtermination (SPICE).

Casey V, McCaffery F.  2012.  Development of the Medi SPICE PRM. Software Process Improvement and Capability dEtermination (SPICE)Software Process Improvement and Capability dEtermination (SPICE).

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.

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