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.
Category: papers
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, […]
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 […]
A taxonomy for classifying runtime verification tools
Paper A taxonomy for classifying runtime verification tools has been accepted for publication in the international journal on Software Tools for Technology Transfer, a Springer journal. The abstract of the paper is below: Over the last 20 years, runtime verification (RV) has grown into a diverse and active field, which has stimulated the development of […]
BISM: Bytecode-Level Instrumentation for Software Monitoring
The paper entitled “BISM: Bytecode-Level Instrumentation for Software Monitoring” has been accepted for publication in the proceedings of RV’20, the 20TH international conference on Runtime Verification. The abstract of the paper is below: BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight Java bytecode instrumentation tool which features an expressive high-level control-flow-aware instrumentation language. The language […]
(in French) Automates à états finis et langages réguliers
Parution de notre livre introductif sur le thème des automates à états finis et des langages réguliers. Cet ouvrage est centré exercices, c’est-à-dire qu’il comporte, par chapitre, un rappel nécessaire des concepts utilisés dans les exercices ; une série d’exercices classés par difficulté ; une proposition de corrigé pour chacun des exercices. Un résumé du […]
From Global Choreographies to Verifiable Efficient Distributed Implementations
Paper From Global Choreographies to Veri able Efficient Distributed Implementations has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming. The abstract of the paper is below. We define a method to automatically synthesize efficient distributed implementations from high-level global choreographies. A global choreography describes the execution and communication logic between a set […]
Runtime enforcement of timed properties using games
The paper Runtime enforcement of timed properties using games has been accepted for publication in Format Aspect of Computing. The abstract of the paper is below. This paper deals with runtime enforcement of timed properties with uncontrollable events. Runtime enforcement consists in defining and using an enforcement mechanism that modifies the executions of a running system […]