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, […]
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.
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 […]
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 […]
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 […]
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 […]
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 […]
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 […]