Joshua Heneage Dawes

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Systematic Evaluation

Temporal Properties

Mining Software Repositories

Top Venues

Publications

Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction. Empir. Softw. Eng. 29 (5) (2024)
Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli
Diagnosing Violations of Time-based Properties Captured in iCFTL. FormaliSE@ICSE (2024)
Joshua Heneage Dawes, Domenico Bianculli
Checking Complex Source Code-Level Constraints using Runtime Verification. SIGSOFT FSE Companion (2024)
Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
Systematic Evaluation of Deep Learning Models for Failure Prediction. CoRR (2023)
Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli
Towards Log Slicing. FASE (2023)
Joshua Heneage Dawes, Domenico Bianculli
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. FACS (2022)
Joshua Heneage Dawes, Domenico Bianculli
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. RV (2021)
Joshua Heneage Dawes, Marta Han, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer
Analysing the Performance of Python-Based Web Services with the VyPR Framework. RV (2020)
Omar Javed, Joshua Heneage Dawes, Marta Han, Giovanni Franzoni, Andreas Pfeiffer, Giles Reger, Walter Binder
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. ASE (2020)
Joshua Heneage Dawes, Giles Reger
Explaining Violations of Properties in Control-Flow Temporal Logic. RV (2019)
Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
VyPR2: A Framework for Runtime Verification of Python Web Services. TACAS (2) (2019)
Joshua Heneage Dawes, Giles Reger
Specification of temporal properties of functions for runtime verification. SAC (2019)
Joshua Heneage Dawes, Giles Reger
Specification of State and Time Constraints for Runtime Verification of Functions. CoRR (2018)