Paper A taxonomy for classifying runtime verification tools has been accepted for publication in the international journal on Software Tools for Technology Transfer, a Springer journal. The abstract of the paper is below: Over the last 20 years, runtime verification (RV) has grown into a diverse and active field, which has stimulated the development of […]
Category: papers
BISM: Bytecode-Level Instrumentation for Software Monitoring
The paper entitled “BISM: Bytecode-Level Instrumentation for Software Monitoring” has been accepted for publication in the proceedings of RV’20, the 20TH international conference on Runtime Verification. The abstract of the paper is below: BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight Java bytecode instrumentation tool which features an expressive high-level control-flow-aware instrumentation language. The language […]
From Global Choreographies to Verifiable Efficient Distributed Implementations
Paper From Global Choreographies to Veri able Efficient Distributed Implementations has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming. The abstract of the paper is below. We define a method to automatically synthesize efficient distributed implementations from high-level global choreographies. A global choreography describes the execution and communication logic between a set […]
Runtime enforcement of timed properties using games
The paper Runtime enforcement of timed properties using games has been accepted for publication in Format Aspect of Computing. The abstract of the paper is below. This paper deals with runtime enforcement of timed properties with uncontrollable events. Runtime enforcement consists in defining and using an enforcement mechanism that modifies the executions of a running system […]
A survey of challenges for runtime verification from advanced application domains (beyond software)
The paper A survey of challenges for runtime verification from advanced application domains (beyond software) has been published in Formal Methods in System Design, a Springer journal. The paper can be downloaded by following this link. This is joint work with César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Adrian Francalanza, […]
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
The paper On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation has been accepted for publication in TOSEM, the ACM Transactions on Software Engineering and Methodology. We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of […]
Detecting Fault Injection Attacks with Runtime Verification
The paper Detecting Fault Injection Attacks with Runtime Verification has been accepted for publication in SPRO’19, the 3rd International Workshop on Software PROtection, which will be held on 15 Nov 2019, in conjunction with CCS’19. The abstract is below: Fault injections are increasingly used to attack/test secure applications. In this paper, we define formal models […]
On the Runtime Enforcement of Timed Properties
The tutorial paper On the Runtime Enforcement of Timed Properties has been accepted for publication in Runtime Verification 2019. Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior of systems at runtime. We are interested in such behaviors described by specifications that feature timing constraints formalized in what is generally referred […]
Tracing Distributed Component-Based Systems, a Brief Overview
The paper Tracing Distributed Component-Based Systems, a Brief Overview has been accepted for publication in the Proceedings of the 18th International Conference on Runtime Verification. The abstract of the paper is below: We overview a framework for tracing asynchronous distributed component-based systems with multiparty interactions managed by distributed schedulers. Neither the global state nor the total ordering […]
A Taxonomy for Classifying Runtime Verification Tools
The paper A Taxonomy for Classifying Runtime Verification Tools has been accepted for publication in the Proceedings of 18th International Conference on Runtime Verification. Below is the abstract of the paper: Over the last 15 years Runtime Verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical frameworks […]