Specification of State and Time Constraints for Runtime Verification of Functions. - Joshua Heneage Dawes; Giles Reger (CoRR, 2018)

Explaining Violations of Properties in Control-Flow Temporal Logic. - Joshua Heneage Dawes; Giles Reger (RV, 2019)

Specification of temporal properties of functions for runtime verification. - Joshua Heneage Dawes; Giles Reger (SAC, 2019)

VyPR2: A Framework for Runtime Verification of Python Web Services. - Joshua Heneage Dawes; Giles Reger; Giovanni Franzoni; Andreas Pfeiffer; Giacomo Govi (TACAS (2), 2019)

PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. - Omar Javed; Joshua Heneage Dawes; Marta Han; Giovanni Franzoni; Andreas Pfeiffer; Giles Reger; Walter Binder (ASE, 2020)

Analysing the Performance of Python-Based Web Services with the VyPR Framework. - Joshua Heneage Dawes; Marta Han; Omar Javed; Giles Reger; Giovanni Franzoni; Andreas Pfeiffer (RV, 2020)

Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. - Joshua Heneage Dawes; Domenico Bianculli (RV, 2021)

Towards automated performance analysis of programs by runtime verification - Joshua Heneage Dawes (2021)

Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. - Joshua Heneage Dawes; Domenico Bianculli (FACS, 2022)

Towards Log Slicing. - Joshua Heneage Dawes; Donghwan Shin 001; Domenico Bianculli (FASE, 2023)

Systematic Evaluation of Deep Learning Models for Failure Prediction. - Fatemeh Hadadi; Joshua Heneage Dawes; Donghwan Shin 001; Domenico Bianculli; Lionel C. Briand (CoRR, 2023)

Diagnosing Violations of Time-based Properties Captured in iCFTL. - Cristina Stratan; Joshua Heneage Dawes; Domenico Bianculli (FormaliSE@ICSE, 2024)

Checking Complex Source Code-Level Constraints using Runtime Verification. - Joshua Heneage Dawes; Domenico Bianculli (SIGSOFT FSE Companion, 2024)

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction. - Fatemeh Hadadi; Joshua Heneage Dawes; Donghwan Shin 001; Domenico Bianculli; Lionel C. Briand (Empir. Softw. Eng., 2024)