Search Results - "Dawes, Joshua Heneage" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Analysis Tools for the VyPR Performance Analysis Framework for Python

Analysis Tools for the VyPR Performance Analysis Framework for Python

by Dawes, Joshua Heneage, Han, Marta, Reger, Giles, Franzoni, Giovanni, Pfeiffer, Andreas
Published in EPJ Web of Conferences (2020)

Get full text

Journal Article Conference Proceeding

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

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

by Dawes, Joshua Heneage, Bianculli, Domenico
Published in Formal Aspects of Component Software

Get full text

Book Chapter

A Python object-oriented framework for the CMS alignment and calibration data

A Python object-oriented framework for the CMS alignment and calibration data

by Dawes, Joshua H
Published in Journal of physics. Conference series (01.10.2017)

Get full text

Journal Article

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

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

by Dawes, Joshua Heneage, Bianculli, Domenico
Published in Runtime Verification

Get full text

Book Chapter

PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects

PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects

by Javed, Omar, Dawes, Joshua Heneage, Han, Marta, Franzoni, Giovanni, Pfeiffer, Andreas, Reger, Giles, Binder, Walter
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)

Get full text

Conference Proceeding

Explaining Violations of Properties in Control-Flow Temporal Logic

Explaining Violations of Properties in Control-Flow Temporal Logic

by Dawes, Joshua Heneage, Reger, Giles
Published in Runtime Verification (2019)

Get full text

Book Chapter

Analysing the Performance of Python-Based Web Services with the VyPR Framework

Analysing the Performance of Python-Based Web Services with the VyPR Framework

by Dawes, Joshua Heneage, Han, Marta, Javed, Omar, Reger, Giles, Franzoni, Giovanni, Pfeiffer, Andreas
Published in Runtime Verification

Get full text

Book Chapter

Diagnosing Violations of Time-based Properties Captured in iCFTL

Diagnosing Violations of Time-based Properties Captured in iCFTL

by Stratan, Cristina, Dawes, Joshua Heneage, Bianculli, Domenico
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Specification of State and Time Constraints for Runtime Verification of Functions

Specification of State and Time Constraints for Runtime Verification of Functions

by Dawes, Joshua Heneage, Reger, Giles
Year of Publication 07.06.2018

Get full text

Journal Article

Specification of State and Time Constraints for Runtime Verification of Functions

Specification of State and Time Constraints for Runtime Verification of Functions

by Dawes, Joshua Heneage, Reger, Giles
Published in arXiv.org (08.06.2018)

Get full text

Paper