Our paper Decentralised Runtime Verification of Timed Regular Expressions has been accepted for publication in TIME 2022, the 29th International Symposium on Temporal Representation and Reasoning. The abstract of the paper is below: Ensuring the correctness of distributed cyber-physical systems at runtime requires monitoring properties over their behaviour. In a decentralised setting, such behaviour consists of […]
Category: papers
Runtime Enforcement for IEC 61499 Applications
Our paper Runtime Enforcement for IEC 61499 Applications has been accepted for publication in the proceedings of SEFM 2022, the 20th International Conference on Software Engineering and Formal Methods. The abstract is below: Industrial automation is a complex process involving various stakeholders. The international standard IEC 61499 helps to specify distributed automation using a generic architectural model, […]
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks
Our paper DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks has been accepted for publication in AITest 2022, the 4th international conference on Artificial Intelligence Testing. The abstract of our paper is below: Deep learning systems recently achieved unprecedented success in various industries. However, DNNs still exhibit some erroneous behaviors, which lead […]
Bounded-Memory Runtime Enforcement
Our paper Bounded-Memory Runtime Enforcement has been accepted for publication in SPIN 2022, the 28th International Symposium on Model Checking of Software. The abstract of the paper is below: Runtime Enforcement (RE) is a monitoring technique to ensure that a system obeys a set of formal requirements (properties). RE employs an enforcer (a safety wrapper […]
Capturing Program Models with BISM
Our paper Capturing Program Models with BISM has been accepted for publication in the Software Verification and Testing Track of the The 37th ACM Symposium on Applied Computing (SAC 2022). This is joint work with Chukri Soueiidi.
Probabilistic Model Checking of BPMN Processes at Runtime
Our paper Probabilistic Model Checking of BPMN Processes at Runtime has been accepted for publication in the proceedings of the 17th International Conference on integrated Formal Methods 7-10 June 2022, Lugano, Switzerland. Business Process Model and Notation (BPMN) is a standard business process modelling language that allows users to describe a set of structured tasks, […]
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
Our paper From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes, which is an invited paper to WRLA 2022 @ ETAPS, should be public soon. Gwen Salaun is the invited author. The abstract of the paper is below: Business process optimisation is a strategic activity in organisations because of its potential to […]
Runtime Enforcement with Reordering, Healing, and Suppression
The paper entitle “Runtime Enforcement with Reordering, Healing, and Suppression” has been accepted for publication in the proceedings of the 19th International Conference on Software Engineering and Formal Methods. The paper abstract is below: Runtime enforcement analyses an execution trace, detects when this execution deviates from its expected behaviour with respect to a given property, […]
Monitoring Distributed Component-Based Systems
The paper entitled Monitoring Distributed Component-Based Systems has been accepted for publication in the proceedings of the 17th edition of the International Conference on Formal Aspects of Component Software (FACS). Abstract of the paper is below We monitor asynchronous distributed component-based systems with multi-party interactions. We consider independent components whose interactions are managed by several […]
Decentralized LTL Enforcement
Paper Decentralized LTL Enforcement has been accepted for publication in the proceedings of GandALF’21, the 12th International Symposium on Games, Automata, Logics, and Formal Verification. The abstract is below: We consider the runtime enforcement of Linear-time Temporal Logic formulas on decentralized systems with no central observation point nor authority. A so-called enforcer is attached to each […]