Hennessy M.  2017.  A coinductive equational characterisation of trace inclusion for regular processes . Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.

Horcas J-M, Monteil J, Bouroche M, Pinto M, Fuentes L, Clarke S.  2017.  Context‐dependent reconfiguration of autonomous vehicles in mixed traffic. Journal of Software: Evolution and Process. 30

Koutavas V, Gazda M, Hennessy M.  2017.  Distinguishing between Communicating Transactions. CoRR. abs/1703.03256

Koutavas V, Gazda M, Hennessy M.  2017.  Distinguishing between communicating transactions. Information and Computation.

Fitzgerald B, Hogan D, Ryan C, Sullivan J.  2017.  Endurance prediction and error Reduction in NAND flash using machine learning. 17th Non-Volatile Memory Technology Symposium (NVMTS).

Stone V, Führ M, Feindt PH, Bouwmeester H, Linkov I, Sabella S, Murphy F, Bizer K, Tran L, Ågerstrand M et al..  2017.  The Essential Elements of a Risk Governance Framework for Current and Future Nanotechnologies. Risk Analysis. :n/a–n/a.

Yadav P, Hassan Uul, Hasan S, Curry E.  2017.  The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems.

Yadav P, Hassan Uul, Hasan S, Curry E.  2017.  The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems.

Holohan N, Leith DJ, Mason O..  2017.  Extreme points of the local differential privacy polytope. Linear Algebra and its Applications. 534

Hamilton G.  2017.  Generating Loop Invariants for Program Verification by Transformation. Electronic Proceedings in Theoretical Computer Science. 253:36-53.

Hamilton G.  2017.  Generating Loop Invariants for Program Verification by Transformation. Proceedings of the Fifth International Workshop on Verification and Program Transformation .

Kesavulu M, Bezbradica M, Helfert M.  2017.  Generic Refactoring Methodology for Cloud Migration. 7th International Conference on Cloud Computing and Services Science7th International Conference on Cloud Computing and Services Science.

Forstenlechner S, Fagan D, Nicolau M, O'Neill M.  2017.  A Grammar Design Pattern for Arbitrary Program Synthesis Problems in Genetic Programming. Genetic Programming.

Zaarour T, Pavlopoulou N, Hasan S, Hassan Uul, Curry E.  2017.  Grand Challenge: Automatic Anomaly Detection over Sliding Window. 11th ACM International Conference on Distributed and Event-Based Systems .

Zaarour T, Pavlopoulou N, Hasan S, Hassan Uul, Curry E.  2017.  Grand Challenge: Automatic Anomaly Detection over Sliding Window. 11th ACM International Conference on Distributed and Event-Based Systems .

Kuhrmann M, Diebold P, Münch J, Tell P, Garousi V, Felderer M, Trektere K, McCaffery F, Linssen O, Hanser E et al..  2017.  Hybrid Software and System Development in Practice: Waterfall, Scrum, and Beyond. Proceedings of the 2017 International Conference on Software and System Process.

Petkov P, Helfert M.  2017.  Identifying Emerging Challenges for ICT industry in Ireland: Multiple Case Study Analysis of Data Privacy Breaches. AMCIS 2017.

Murphy F, Mullins M, Hester K, Gelwick A, Scott-Fordsmand J.J, Maynard T.  2017.  Insuring nanotech requires effective risk communication. Nature Nanotechnology.

Pourzolfaghar Z, Helfert M.  2017.  Integration of Buildings Information with Live Data from IoT Devices. Connected Environments for the Internet of Things: Challenges and Solutions. :169–185.

Price BA, Stuart A, Calikli G, Mccormick C, Mehta V, Hutton L, Bandara AK, Levine M, Nuseibeh B.  2017.  Logging You, Logging Me: A Replicable Study of Privacy and Sharing Behaviour in Groups of Visual Lifeloggers. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.. 1:22:1–22:18.

Knutas A, Pourzolfaghar Z, Helfert M.  2017.  A Meta-Level Design Science Process for Integrating Stakeholder Needs - Demonstrated for Smart City Services. Proceedings of the International Conference on Computer-Human Interaction Research and Applications.

Ghadimi P, Toosi FGhassemi, Heavey C.  2017.  A multi-agent systems approach for sustainable supplier selection and order allocation in a partnership supply chain. European Journal of Operational Research.

Knodel J, Buckley J, Herold S.  2017.  The Need for an Open Corpus of Software Architecture Descriptions.

Knodel J, Buckley J, Herold S.  2017.  The Need for an Open Corpus of Software Architecture Descriptions .

Herrmann A, Liu M, Shorten R.  2017.  A New Take on Protecting Cyclists in Smart Cities.