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, […]
Category: papers
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 […]
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 […]
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 […]
GREP: Games for the Runtime Enforcement of Properties
The paper entitled GREP: Games for the Runtime Enforcement of Properties has been accepted for publication in the proceedings of ICTSS 2017, the 29th IFIP International Conference on Testing Software and Systems. Below is an abstract of the paper: We present GREP, a tool for the runtime enforcement of (timed) properties. GREP takes an execution sequence as […]
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 […]
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 […]
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 […]
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 […]
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 […]