Daniel Geist - researchr alias

researchr

You are not signed in
Sign in
Sign up

2006

Supporting SAT based BMC on Finite Path ModelsDaniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref. ENTCS, 144(1):67-77, 2006. [doi]

2005

Combining System Level Modeling with Assertion Based VerificationAnat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib. isqed 2005: 310-315 [doi]

Computing the minimum DNF representation of Boolean functions defined by intervalsBaruch Schieber, Daniel Geist, Ayal Zaks. DAM, 149(1-3):154-173, 2005. [doi]

2003

Model Checking at IBMShoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal. fmsd, 22(2):101-108, 2003. [doi]

The PSL/Sugar Specification Language A Language for all SeasonsDaniel Geist. charme 2003: 3 [doi]

Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003, ProceedingsDaniel Geist, Enrico Tronci, editors, Volume 2860 of Lecture Notes in Computer Science, Springer, 2003.

2002

Symbolic Localization Reduction with Reconstruction Layering and BacktrackingSharon Barner, Daniel Geist, Anna Gringauze. cav 2002: 65-77 [doi]

A Scalable Parallel Algorithm for Reachability Analysis of Very Large CircuitsTamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster. fmsd, 21(3):317-338, 2002.

2001

2000

Achieving Scalability in Parallel Reachability Analysis of Very Large CircuitsTamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster. cav 2000: 20-35

1999

1997

RuleBase: Model Checking at IBMIlan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal. cav 1997: 480-483

1996

Coverage-Directed Test Generation Using Symbolic TechniquesDaniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal. FMCAD 1996: 143-158

1995

AVPGEN-A test generator for architecture verificationAshok K. Chandra, Vijay S. Iyengar, D. Jameson, R. V. Jawalekar, Indira Nair, Barry K. Rosen, Michael P. Mullen, J. Yoon, R. Armoni, Daniel Geist, Yaron Wolfsthal. tvlsi, 3(2):188-200, 1995. [doi]

1994

Methodology and System for Practical Formal Verification of Reactive HardwareIlan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli. cav 1994: 182-193

Efficient Model Checking by Automated Ordering of Transition Relation PartitionsDaniel Geist, Ilan Beer. cav 1994: 299-310

1992

Adjacency of the 0-1 knapsack problemDaniel Geist, Ervin Y. Rodin. cor, 19(8):797-800, 1992. [doi]

1989

PC-based 3-D reconstruction of medical imagesDaniel Geist, Michael W. Vannier. cg, 13(2):135-143, 1989. [doi]