The paper entitled “Monitoring Multi-threaded Component-based Systems” has been accepted for publication in the proceedings of iFM 16, the 12th International Conference on integrated Formal Methods, June 1st – 5th, 2016, Reykjavik, Iceland. Below is the abstract of the paper: This paper addresses the monitoring of logic-independent linear-time user-provided properties on multi-threaded component-based systems. We consider intrinsically […]
Category: papers
Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events
The paper entitled “Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events” has been accepted for publication in SCP, Science of Computer Programming, an Elsevier journal. Here is the abstract of the paper: Runtime enforcement is a verification/validation technique aiming at correcting possibly incorrect executions of a system of interest. In this paper, […]
Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery
The paper entitled “Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery” has been accepted for publication in the Springer journal Software Tools for Technology Transfer. Abstract We introduce runtime enforcement of specifications on component-based systems (CBS) modeled in the behavior, interaction and priority (BIP) framework. Runtime enforcement is an increasingly popular and effective […]
Predictive Runtime Enforcement
The paper Predictive Runtime Enforcement has been accepted for publication in the proceedings of the 31st ACM Symposium on Applied Computing – Software Verification and Testing track. Below is the abstract of the paper: Runtime enforcement (RE) is a technique to ensure that the (un- trustworthy) output of a black-box system satisfies some desired properties. In […]
Enforcement of (Timed) Properties with Uncontrollable Events
The paper Enforcement of (Timed) Properties with Uncontrollable Events has been accepted to ICTAC 2015. Below is the abstract to the paper: This paper deals with runtime enforcement of untimed and timed properties with uncontrollable events. Runtime enforcement consists in modifying the executions of a running system to ensure their correctness with respect to a desired property. […]
Monitoring Electronic Exams
The paper Monitoring Electronic Exams has been accepted for publication in the proceedings of RV 2015, the 15th international conference on Runtime Verification. Here is the abstract of the paper: Universities and other educational organizations are adopting com- puter-based assessment tools (herein called e-exams) to reach larger and ubiquitous audiences. While this makes examination tests more […]
TiPEX: a tool chain for Timed Property Enforcement during eXecution
The paper TiPEX: a tool chain for Timed Property Enforcement during eXecution has been accepted for publication in the proceedings of RV 2015, the 15th international conference on Runtime Verification. Here is the abstract of the paper below. The TiPEX tool implements the enforcement monitoring algorithms for timed properties proposed in [1]. Enforcement monitors are generated from […]
Runtime Enforcement for Component-Based Systems
The paper Runtime Enforcement for Component-Based Systems has been accepted for publication in SAC-SVT 2015, the 30th ACM/SIGAPP Symposium On Applied Computing – Software Verification and Testing track, Salamanca, Spain. Here is the abstract of the paper. We propose a theoretical runtime enforcement framework for component-based systems (CBS) where we delineate a hierarchy of enforceable properties (i.e., […]
Runtime Enforcement of Timed Properties Revisited
The paper Runtime Enforcement of Timed Properties Revisited has been accepted for publication in Formal Methods in System Design, a Springer journal. Below is the abstract of the paper. Runtime enforcement is a powerful technique to ensure that a running system satisfies some desired properties. Using an enforcement monitor, an (untrustworthy) input execution (in the form […]
Organising LTL Monitors over Distributed Systems with a Global Clock
The paper Organising LTL Monitors over Distributed Systems with a Global Clock has been accepted in RV 2014: the 14th International Conference on Runtime Verification, September 22 – September 25, 2014 Toronto, Canada. Here is the abstract of the paper: Users wanting to monitor distributed systems often prefer to abstract away the architecture of the […]