Vigyan Singhal

发表论文 46 篇 · 总被引 1618 次 · h-index 17

代表论文

• Model-checking continuous-time Markov chains (2000 · ACM Transactions on Computational Logic · 被引 418)
• BDS (2000 · 被引 54)
• Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists (1999 · Lecture notes in computer science · 被引 20)
• SIVA: A System for Coverage-Directed State Space Search (2001 · Journal of Electronic Testing · 被引 18)
• An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists (2003 · Formal Methods in System Design · 被引 14)
• Formula-Dependent Equivalence for Compositional CTL Model Checking (2002 · Formal Methods in System Design · 被引 14)