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.
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.
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 […]
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 […]
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, […]
The list of papers accepted at the Software Verification and Testing track at SAC 2018 is out and available at: http://sac-svt-2018.imag.fr/?page_id=140 Thanks to all the track members for their thorough reviews and in-depth discussions of the papers. Thanks to all authors for their submissions. SAC 2018 will be held in Pau, France April 9 – 13, 2018.
I’m at ISSRE 2017 in Toulouse, France, for the presentation of our paper on Interactive Runtime Verification and attending the talks of the day. Our paper on Interactive Runtime Verification (i-RV) can be downloaded here. Verde, our open-source tool for i-RV, can be retrieved and experimented with our interactive tutorial by following this link. Our interactive […]
ETR is a well-known Frenh summer school on real-time systems and formal methods. I am giving a tutorial talk in the formal methods track about Runtime Enforcement of Timed Properties. The companion tutorial can be found in the proceedings and the electronic version can be downloaded here.