Fitzgerald J, Larsen PGorm, Margaria T, Woodcock J, Gomes C.  2022.  Engineering of Digital Twins for Cyber-Physical Systems. Leveraging Applications of Formal Methods, Verification and Validation. Practice.

Schieweck A, Murphy R, Khan R, Breathnach C, Margaria T.  2022.  Evolution of the Historian Data Entry Application: Supporting Transcribathons in the Digital Humanities through MDD. 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC).

Smyth S, Petzold J, Schürmann J, Karbus F, Margaria T, von Hanxleden R, Steffen B.  2022.  Executable Documentation: Test-First in Action. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering.

Smyth S, Petzold J, Schürmann J, Karbus F, Margaria T, von Hanxleden R, Steffen B.  2022.  Executable Documentation: Test-First in Action. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering.

Smyth S, Petzold J, Schürmann J, Karbus F, Margaria T, von Hanxleden R, Steffen B.  2022.  Executable Documentation: Test-First in Action. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering.

Smyth S, Petzold J, Schürmann J, Karbus F, Margaria T, von Hanxleden R, Steffen B.  2022.  Executable Documentation: Test-First in Action. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering.

Owens E, Sheehan B, Mullins M, Cunneen M, Ressel J, Castignani G.  2022.  Explainable Artificial Intelligence (XAI) in Insurance. Risks. 10:230.

Nolan A, Strickland B, Quinn A, Gallagher K, Yilmaz M, Clarke P.  2022.  Exploring Aspects of Agile Software Development Risk – Results from a MLR. :486-502.

Sullivan B, McDonagh C, Connolly C, Glenn M, Roche M.  2022.  Exploring trans-generational and trans-institutional learning: educational action research possibilities in a virtual environment. Irish Educational Studies. :1-19.

Ramachandran S, Horgan J, Sistu G, McDonald J.  2022.  Fast and Efficient Scene Categorization for Autonomous Driving using VAEs . Irish Machine Vision and Image Processing Conference.

Cheke R, Sistu G, Eising C, Ven P, Kumar VRavi, Yogamani S.  2022.  FisheyePixPro: Self-supervised Pretraining using Fisheye Images for Semantic Segmentation.

Provan G, Quiñones-Grueiro M, Sohège Y.  2022.  Generating Minimal Controller Sets for Mixing MMAC. 2022 IEEE 61st Conference on Decision and Control (CDC).

Wolf P, Frederiksen MHarbo, Wilhøft A, Cormican K, Kunz C, Cakir ÖAndic, Sarsar F, Ulus HEkrem, van Leeuwen M.  2022.  Higher education engineering educator's perspectives on challenges and upskilling needs in teaching creativity online. CINet conference proceedings.

Javeed K, Saeed K, Gregg D.  2022.  High‐speed parallel reconfigurable F p multipliers for elliptic curve cryptography applications. International Journal of Circuit Theory and Applications. 50

Rauf I, Lopez T, Sharp H, Petre M, Tun T, Levine M, Towse J, van der Linden D, Rashid A, Nuseibeh B.  2022.  Influences of Developers' Perspectives on Their Engagement with Security in Code. Proceedings of the 15th International Conference on Cooperative and Human Aspects of Software Engineering.

Turab M, Kumar T, Bendechache M, Saber T.  2022.  Investigating Multi-Feature Selection and Ensembling for Audio Classification.

Saadi S, Sarshar N, Sadeghi S, Ranjbarzadeh R, Kooshki M, Bendechache M.  2022.  Investigation of Effectiveness of Shuffled Frog-Leaping Optimizer in Training a Convolution Neural Network. Journal of Healthcare Engineering. 2022:1-11.

Saadi S, Sarshar N, Sadeghi S, Ranjbarzadeh R, Kooshki M, Bendechache M.  2022.  Investigation of Effectiveness of Shuffled Frog-Leaping Optimizer in Training a Convolution Neural Network. Journal of Healthcare Engineering. 2022:1-11.

Saadi S, Sarshar N, Sadeghi S, Ranjbarzadeh R, Kooshki M, Bendechache M.  2022.  Investigation of Effectiveness of Shuffled Frog-Leaping Optimizer in Training a Convolution Neural Network. Journal of Healthcare Engineering. 2022:1-11.

Steffen B, Margaria T.  2022.  Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Lecture Notes in Computer Science.

Stuart A, Katz D, Stevenson C, Gooch D, Harkin L, Bennasar M, Sanderson L, Liddle J, Bennaceur A, Levine M et al..  2022.  Loneliness in older people and COVID-19: Applying the social identity approach to digital intervention design. Computers in Human Behavior Reports. 6:100179.

Stuart A, Katz D, Stevenson C, Gooch D, Harkin L, Bennasar M, Sanderson L, Liddle J, Bennaceur A, Levine M et al..  2022.  Loneliness in older people and COVID-19: Applying the social identity approach to digital intervention design. Computers in Human Behavior Reports. 6:100179.

Stuart A, Katz D, Stevenson C, Gooch D, Harkin L, Bennasar M, Sanderson L, Liddle J, Bennaceur A, Levine M et al..  2022.  Loneliness in older people and COVID-19: Applying the social identity approach to digital intervention design. Computers in Human Behavior Reports. 6:100179.

Chaudhary HAhmad Awai, Guevara I, John J, Singh A, Margaria T, Pesch D.  2022.  Low-Code Internet of Things Application Development for Edge Analytics. Internet of Things. IoT through a Multi-disciplinary Perspective.

Chaudhary HAhmad Awai, Guevara I, John J, Singh A, Margaria T, Pesch D.  2022.  Low-Code Internet of Things Application Development for Edge Analytics. Internet of Things. IoT through a Multi-disciplinary Perspective.