Y. S. Ramakrishna

University of California System, University of California, Santa Barbara

Papers

Total Citations

H-Index

About

Y. S. Ramakrishna is a researcher known for advancing formal methods in real-time systems through the development of graphical temporal logics. His primary research areas include real-time verification, automated deduction, and visual reasoning about time-dependent behaviors. Ramakrishna’s major contribution is the creation of the Real-Time Graphical Interval Logic (GIL) and its accompanying toolset, which introduced a novel modal logic where the fundamental unit of time is the interval—not a point. This logic stands out because it offers an intuitive, graphical representation that closely mirrors the timing diagrams commonly used by hardware and software engineers. By bridging the gap between formal specification and practical design, his work made temporal reasoning more accessible. His most cited paper, "The Real-Time Graphical Interval Logic toolset" (1996), has garnered 11 citations, while his foundational work on automated deduction in graphical temporal logic (1996) earned 3 citations. Though his citation counts are modest, Ramakrishna’s impact lies in pioneering a visual approach to formal verification, influencing subsequent research in real-time systems and human-centric verification tools.