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 […]
Author: Ylies
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 the Programme Committee of SAC_SVT 2021
I have been invited to participate in the programme committee of SAC-SVT 2021, a track of the 36th Annual ACM/SIGAPP Symposium on Applied Computing, Gwangju, Korea March 22-26, 2021. More information about SAC 2021 at this page. More information SAC-SVT 2021 at this page.
(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 Veriable 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 […]
In the Programme Committee of FDL 2020
I have been invited to the Programme Committee of FDL 2020 which will be held in Kiel, Germany, on September 7-9, 2020. Please consider submitting.
Special issue on improving software quality through formal methods in Springer Software Quality Journal
Our special issue improving software quality through formal methods in Springer Software Quality Journal is out. The special issue is devoted to the use of formal methods for improving the quality of software systems. The included articles focus on the use of runtime techniques, such as runtime verification and trace analysis. Following an open call, […]
In the program committee of IFIP-ICTSS 2020
I have been invited to the program committee of IFIP ICTSS 2020, the 32nd IFIP International Conference On Testing Software And Systems, 6-8 October, 2020, Napoli, Italy. IFIP – ICTSS is a well established conference where researchers, practitioners and educators gather together to present and discuss the most recent innovations, experiences and open challenges in […]
A survey of challenges for runtime verification from advanced application domains (beyond software)
The paper A survey of challenges for runtime verification from advanced application domains (beyond software) has been published in Formal Methods in System Design, a Springer journal. The paper can be downloaded by following this link. This is joint work with César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Adrian Francalanza, […]