Hajebi S, Song H, Barrett S, Clarke A, Clarke S.  2013.  Towards a Reference Model for Water Smart Grid. International Journal of Advances in Engineering, Science and Technology (IJAEST). 2(3)

Butterfield A, Sanan D, Hinchey M.  2013.  Towards Formal Verification of a Separation Microkernel. DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference.

Buda TSandra, O’Sullivan P, Nowak D, Murphy L, Murphy J.  2013.  Towards Realistic Data Population of a Testing Environment. Short paper in the 11th Information Technology &Telecommunications Conference (IT&T 2012)Short paper in the 11th Information Technology &Telecommunications Conference (IT&T 2012).

Buda TSandra, Murphy J, Kristiansen M..  2013.  Towards Realistic Sampling: Generating Dependencies in a Relational Database. ACM ICUIMC’13ACM ICUIMC’13.

Portillo-Rodríguez J, Beecham S, Vizcaíno A., Piattini M..  2013.  Using Agents to Manage Socio-Technical Congruence in a Global Software Engineering Project. Journal of Information Science.

Deshpande S, Beecham S, Richardson I.  2013.  Using the PMBOK® Guide to frame GSD Coordination Strategies. IEEE International Conference on Global Software Engineering ICGSEIEEE International Conference on Global Software Engineering ICGSE.

Buda TSandra, Cerqueus T, Murphy J, Kristiansen M.  2013.  VFDS: Very Fast Database Sampling System. the 14th IEEE Internation Conference on Information Reuse and Integrationthe 14th IEEE Internation Conference on Information Reuse and Integration.

Thiel S, Cawley C, Botterweck G.  2013.  Visualizing Software Variability. Systems and Software Variability ManagementSystems and Software Variability Management.

Beecham S, O'Leary P, Baker S., Richardson I, Noll J..  2013.  Who are we doing Global Software Development research for? 8th IEEE International Conference on Global Software Engineering (ICGSE '13)8th IEEE International Conference on Global Software Engineering (ICGSE '13).

Beecham S, O'Leary P, Baker S., Richardson I, Noll J..  2013.  Who are we doing Global Software Development research for? 8th IEEE International Conference on Global Software Engineering (ICGSE '13)8th IEEE International Conference on Global Software Engineering (ICGSE '13).

Salifu M., Yu Y, Bandara AK, Nuseibeh B.  2012.  Analysing Monitoring and Switching Problems for Adaptive Systems. Journal of Systems and Software. 85

Pleuss A, Hauptmann B, Keunecke M, Botterweck G.  2012.  A Case Study on Variability in User Interfaces. 16th International Software Product Line Conference (SPLC 2012)16th International Software Product Line Conference (SPLC 2012).

Ali N, Rosik J, Buckley J.  2012.  Characterizing Real-Time Reflexion-based Architecture Recovery in Practice. 8th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2012)8th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2012).

Reid L, O’Connor S, Richardson I, Hogan J, O’Donnoghue T, Philip R, Burke G.  2012.  Clinical Information Success in a Maternity Hospital. Irish Congress of Obstetrics, Gynaecology and Perinatal MedicineIrish Congress of Obstetrics, Gynaecology and Perinatal Medicine.

Belov A., Janota M, Lynce I, Marques-Silva J.  2012.  On Computing Minimal Equivalent Subformulas. 18th International Conference on Principles and Practice of Constraint Programming (CP 2012)18th International Conference on Principles and Practice of Constraint Programming (CP 2012).

English M, Cahill T, Buckley J.  2012.  Construct Specific Coupling Measurement for C++ Software. Computer Languages, Systems and Structures.

Beecham S, Carroll N, Noll J..  2012.  A Decision Support System for Global Team Management: Expert Evaluation REMIDI. International Workshop on Tool Support Development and Management in Distributed Software Projects co-located with 7th IEEE International Conference on Global Software Engineering (ICGSE 2012).

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

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

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.

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

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

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

Brahmi IHoriya, Djahel S, Ghamri-Doudane Y.  2012.  A Hidden Markov Model based Scheme for Efficient and Fast Dissemination of Safety Messages in VANETs. IEEE Globecom 2012IEEE Globecom 2012.