Formal Method in Outer Space, the essays dedicated to Klaus Havelund’s 65th birthday are available in a dedicated book at Springer website.
Category: Event
DATE 2020 – Topic E3 – Call for Papers
================================================================= DATE 2020 – Call for Papers 09 – 13 March 2020, Grenoble, France Topic E3 Model-Based Design, Verification and Security for Embedded Systems www.date-conference.com ================================================================== For more details and submission instructions, please visit the DATE 2020 Website at www.date-conference.com. == Overview of DATE 2020 The 23rd DATE conference and exhibition is the main European […]
In the Programme Committee of SHPCS 2019
I have been invited to the Programme Committee of SHPCS 2019, the 14th Workshop on Security and High-Performance Computing Systems. SHPCS 2019 will be held in Dublin (Ireland) on July 15-19, 2019. Please consider submitting.
In the Programme Committee of IFIP-ICTSS 2019
I have been invited to the Programme Committee of IFIP ICTSS 2019, the 31st International Conference on Testing Software and Systems. ICTSS 2019 will be held in Paris (France) on October 15-17, 2019. Please consider submitting.
(Invited Lecture at) TAROT 2019
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!
In the Programme Committee of TASE 2019
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.
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 […]
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 […]