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.
News
Invited talk @ IST Austria, Vienna
I gave a talk at IST Austria on our recent work on the monitoring of decentralized specifications and its application to the monitoring of smart homes. Thank you IST Austria for the nice welcome and to Tom Henziger and Guy Avni for the invitation. Handout of the slides can be downloaded here.
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
The paper On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation has been accepted for publication in TOSEM, the ACM Transactions on Software Engineering and Methodology. We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of […]
Detecting Fault Injection Attacks with Runtime Verification
The paper Detecting Fault Injection Attacks with Runtime Verification has been accepted for publication in SPRO’19, the 3rd International Workshop on Software PROtection, which will be held on 15 Nov 2019, in conjunction with CCS’19. The abstract is below: Fault injections are increasingly used to attack/test secure applications. In this paper, we define formal models […]
On the Runtime Enforcement of Timed Properties
The tutorial paper On the Runtime Enforcement of Timed Properties has been accepted for publication in Runtime Verification 2019. Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior of systems at runtime. We are interested in such behaviors described by specifications that feature timing constraints formalized in what is generally referred […]
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 SAC-SVT 2020
I’ve been invited to the Programme Committee of SAC-SVT 2020, the Software Verification and Testing Track (SVT) of the ACM SIGAPP Symposium on Applied Computing (SAC). SAC 2020 will be held in Brno, Czech Republic, on March 30th – April, 3rd 2020.
Chairing DATE 2020 Topic E3
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.
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.