Joshua Heneage Dawes

According to our database, Joshua Heneage Dawes authored at least 14 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction.

Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand

Empir. Softw. Eng., September, 2024

Checking Complex Source Code-Level Constraints using Runtime Verification.

Joshua Heneage Dawes, Domenico Bianculli

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Diagnosing Violations of Time-based Properties Captured in iCFTL.

Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

Systematic Evaluation of Deep Learning Models for Failure Prediction.

Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand

CoRR, 2023

Towards Log Slicing.

Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components.

Joshua Heneage Dawes, Domenico Bianculli

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021

Towards automated performance analysis of programs by runtime verification

Joshua Heneage Dawes

PhD thesis, 2021

Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs.

Joshua Heneage Dawes, Domenico Bianculli

Proceedings of the Runtime Verification - 21st International Conference, 2021

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

Proceedings of the Runtime Verification - 20th International Conference, 2020

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

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

VyPR2: A Framework for Runtime Verification of Python Web Services.

Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Specification of temporal properties of functions for runtime verification.

Joshua Heneage Dawes, Giles Reger

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Explaining Violations of Properties in Control-Flow Temporal Logic.

Joshua Heneage Dawes, Giles Reger

Proceedings of the Runtime Verification - 19th International Conference, 2019

2018

Specification of State and Time Constraints for Runtime Verification of Functions.

Joshua Heneage Dawes, Giles Reger

CoRR, 2018