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 […]
Category: Research
Post related to my research activities.
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 […]
ISSTA & SPIN 2017 – Call for Participation
*************************************************************************** ISSTA & SPIN 2017 CALL FOR PARTICIPATION 26th ACM SIGSOFT International Symposium on Software Testing and Analysis http://conf.researchr.org/home/issta-2017 24th International SPIN Symposium on Model Checking of Software http://conf.researchr.org/home/spin-2017 July 10-14, 2017, Santa Barbara, California, USA *************************************************************************** ISSTA is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and […]
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 […]
SPIN 2017: the list of accepted papers is available
The list of papers accepted to SPIN 2017 is available online at http://conf.researchr.org/info/spin-2017/accepted-papers SPIN 2017 is the 24th International SPIN Symposium on Model Checking of Software. SPIN 2017 will be held in beautiful Santa Barbara, California in July in conjunction with ISSTA.
Formal analysis and offline monitoring of electronic exams
The paper entitled Formal analysis and offline monitoring of electronic exams has been accepted for publication in Formal Methods in System Design, a Springer journal. The abstract of the paper is below: More and more universities are moving toward electronic exams (in short e-exams). This migration exposes exams to additional threats, which may come from the […]
Runtime Enforcement Using Büchi Games
The paper entitled Runtime Enforcement Using Büchi Games has been accepted for publication in SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software. Below is an abstract of the paper. We leverage Büchi games for the runtime enforcement of regular properties with uncontrollable events. Runtime enforcement consists in modifying the execution of a running […]