Publications

Hamilton G.  2016.  Generating Counterexamples for Model Checking by Transformation. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.

Noll J., Beecham S, Richardson I, Canna C.N.  2016.  A Global Teaming Model for Global Software Development Governance: A Case Study. 2016 IEEE 11th International Conference on Global Software Engineering (ICGSE).

Golpayegani F, Clarke S.  2016.  Goal-based Multi-agent Collaboration Community Formation: A Conceptual Model. IJCAI 2016.

Chen N., Cardozo N., Clarke S.  2016.  Goal-Driven Service Composition in Mobile and Pervasive Computing. IEEE Transactions on Services Computing. PP

Dennehy D, Conboy K.  2016.  Going with the flow: An activity theory analysis of flow techniques in software development. Journal of Systems and Software.

Lindvall M, Becker M, Tenev V, Duszynski S, Hinchey M.  2016.  Good Change and Bad Change: an Analysis Perspective on Software Evolution. Transactions on Foundations for Managing Change.

Lindvall M, Becker M, Tenev V, Duszynski S, Hinchey M.  2016.  Good Change and Bad Change: An Analysis Perspective on Software Evolution. Transactions on Foundations for Mastering Change ITransactions on Foundations for Mastering Change I.

Kattan A, Agapitos A, Ong Y-S, Alghamedi AA, O'Neill M.  2016.  \{GP\} made faster with semantic surrogate modelling. Information Sciences. 355–356

Provan G.  2016.  A graphical framework for stochastic model-based diagnosis. 2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol).

Stol K-J, Paul R, Fitzgerald B.  2016.  Grounded Theory in Software Engineering Research: A Critical Review and Guidelines. 2016 IEEE/ACM 38th International Conference on Software Engineering .

Woodcock J, Foster S, Butterfield A.  2016.  Heterogeneous Semantics and Unifying Theories. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}.

Azizi S., Quinn A..  2016.  Hierarchical Fully Probabilistic Design for Deliberator-Based Merging in Multiple Participant Systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems. PP

Krafft MF, Stol K-J, Fitzgerald B.  2016.  How Do Free/Open Source Developers Pick Their Tools?: A Delphi Study of the Debian Project Proceedings of the 38th International Conference on Software Engineering Companion.

O’Sullivan P, Connolly A, Carroll N, Richardson I.  2016.  IBM's Smarter Care: Challenges and Strategies. Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering.

Thorpe C, Hava A, Langlois J, Dumas A, Olariu C.  2016.  iMOS: Enabling VoIP QoS Monitoring at Intermediate Nodes in an OpenFlow SDN.

Mora M, O'Connor R.V, Rainsinghani M, Gelman O.  2016.  Impacts of electronic process guides by types of user: An experimental study. International Journal of Information Management. 36(1)

Mora M, O'Connor R.V, Rainsinghani M, Gelman O.  2016.  Impacts of electronic process guides by types of user: An experimental study. International Journal of Information Management. 36

Laporte CY, O'Connor R.V, Paucar LHernán Ga.  2016.  The Implementation of ISO/IEC 29110 Software Engineering Standards and Guides in Very Small Entities. Evaluation of Novel Approaches to Software Engineering: 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected PapersEvaluation of Novel Approaches to Software Engineering: 10th International Conference, ENASE 201.

Cao VLoi, Le-Khac N-A, O'Neill M, Nicolau M, McDermott J.  2016.  Improving Fitness Functions in Genetic Programming for Classification on Unbalanced Credit Card Data. Applications of Evolutionary Computation: 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 – April 1, 2016, Proceedings, Part IApplications of Evolutionary Computation: 19th European Conference, EvoApplications 2016, Porto, Port.

Glisson W, Storer T, Grispos G.  2016.  In the wild residual data research and privacy.

Brandt T, Donnellan B, Ketter W, Watson RT.  2016.  Information Systems and Smarter Cities: Towards an Integrative Framework and a Research Agenda for the Discipline.

Vassev E, Hinchey M.  2016.  Integration and Promotion of Autonomy with the ARE Framework. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.

Stol K-J, Goedicke M, Jacobson I.  2016.  Introduction to the Special Section — General Theories of Software Engineering: New advances and implications for research. Information and Software Technology.

Helfert M, Pourzolfaghar Z.  2016.  Investigating HCI challenges for Designing Smart Environments. HCI International ConferenceHCI International Conference.

Demissie S, Keenan F, McCaffery F.  2016.  Investigating the Suitability of Using Agile for Medical Embedded 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.