Cinnéide MÓ, Hickey S.  2015.  Search-Based Refactoring for Layered Architecture Repair: An Initial Investigation. Proceedings of the North American Search Based Software Engineering Symposium (NasBASE)Proceedings of the North American Search Based Software Engineering Symposium (NasBASE).

Carroll N, Helfert M.  2015.  Service capabilities within open innovation: Revisiting the applicability of capability maturity models. Journal of Enterprise Information Management. 28

Abeywickrama DB, Combaz J, Horky V, Keznik J, Kofron J,, Loreti M, Margheri A, Mayer P, Monreale V et al..  2015.  Tools for Ensemble Design and Runtime. Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Lecture Notes in Computer ScienceSoftware Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Lecture Notes in Computer Science.

Butterfield A, Hinchey M.  2015.  Towards the adoption of formal techniques for kernel qualification. European Space Agency, (Special Publication) ESA SP. SP-732

Sanán D, Yang L, Yongwang Z, Zhenchang x, Hinchey M.  2015.  Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).

Hamilton G.  2015.  Verifying Temporal Properties of Reactive Systems by Transformation. Third International Workshop on Verification and Program Transformation.

Hamilton G.  2015.  Verifying Temporal Properties of Reactive Systems by Transformation. Electronic Proceedings of Theoretical Computer Science. 99

Hajebi S, Roshani E, Cardozo N, Clarke A, Clarke S.  2015.  Water Distribution Network Sectorisation Using Graph Theory & Many-Objective Optimisation. Journal of Hydroinformatics.

Campos JCreissac, Doherty G, Harrison MD.  2014.  Analysing interactive devices based on information resource constraints. International Journal of Human-Computer Studies.

Hegarty F, MacMahon STogneri, Byrne P, McCaffery F.  2014.  Assessing a hospital's medical IT network risk management practice with 80001-1. Biomedical instrumentation & technology / Association for the Advancement of Medical Instrumentation.

Han Y, Magoni D, McDonagh P, Murphy L.  2014.  Determination of Bit-Rate Adaptation Thresholds for the Opus Codec for VoIP Services. ISCC 2014, THE NINETEENTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONSISCC 2014, THE NINETEENTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS.

Cahill V, Clarke S, Doolan R, Dusparic I, Harris C, Marinescu A.  2014.  A distributed agent based mechanism for shaping of aggregate demand on the smart grid.

Marinescu A, Harris C, Dusparic I, Cahill V, Clarke S.  2014.  A Hybrid Approach to Very Small Scale Electrical Demand Forecasting. IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT)IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT).

Hugh MMc, McCaffery F, MacMahon STogneri, Finnegan A.  2014.  Improving Safety in Medical Devices - From Concept to Retirement. Handbook of Medical and Healthcare TechnologiesHandbook of Medical and Healthcare Technologies.

Höst M, Stol K-J, Oručević-Alagić A.  2014.  Inner Source Project Management. Software Project Management in a Changing WorldSoftware Project Management in a Changing World.

Han Y, Muntean G-M.  2014.  No Reference Objective Quality Metric for Stereoscopic 3D. BMSB 2014 : The IEEE International Symposium on Broadband Multimedia Systems and BroadcastingBMSB 2014 : The IEEE International Symposium on Broadband Multimedia Systems and Broadcasting.

Xu S, Gregg D.  2014.  Semi-automatic Composition of Data Layout Transformations for Loop Vectorization. Network and Parallel Computing: 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014. ProceedingsNetwork and Parallel Computing: 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014.

Harris C, Dusparic I, Galvan E, Marinescu A, Cahill V, Clarke S.  2014.  Set point control for charging of electric vehicles on the distribution network. IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT)IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT).

Mair M, Herold S, Rausch A.  2014.  Towards flexible automated software architecture erosion diagnosis and treatment. Working IEEE/IFIP Conference on Software Architecture (WICSA) 2014.Working IEEE/IFIP Conference on Software Architecture (WICSA) 2014..

Carroll N, Helfert M, Lynn T.  2014.  Towards the Development of a Cloud Service Capability Assessment Framework. Continued Rise of the Cloud: Advances and Trends in Cloud ComputingContinued Rise of the Cloud: Advances and Trends in Cloud Computing.

Han Y, Fitzpatrick J, Murphy L, Dunne J.  2013.  Accuracy Analysis on Call Quality Assessments in Voice over IP. the 6th Joint IFIP Wireless and Mobile Networking Conference (WMNC’2013)the 6th Joint IFIP Wireless and Mobile Networking Conference (WMNC’2013).

Hugh MMc, Cawley O, McCaffery F, Richardson I, Wang X.  2013.  An Agile V-Model for Medical Device Software Development to overcome the challenges with Plan-Driven Software Development Lifecycles. the 5th International Workshop on Software Engineering in Health Care co-located with ICSE 2013.

Vassev E, Hinchey M.  2013.  The ASSL Formalism for Real-Time Autonomic Systems. Self-Organization in Embedded Real-Time SystemsSelf-Organization in Embedded Real-Time Systems.

Vassev E, Hinchey M.  2013.  Autonomy Requirements Engineering. Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013)Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013).

Vassev E, Hinchey M.  2013.  Autonomy Requirements Engineering: A Case Study on the BepiColombo Mission. Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013)Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013).