Giovanni B, Matthew H.  2016.  Using higher-order contracts to model session types. Logical Methods in Computer Science. 12

Butterfield A, Mjeda A, Noll J..  2016.  UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

Vizcaíno A, García F, Piattini M, Beecham S.  2016.  A validated ontology for global software development. Computer Standards & Interfaces. 46

Han Y, Lee D.-H, Choi B, Hinchey M, In H.P.  2016.  Value-driven V-model: From requirements analysis to acceptancetesting. IEICE Transactions on Information and Systems. E99D:1776-1785.

Anderson A, Gregg D.  2016.  Vectorization of Multibyte Floating Point Data Formats. Proceedings of the 2016 International Conference on Parallel Architectures and Compilation.

Tal I, Ciubotaru B., Muntean G-M.  2016.  Vehicular-Communications-Based Speed Advisory System for Electric Bicycles. IEEE Transactions on Vehicular Technology. 65

Thein T, Blaine P, Bandara AK, Yijun Y, Nuseibeh B.  2016.  Verifiable Limited Disclosure: Reporting and Handling Digital Evidence in Police Investigations. 1st International Workshop on Requirements Engineering for Investigating and Countering Crime.

Autefage V, Magoni D, Murphy J.  2016.  Virtualization Toolset for Emulating Mobile Devices and Networks. Proceedings of the International Workshop on Mobile Software Engineering and Systems.

Mehta V, Bandara AK, Price BA, Nuseibeh B.  2016.  Wearables for Physical Privacy. Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct.

Barry M, Doherty G.  2016.  What we talk about when we talk about interactivity: Empowerment in public discourse. New Media & Society.

Barry M, Doherty G.  2016.  What we talk about when we talk about interactivity: Empowerment in public discourse.

Romero B.  2016.  Women in Game Development: Breaking the Glass Level Cap. Women in Game Development: Breaking the Glass Level CapWomen in Game Development: Breaking the Glass Level Cap.

-Dominguez P, Wang M, Magoni D, Murphy J.  2015.  Adaptive GC-Aware Load Balancing Strategy for High-Assurance Java Distributed Systems. 16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015)16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015).

Hanai M, Suzumura T, Ventresque A, Shudo K.  2015.  An Adaptive VM Provisioning Method for Large-Scale Agent-based Traffic Simulations on the Cloud. CloudCom - 6th IEEE International Conference on Cloud Computing Technology and ScienceCloudCom - 6th IEEE International Conference on Cloud Computing Technology and Science.

Hanai M, Suzumura T, Ventresque A, Shudo K.  2015.  An Adaptive VM Provisioning Method for Large-Scale Agent-based Traffic Simulations on the Cloud. CloudCom 2014CloudCom 2014.

Conboy K, Gleasure R, Cullina E.  2015.  Agile Design Science Research. DESRIST 2015DESRIST 2015.

Janota M, Lynce I., Marques-Silva J.  2015.  Algorithms for computing backbones of propositional formulae. AI Communication.

Cafferkey N, Provan G.  2015.  An Analysis of Performance-critical Properties of Modelica Models. IFAC-PapersOnLine. 48:210-215.

Ionica M, Gregg D.  2015.  An analysis of the suitability of the Movidius Myriad architecture for scientific computing. Micro. 99

Ghaith S, Wang M, Perry P, Jiang ZMing, O’Sullivan P, Murphy J.  2015.  Anomaly detection in performance regression testing by transaction profile estimation. Journal of Software Testing, Verification & Reliability (STVR).

Raninen A, Merikoski H, Ahonen JJ, Beecham S.  2015.  Applying software process modeling to improve customer support processes. Journal of Software: Evolution and Process.

Azizi S., Quinn A..  2015.  Approximate Bayesian filtering using stabilized forgetting. 2015 23rd European Signal Processing Conference (EUSIPCO).

Tsigkanos C, Pasquale L, Ghezzi C, Nuseibeh B.  2015.  Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. 37th International Conference on Software Engineering (ICSE 2015)37th International Conference on Software Engineering (ICSE 2015).

Menzies T., Minku L., Peters F.  2015.  The Art and Science of Analyzing Software Data; Quantitative Methods. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

Beecham S, Noll J., Richardson I.  2015.  Assessing the Strength of Global Teaming practices: A pilot study. 10th International Conference on Global Software Engineering10th International Conference on Global Software Engineering.