38th Annual ACM/SIGAPP Symposium on Applied Computing Software Verification and Testing Track Tallinn, Estonia March 27-31, 2023 SAC 2023 website: https://www.sigapp.org/sac/sac2023/ SAC-SVT 2023 website: http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 ==== Important dates ==== Oct. 1, 2022 – Submission of regular papers and SRC research abstracts Nov. 19, 2022 – Notification Dec. 6, 2022 – Camera-ready version Dec. 6, 2022 […]
I am in the program committee of NSV 2022, the 15th International Workshop on Numerical Software Verification 2022, collocated with FLoC, August 11, 2022, Haifa, Israel. https://nsv22.github.io/ Please consider submitting.
I have been invited to the program committee of IFIP ICTSS 2020, the 32nd IFIP International Conference On Testing Software And Systems, 6-8 October, 2020, Napoli, Italy. IFIP – ICTSS is a well established conference where researchers, practitioners and educators gather together to present and discuss the most recent innovations, experiences and open challenges in […]
Today, I have presented a tutorial on Runtime Enforcement of Timed Properties at RV 2019. This tutorial summarizes a line of work on the topic with colleagues and also introduces a taxonomy for runtime enforcement. The tutorial material (including slides, papers, and a virtual machine with TiPeX pre-installed) can be obtained here.
================================================================= 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 […]
I’ve been invited to chair the DATE 2020 Topic E3. My co-chair will be Todd Austin, from University of Michigan. DATE is the Design, Automation and Test in Europe Conference. DATE 2020 will be held 09 – 13 March 2020 at ALPEXPO in Grenoble, France. More details to come.