Daniel Geist
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
1989–2003
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | ASPDAC | Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application. | Julia Dushina, Mike Benjamin, Daniel Geist |
| 2002 | CAV | Symbolic Localization Reduction with Reconstruction Layering and Backtracking. | Sharon Barner, Daniel Geist, Anna Gringauze |
| 2001 | DAC | Semi-Formal Test Generation with Genevieve. | Julia Dushina, Mike Benjamin, Daniel Geist |
| 2001 | VTS | Semi-Formal Test Generation for a Block of Industrial DSP. | Julia Dushina, Mike Benjamin, Daniel Geist |
| 2000 | CAV | Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. | Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster |
| 1999 | DAC | A Study in Coverage-Driven Test Generation. | Mike Benjamin, Daniel Geist, Alan Hartman, Grard Mas, Ralph Smeets, Yaron Wolfsthal |
| 1999 | DAC | A Methodology for the Verification of a "System on Chip". | Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret |
| 1997 | CAV | RuleBase: Model Checking at IBM. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal |
| 1996 | FMCAD | Coverage-Directed Test Generation Using Symbolic Techniques. | Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal |
| 1994 | CAV | Methodology and System for Practical Formal Verification of Reactive Hardware. | Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli |
| 1994 | CAV | Efficient Model Checking by Automated Ordering of Transition Relation Partitions. | Daniel Geist, Ilan Beer |
| 1989 | SMC | Time-variant decision support systems. | Daniel Geist, Yuval Lirov |