EasyChair Smart SlideUser guide
Conference: RV2024 (Runtime Verification 2024)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption

Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian and Kohei Suenaga

Towards Efficient Runtime Verified Linearizable Implementations

Towards Efficient Runtime Verified Linearizable Implementations

Gilde Valeria Rodríguez Jiménez and Armando Castañeda Rojano

FaRM-LTL: a Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties

FaRM-LTL: a Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties

Amrutha Benny, Sandeep Chandran, Rajshekar Kalayappan, Ramchandra Phawade and Piyush Kurur

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair