Skip to Main content Skip to Navigation
Conference papers

THEMIS: A Tool for Decentralized Monitoring Algorithms

Abstract : THEMIS is a tool to facilitate the design, development, and analysis of decentralized monitoring algorithms; developed using Java and AspectJ. It consists of a library and command-line tools. THEMIS provides an API, data structures and measures for decentralized monitoring. These building blocks can be reused or extended to modify existing algorithms, design new more intricate algorithms, and elaborate new approaches to assess existing algorithms. We illustrate the usage of THEMIS by comparing two variants of a monitoring algorithm.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01653727
Contributor : Antoine El-Hokayem <>
Submitted on : Friday, December 1, 2017 - 6:15:57 PM
Last modification on : Wednesday, August 5, 2020 - 3:25:43 AM

File

themis-demo.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Antoine El-Hokayem, Yliès Falcone. THEMIS: A Tool for Decentralized Monitoring Algorithms. ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩. ⟨hal-01653727⟩

Share

Metrics

Record views

772

Files downloads

435