Tal I, Muntean G-M.  2015.  Vehicular Communications-based Speed Advisory System for Electric Bicycles. IEEE Transactions on Vehicular Technology..

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

[Anonymous].  2015.  VFDS: An Application to Generate Fast Sample Databases. ACM International Conference on Information and Knowledge ManagementACM International Conference on Information and Knowledge Management.

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

Beecham S, Noll J..  2015.  What Motivates Software Engineers Working in Global Software Development? Product-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, ProceedingsProduct-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4.

Savolainen P, Jarmo A, Richardson I.  2015.  When did your project start? - Software supplier's perspective Journal of Systems and Software. 104

Michlmayr M, Fitzgerald B, Stol K-J.  2015.  Why and How Should Open Source Projects Adopt Time-Based Releases? IEEE Software. 32(2)

Nhlabatsi A, Tun T, Khan N, Yu Y, Bandara A, Khan K, Nuseibeh B.  2015.  “Why can’t I do that?”: Tracing Adaptive Security Decisions EAI Endorsed Transactions on Self-Adaptive Systems. 1:e2.

Nhlabatsi A, Tun T, Khan N, Yu Y, Bandara AK, Khan KM, Nuseibeh B.  2015.  ?Why can?t I do that??: tracing adaptive security decisions. EAI Endorsed Transactions on Self-Adaptive Systems. 1

Richards D, Murphy T, Viganò N, Timulak L, Doherty G, Sharry J, Hayes C.  2016.  Acceptability, satisfaction and perceived efficacy of “Space from Depression” an internet-delivered treatment for depression. Internet Interventions. 5

Pasquale L, Hanvey S, Mcgloin M, Nuseibeh B.  2016.  Adaptive evidence collection in the cloud using attack scenarios. Adaptive evidence collection in the cloud using attack scenarios.

McCaffery F, Trektere K, Ozcan-Top O.  2016.  Agile – Is it Suitable for Medical Device Software Development? Software Process Improvement and Capability Determination: 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, ProceedingsSoftware Process Improvement and Capability Determination: 16th International Conference, SPICE 2016, Dublin.

McCaffery F, Lepmets M, Trektere K.  2016.  Agile Medical Device Software Development: Introducing Agile Practices into MDevSPICE. International Journal on Advances in Life Sciences.

Noll J., Razzak A, Richardson I, Beecham S.  2016.  Agile Practices for the Global Teaming Model. 2016 IEEE 11th International Conference on Global Software Engineering Workshops (ICGSEW).

Nallur V, O'Toole E, Cardozo N, Clarke S.  2016.  Algorithm Diversity: A Mechanism for Distributive Justice in a Socio-Technical MAS. Proceedings of the 2016 International Conference on Autonomous Agents &\#38; Multiagent Systems.

Carroll N, Richardson I.  2016.  Aligning Healthcare Innovation and Software Requirements Through Design Thinking. Proceedings of the International Workshop on Software Engineering in Healthcare Systems.

Hasrouty CAl, Autefage V, Olariu C, Magoni D, Murphy J.  2016.  Arbres de diffusion pour sessions MVoIP avec flux hétérogènes. ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications.

Yu Y, Franqueira VNL, Tun TThan, Wieringa R, Nuseibeh B.  2016.  Automated analysis of security requirements through risk-based argumentation. Journal of Systems and Software. 106

Ayala-Rivera V, Murphy L, Thorpe C.  2016.  Automatic Construction of Generalization Hierarchies for Publishing Anonymized Data. Knowledge Science, Engineering and Management: 9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, ProceedingsKnowledge Science, Engineering and Management: 9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 20.

Abdullah S, Matthews M, Frank E, Doherty G, Gay G, Choudhury T.  2016.  Automatic detection of social rhythms in Bipolar Disorder. Journal of the American Medical Informatics Association.

Chennupati G., Azad R.MA, Ryan C.  2016.  Automatic lock-free parallel programming on multi-core processors. 2016 IEEE Congress on Evolutionary Computation (CEC).

Al-Alreqi S, Lamprecht A-L, Margaria T.  2016.  Automatic Workflow Composition in the Geospatial Domain: An Application on Sea-Level Rise Impacts Analysis. 19th AGILE International Conference on Geographic Information Science19th AGILE International Conference on Geographic Information Science.

Chen S., Yuan Z., Muntean G-M.  2016.  Balancing Energy and Quality-awareness: A MAC-Layer Duty-Cycle Management Solution for Multimedia Delivery over Wireless Mesh Networks. IEEE Transactions on Vehicular Technology. PP