Daniel Geist - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2008

A method for hunting bugs that occur due to system conflictsDaniel Geist, Oded Vaida. hldvt 2008: 11-17 [doi]

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]

Formal Verification Analysis of Load-Voltage Power ControlMark Moulin, Leonid Gluhovsky, Daniel Geist. iasc, 12(1):23-30, 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]

Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial applicationJulia Dushina, Mike Benjamin, Daniel Geist. aspdac 2003: 699-704 [doi]

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

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

Time-variant decision support systemsDaniel Geist, Yuval Lirov. SMC 1989: 244-249 [doi]

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

Sign in or sign up to see more results.

runs on WebDSL