scholar.google.com › citations
This paper contributes a static compile time analysis methodology that includes a logical layered provenance model to convert workflow provenance from black box ...
This paper contributes a static compile time analysis methodology that includes a logical layered provenance model to convert workflow provenance from black box ...
Nov 17, 2013 · This paper contributes a static compile time analysis methodology that includes a logical layered provenance model to convert workflow ...
This paper contributes a static compile time analysis methodology that includes a logical layered provenance model to convert workflow provenance from black box ...
Static compiler analysis for workflow provenance. Devarshi Ghoshal Arun Chauhan Beth Plale. Published in: WORKS@SC (2013). Keyphrases.
Devarshi Ghoshal, Arun Chauhan, Beth Plale : Static compiler analysis for workflow provenance. WORKS@SC 2013: 17-27. manage site settings.
This paper investigates whether provenance can be exploited to support reporting and describes LabelFlow, a framework comprised of four Labelling Operators ...
Slither is a Solidity & Vyper static analysis framework written in Python3. It runs a suite of vulnerability detectors, prints visual information about ...
In this work we present Workflow Run RO-Crate, an extension of RO-Crate (Research Object Crate) and Schema.org to capture the provenance of the execution of ...
Nov 30, 2023 · We show how developers and analysts could use the recovered provenance information to focus on functions modified by risky optimizations.