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.
Author: Ylies
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, […]
In the Program Committee of VECoS
I am in the program committee of VECoS 2022. http://vecos-world.org/2022/ Please consider submitting.
In the program committee of NFM 2022
I am appointed to the program committee of NFM 2022, NASA Formal Methods 2022. https://nfm2022.caltech.edu/
In the Program Committee of NSV 2022
I am in the program committee of NSV 2022, the 15th International Workshop on Numerical Software Verification 2022, collocated with FLoC, August 11, 2022, Haifa, Israel. https://nsv22.github.io/ Please consider submitting.
Keynote On Decentralized Monitoring
I am giving a keynote at VECoS on Decentralized System Monitoring. Slides are available here. Thanks to the organizers for their invitation.
Formal Methods in Outer Space
Formal Method in Outer Space, the essays dedicated to Klaus Havelund’s 65th birthday are available in a dedicated book at Springer website.
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 […]