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 […]

Read More

Bringing Runtime Verification Home

The paper Bringing Runtime Verification Home has been accepted for publication in the Proceedings of the 18th International Conference on Runtime Verification. Below is the abstract of the paper: We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: behavioral correctness of the apartment sensors, […]

Read More

Facilitating the implementation of distributed systems with heterogeneous interactions

The paper Facilitating the implementation of distributed systems with heterogeneous interactions has been accepted for publications in the proceedings of iFM 2018, the 14th International Conference on integrated Formal Methods. iFM 2018 will be held on 5th -7th September 2018, in Maynooth University, Ireland. Below is the abstract of the paper: We introduce HDBIP an extension of the Behavior Interaction […]

Read More

Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems

The paper entitled Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems – Application to the Behavior Interaction Priority Framework has been accepted for publication in Journal of Logical and Algebraic Methods in Programming (Elsevier) The abstract of the paper is below: We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the […]

Read More

Decentralized Enforcement of Document Lifecycle Constraints

Our journal paper entitled Decentralized Enforcement of Document Lifecycle Constraints has been accepted for publication in Information Systems, an Elsevier journal. Below is an abstract of the paper: Artifact-centric workflows describe possible executions of a business process through constraints expressed from the point of view of the documents exchanged between principals. A sequence of manipulations is deemed […]

Read More

Interactive Runtime Verification – when Interactive Debugging Meets Runtime Verification

The paper entitled Interactive Runtime Verification has been accepted for publication in the proceedings of ISSRE 2017, the 28th International Symposium on Software Reliability Engineering (ISSRE) – IEEE. ISSRE will be held in Toulouse (France), October  23-26, 2017. Below is an abstract of the paper: Runtime Verification consists in studying a system at runtime, looking for […]

Read More

Verifying Policy Enforcers

Our paper entitled Verifying Policy Enforcers has been accepted for publication in RV 2017, the 17th international conference on Runtime Verification. Below is the abstract of the paper: Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed focusing […]

Read More

From high-level modeling toward efficient and trustworthy circuits

The paper entitled “From high-level modeling toward efficient and trustworthy circuits” has been accepted for publication in Software Tools for Technology Transfer, a Springer journal. Below is an abstract of the paper: Behavior–interaction–priority (BIP) is a layered embedded system design and verification framework that provides separation of functionality, synchronization, and priority concerns to simplify system design […]

Read More