I am glad to have been invited to lecture at TAROT 2019, the 15th TAROT Summer School 2019 on Software Testing, Verification & Validation which will be held in Clermont-Ferrand, France, in July 1-5th, 2019. Many thanks to the Organizing Committee!
I have been invited to be a member of the Programme Committee of TASE 2019, the 13th International Symposium on Theoretical Aspects of Software Engineering which will be held on July 29-31, 2019 in Guilin, China.
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 […]
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 […]
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 […]
Update: the track will be held on November 7. With Ezio Bartocci (TU Wien, Austria), we will be chairing the track RV-TheToP: Runtime Verification from the Theory To the industry Practice. Runtime verification. Runtime Verification (RV) has gained much focus, from both the research community and practitioners. Roughly speaking, RV combines a set of theories, […]
Today I’m at the defence of Matthieu Renard Ph.D. thesis in Bordeaux, France. Matthieu’s thesis is entitled Runtime Enforcement of (Timed) Properties with Uncontrollable Events. This thesis studies the runtime enforcement of timed properties when some events are uncontrollable. This work falls in the domain of runtime verification, which includes all the techniques and tools […]
Today, I’m at the MTV2 day of the French working group on software engineering. The MTV2 day deals with testing methods for verification and validation of software systems. I’ll present our recent work on Monitoring Decentralised Specifications, which I have also recently presented at ISSTA 2017. The presented slides can be downloaded by following this link. […]
I am at Konstantin Selyunin’s Ph.D. defense in Vienna, Austria. Konstantin’s thesis is entitled Neural Models For Monitoring and Control with Applications in Automotive Domain. The abstract of his thesis is below: Cyber-physical systems (CPS), which incorporate physical as well as computational components, are a grand challenge of academia and industry in terms of their development, […]