Ramayya Kumar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1991–1999
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | VLSID | Invited Talk: Practical Use of Formal Verification - Where are we? Where do we go? | Ramayya Kumar |
| 1997 | DATE | A constructive approach towards correctness of synthesis-application within retiming. | Dirk Eisenbiegler, Ramayya Kumar, Christian Blumenrhr |
| 1996 | FMCAD | Formal Synthesis in Circuit Design - A Classification and Survey. | Ramayya Kumar, Christian Blumenrhr, Dirk Eisenbiegler, Detlef Schmid |
| 1995 | DATE | Generic design flows for project management in a framework environment. | Ewa Kwee-Christoph, Fridtjof Feldbusch, Ramayya Kumar, Arno Kunzmann |
| 1995 | VLSID | Formal synthesis of circuits with a simple handshake protocol. | Ramayya Kumar, Thomas Kropf, Klaus Schneider |
| 1993 | ICCD | Towards a Methodology for the Formal Hierarchical Verification. | Sofine Tahar, Ramayya Kumar |
| 1992 | CADE | The FAUST - Prover. | Klaus Schneider, Ramayya Kumar, Thomas Kropf |
| 1991 | CAV | Automating Most Parts of Hardware Proofs in HOL. | Klaus Schneider, Ramayya Kumar, Thomas Kropf |