Publications

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

Delaney Y, McCarthy J, Pattinson R, Beecham S.  2015.  Transitioning from traditional to problem-based learning in management education: the case of a frontline manager skills development programme. Journal of Innovations in Education and Teaching International.

Dennehy D, Sammon D.  2015.  Trends in mobile payments research: A literature review. Journal of Innovation Management. 3

Parise S, Whelan E, Todd S.  2015.  Twitter users generate better ideas. MIT Sloan Management Review.

Yilmaz M, O'Connor R.V.  2015.  Understanding Personality Differences in Software Organizations using Keirsey Temperament Sorter. Software, IET. 9(5)

O'Leary P, Carroll N, Clarke P, Richardson I.  2015.  Untangling the Complexity of Connected Health Evaluations. IEEE International Conference on Healthcare Informatics 2015 (ICHI 2015)IEEE International Conference on Healthcare Informatics 2015 (ICHI 2015).

Bi T., Yuan Z., Trestian R., Muntean G-M.  2015.  URAN: Utility-based Reputation-oriented Access Network Selection Strategy for HetNets. IEEE International Symposium on Broadband Multimedia Systems and Broadcasting (IEEE BMSB)IEEE International Symposium on Broadband Multimedia Systems and Broadcasting (IEEE BMSB).

Margaria T, Lamprecht A-L.  2015.  On the Use of XMDD in Software Development Education: Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual. 39th Annual IEEE Computer Software and Applications Conference (COMPSAC)39th Annual IEEE Computer Software and Applications Conference (COMPSAC).

da Silva IFreitas, Neto PAnselmo da, O'Leary P, de Almeida ESantana, Meira SRomero de.  2015.  Using a multi-method approach to understand Agile software product lines. Information and Software Technology. 57

Chochlov M, English M, Buckley J.  2015.  Using Changeset Descriptions as a Data Source to Assist Feature Location. 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM)2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM).

Chochlov M, English M, J B.  2015.  Using changeset descriptions as a data source to assist feature location. 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM).

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

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

Idziak P., Clarke S.  2014.  An Analysis of Decision-Making Techniques in Dynamic, Self-Adaptive Systems. 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

Kuhrmann M, Beecham S.  2014.  Artifact-based software process improvement and management: a method proposal. International Conference on Software and System Process (ICSSP 2014)International Conference on Software and System Process (ICSSP 2014).