EasyChair Smart SlideDocs/Log in
Conference: RV2024 (Runtime Verification 2024)

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

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: 2
Copyright © 2002 – 2024 EasyChair