Joshua Heneage Dawes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2019–2023
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FASE | Towards Log Slicing. | Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli |
| 2021 | RV | Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. | Joshua Heneage Dawes, Domenico Bianculli |
| 2020 | RV | 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 |
| 2019 | SAC | Specification of temporal properties of functions for runtime verification. | Joshua Heneage Dawes, Giles Reger |
| 2019 | RV | Explaining Violations of Properties in Control-Flow Temporal Logic. | Joshua Heneage Dawes, Giles Reger |
| 2019 | TACAS | VyPR2: A Framework for Runtime Verification of Python Web Services. | Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi |