Our special issue on Runtime Verification is released in Formal Methods in System Design, a Springer journal. The special issue is composed of the following papers (selected from the best papers of RV’16) : Introduction to the special issue on runtime verification Yliès Falcone, César Sánchez Pages 1-5 On the complexity of monitoring Orchids signatures, […]
Category: Research
Post related to my research activities.
In the Program Committee of the Software Verification and Testing track of SAC 2019
I’ve been invited to the Program Committee of the Software Verification and Testing track of the 34th ACM/SIGAPP Symposium On Applied Computing. SAC 2019 will be held on April 8-12, 2019 in Limassol, Cyprus. Please consider submitting. More info on the SAC 2019 and SAC-SVT 2019 Websites.
Facilitating the implementation of distributed systems with heterogeneous interactions
The paper Facilitating the implementation of distributed systems with heterogeneous interactions has been accepted for publications in the proceedings of iFM 2018, the 14th International Conference on integrated Formal Methods. iFM 2018 will be held on 5th -7th September 2018, in Maynooth University, Ireland. Below is the abstract of the paper: We introduce HDBIP an extension of the Behavior Interaction […]
COST Action Runtime Verification beyond Monitoring (ARVI): meeting in Novi Sad
We had a successful meeting in Novi Sad (Serbia) to make progress on deliverables of the project. The deliverables will be soon available. My role during the meeting is to co-chair the working group related to core runtime verification. Below is a description of the COST action IC 1402: Runtime verification (RV) is a computing […]
Chairing the DATE Track E3 on Model-Based Design, Verification and Security for Embedded Systems
I will be chairing DATE track E3 on Model-Based Design, Verification and Security for Embedded Systems. Todd Austin at the University of Michigan will co-chair the track. The general call for papers to DATE 2019 is available here. DATE 2019 will be held on March 25 – 29, 2019, in the marvelous Firenze, Italy. More details to […]
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems
The paper entitled Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems – Application to the Behavior Interaction Priority Framework has been accepted for publication in Journal of Logical and Algebraic Methods in Programming (Elsevier) The abstract of the paper is below: We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the […]
@ SAC SVT 2018
Today, I’ll be co-chairing the Software Verification and Testing track at the the 33rd ACM/SIGAPP Symposium On Applied Computing. The program is available at this link.
VORTEX 2018, July 16-21, 2018
VORTEX 2018, ECOOP and ISSTA, Amsterdam, July 16-21, 2018 (https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers) ================================================================================= Runtime verification (RV) is an approach to software verification concerned with monitoring and analysis of software and hardware under execution. Recently, RV has gained more traction as an effective and promising approach to ensure software reliability, bridging a gap between formal verification and conventional testing; monitoring a system […]
Successful 2nd School on Runtime Verification
We had a successful 2nd School on Runtime Verification in Praz sur Arly, in the beautiful French Alps, organized by the COST action IC1402 Runtime Verification beyond Monitoring (ARVI) and Inria. Slides of the lectures as well as recorded lecture videos shall be uploaded soon. Thanks to all lecturers and participants for the passionating lectures and lively […]
RV Summit, 19-23 March 2018: Praz sur Arly (near Grenoble), France
The RV Summit in Praz sur Arly near Grenoble, France starts. It will run from March 19 to March 23, 2018. The RV Summit will feature 2 events: the 2nd ARVI COST School on Runtime Verification on March 19-21, co-organized and sponsored by COST Action IC1402 ArVi, Inria and Persyval-Lab; School Webpage. an ARVI COST meeting on […]