Joshua Heneage Dawes

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