I will be co-chairing the Technical Program Committee of the Software Verification and Testing Track 2017 of the 32nd ACM/SIGAPP Symposium on Applied Computing with Mercedes G. Merayo.
Category: Research
Post related to my research activities.
RV 16 deadlines extended
Following several requests, the deadlines for submitting papers to RV 16 have been extended as follows: – Abstract deadline: Friday May 20 (AoE). – Paper and tutorial deadline: Friday May 27 (AoE).
Modularizing Crosscutting Concerns in Component-Based Systems
The paper entitled “Modularizing Crosscutting Concerns in Component-Based Systems” has been accepted for publication in SEFM 2016, the 14th International Conference on Software Engineering and Formal Methods. Below is the abstract of the paper: We define a method to modularize crosscutting concerns in Behavior Interaction Priority (BIP) component-based framework. Our method is inspired from the Aspect Oriented […]
Monitoring Multi-threaded Component-based Systems
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 […]
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 […]
RV 2016 in Madrid, Spain, September 23-30
I am happy to announce RV 2016 which I will be PC chairing with César Sanchez (IMDEA Madrid, Spain). This year, RV will be supported by a strong program committee and will take place in a wonderful venue. RV will feature 3 keynote talks from world-class researchers, a summer school on Runtime Verification, a competition […]
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 […]