EasyChair Smart SlideDocs/Log in
Author: Ramchandra Phawade

This page shows all presentations of this author published in EasyChair Smart Slide.

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

Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems

Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems

Ramchandra Phawade, Tephilla Prince and S Sheerazuddin

Presentations in this collection: 2
Copyright © 2002 – 2025 EasyChair