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

THEMIS: A Tool for Decentralized Monitoring Algorithms

The paper entitled THEMIS: A Tool for Decentralized Monitoring Algorithms has been accepted as a tool-demonstration paper to ISSTA 2017, the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA 2017 will be held in Santa Barbara, California, USA, on July 10–14, 2017. Below is an abstract of the paper: THEMIS is a tool to facilitate […]

Read More

Monitoring Decentralized Specifications

The paper entitled Monitoring Decentralized Specifications has been accepted for publication in the proceedings of ISSTA 2017, the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, which will be held in Santa Barbara, California, USA, on July 10–14, 2017. The abstract of the paper is below: We define two complementary approaches to monitor decentralized […]

Read More