| High-density reachability analysis K Ravi, F Somenzi Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995 | 232 | 1995 |
| Minimal assignments for bounded model checking K Ravi, F Somenzi International Conference on Tools and Algorithms for the Construction and …, 2004 | 174 | 2004 |
| Efficient decision procedures for model checking of linear time logic properties R Bloem, K Ravi, F Somenzi Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 120 | 1999 |
| To split or to conjoin: The question in image computation IH Moon, JH Kukula, K Ravi, F Somenzi Proceedings of the 37th Annual Design Automation Conference, 23-28, 2000 | 111 | 2000 |
| A comparative study of symbolic algorithms for the computation of fair cycles K Ravi, R Bloem, F Somenzi International Conference on Formal Methods in Computer-Aided Design, 162-179, 2000 | 104 | 2000 |
| Approximation and decomposition of binary decision diagrams K Ravi, KL McMillan, TR Shiple, F Somenzi Proceedings of the 35th Annual Design Automation Conference, 445-450, 1998 | 95 | 1998 |
| Symbolic guided search for CTL model checking R Bloem, K Ravi, F Somenzi Proceedings of the 37th Annual Design Automation Conference, 29-34, 2000 | 93 | 2000 |
| Fate and Free Will in Error Traces HS Jin, K Ravi, F Somenzi International Conference on Tools and Algorithms for the Construction and …, 2002 | 81 | 2002 |
| Hints to accelerate symbolic traversal K Ravi, F Somenzi Advanced Research Working Conference on Correct Hardware Design and …, 1999 | 74 | 1999 |
| Fate and free will in error traces HS Jin, K Ravi, F Somenzi International Journal on Software Tools for Technology Transfer 6, 102-116, 2004 | 43 | 2004 |
| Analysis of symbolic SCC hull algorithms F Somenzi, K Ravi, R Bloem International Conference on Formal Methods in Computer-Aided Design, 88-105, 2002 | 33 | 2002 |
| A hybrid algorithm for LTL games S Sohail, F Somenzi, K Ravi International Workshop on Verification, Model Checking, and Abstract …, 2008 | 26 | 2008 |
| Efficient fixpoint computation for invariant checking K Ravi, F Somenzi Proceedings 1999 IEEE International Conference on Computer Design: VLSI in …, 1999 | 21 | 1999 |
| Approximate finite state machine traversal: Extensions and new results H Cho, G Hachtel, E Macii, M Poncino, K Ravi, F Somenzi International Workshop on Logic Synthesis, 1995 | 19 | 1995 |
| Method and system for partitioning an integrated circuit design M Chopra, X Du, RH Hardin, A Jain, RP Kurshan, P Mahajan, R Prakash, ... US Patent 7,047,510, 2006 | 18 | 2006 |
| Modular verification of multipliers K Ravi, A Pardo, GD Hachtel, F Somenzi Formal Methods in Computer-Aided Design: First International Conference …, 1996 | 18 | 1996 |
| Application of Formal Word-Level Analysis to Constrained Random Simulation: Tool Paper H Kim, H Jin, K Ravi, P Spacek, J Pierce, B Kurshan, F Somenzi Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 17 | 2008 |
| Divide and compose: SCC refinement for language emptiness C Wang, R Bloem, GD Hachtel, K Ravi, F Somenzi CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001 | 16 | 2001 |
| Approximation and decomposition of decision diagrams K Ravi, KL McMillan, TR Shiple, F Somenzi Proceedings of the Design Automation Conference, 445-450, 0 | 14 | |
| Coverage metric and coverage computation for verification based on design partitions X Du, RP Kurshan, K Ravi US Patent 7,181,708, 2007 | 11 | 2007 |
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at