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 […]
Category: papers
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 […]
Optimal Enforcement of (Timed) Properties with Uncontrollable Events
The paper entitled Optimal Enforcement of (Timed) Properties with Uncontrollable Events has been accepted for publication in Mathematical Structures in Computer Science, a Cambridge University Press journal. Below is the abstract of the paper: This paper deals with runtime enforcement of untimed and timed properties with uncontrollable events. Runtime enforcement consists in defining and using mechanisms […]
First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014
The manuscript entitled First International Competition on Runtime Verification – Rules, Benchmarks, Tools, and Final Results of CRV 2014 has been accepted for publication in Software Tools for Technology Transfer, a Springer journal. Below is an abstract of the paper The First International Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a […]
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
The manuscript entitled Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation has been accepted for publication in Formal Aspects of Computing, a Springer journal. The abstract of the paper is below: This paper addresses the monitoring of logic-independent linear-time user-provided properties in multi-threaded component-based systems. We consider intrinsically independent components that […]
Predictive runtime enforcement
The manuscript entitled Predictive runtime enforcement has been accepted for publication in Formal Methods in System Design, a Springer journal. Abstract: Runtime enforcement (RE) is a technique to ensure that the (untrustworthy) output of a black-box system satisfies some desired properties. In RE, the output of the running system, modeled as a sequence of events, is fed into […]
A high-level modeling language for the efficient design, implementation, and testing of Android applications
The paper entitled A high-level modeling language for the efficient design, implementation, and testing of Android applications has been accepted for publication in Software Tools for Technology Transfer, a Springer journal, and is now available for download. Developing mobile applications remains difficult, time consuming, and error prone, in spite of the number of existing platforms and […]
Best Paper Award at EDOC 2016
The paper entitled Decentralized Enforcement of Artefact Lifecycles co authored with S. Hallé, R. Khoury, and A. El-Hokayem received the Best Paper Award from EDOC 2016 Program Committee.
Decentralized Enforcement of Artifact Lifecycles
The paper entitled “Decentralized Enforcement of Artifact Lifecycles” has been accepted for publication in EDOC 2016, the twentieth Entreprise Computing Conference. The abstract of the paper is below: 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 […]
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 […]