I am in the program committee of VECoS 2022. http://vecos-world.org/2022/ Please consider submitting.
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.
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.