most citedDesign of Silicon Slab Waveguides based all-optical Logic Gates

7 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2024★ 3 cited

Runtime Verification on Abstract Finite State Models

KP Jevitha, Bharat Jayaraman, M Sethumadhavan

Finite-state models are ubiquitous in the study of concurrent systems, especially controllers and servers that operate in a repetitive cycle. In this paper, we show how to extract…