Searching for authors named "Theocharis Tsigkritis" – sorted by Relevance.
2 documents found, showing 1 through 2.
-
A Temporal Abductive Diagnostic Process for Runtime Properties Violations
- …Abstract. Monitoring the operation of complex software systems at runtime can detect violations of certain properties of interest but cannot always provide diagnostic information which is significant for understanding the cause of the violation and the adoption of appropriate countermeasures against…
- Add To MetaCart
-
Towards a Framework for Dynamic Verification of Peer-to-Peer Systems
- …Ensuring dependability and security of Peer-to-Peer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterizes such systems. Dynamic verification provides the means of monitoring aspects of peer behaviour at runtime and the capac…
- Add To MetaCart
Showing 1 through 2.
