default search action
Daniel Geist
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2008
- [c17]Daniel Geist, Oded Vaida:
A method for hunting bugs that occur due to system conflicts. HLDVT 2008: 11-17 - 2006
- [j8]Mark Moulin, Leonid Gluhovsky, Daniel Geist:
Formal Verification Analysis of Load-Voltage Power Control. Intell. Autom. Soft Comput. 12(1): 23-30 (2006) - 2005
- [j7]Baruch Schieber, Daniel Geist, Ayal Zaks:
Computing the minimum DNF representation of Boolean functions defined by intervals. Discret. Appl. Math. 149(1-3): 154-173 (2005) - [c16]Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib:
Combining System Level Modeling with Assertion Based Verification. ISQED 2005: 310-315 - [c15]Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref:
Supporting SAT based BMC on Finite Path Models. BMC@CAV 2005: 67-77 - 2003
- [j6]Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal:
Model Checking at IBM. Formal Methods Syst. Des. 22(2): 101-108 (2003) - [c14]Julia Dushina, Mike Benjamin, Daniel Geist:
Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application. ASP-DAC 2003: 699-704 - [c13]Daniel Geist:
The PSL/Sugar Specification Language A Language for all Seasons. CHARME 2003: 3 - [e1]Daniel Geist, Enrico Tronci:
Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings. Lecture Notes in Computer Science 2860, Springer 2003, ISBN 3-540-20363-X [contents] - 2002
- [j5]Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster:
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. Formal Methods Syst. Des. 21(3): 317-338 (2002) - [c12]Sharon Barner, Daniel Geist, Anna Gringauze:
Symbolic Localization Reduction with Reconstruction Layering and Backtracking. CAV 2002: 65-77 - 2001
- [j4]Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham:
On the Effective Deployment of Functional Formal Verification. Formal Methods Syst. Des. 19(1): 35-44 (2001) - [c11]Julia Dushina, Mike Benjamin, Daniel Geist:
Semi-Formal Test Generation with Genevieve. DAC 2001: 617-622 - [c10]Julia Dushina, Mike Benjamin, Daniel Geist:
Semi-Formal Test Generation for a Block of Industrial DSP. VTS 2001: 131-137 - 2000
- [c9]Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster:
Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. CAV 2000: 20-35
1990 – 1999
- 1999
- [c8]Sagi Katz, Orna Grumberg, Daniel Geist:
"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation. CHARME 1999: 280-297 - [c7]Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret:
A Methodology for the Verification of a "System on Chip". DAC 1999: 574-579 - [c6]Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal:
A Study in Coverage-Driven Test Generation. DAC 1999: 970-975 - 1997
- [c5]Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal:
RuleBase: Model Checking at IBM. CAV 1997: 480-483 - 1996
- [c4]Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal:
Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158 - 1995
- [j3]Ashok 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:
AVPGEN-A test generator for architecture verification. IEEE Trans. Very Large Scale Integr. Syst. 3(2): 188-200 (1995) - 1994
- [c3]Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli:
Methodology and System for Practical Formal Verification of Reactive Hardware. CAV 1994: 182-193 - [c2]Daniel Geist, Ilan Beer:
Efficient Model Checking by Automated Ordering of Transition Relation Partitions. CAV 1994: 299-310 - 1992
- [j2]Daniel Geist, Ervin Y. Rodin:
Adjacency of the 0-1 knapsack problem. Comput. Oper. Res. 19(8): 797-800 (1992)
1980 – 1989
- 1989
- [j1]Daniel Geist, Michael W. Vannier:
PC-based 3-D reconstruction of medical images. Comput. Graph. 13(2): 135-143 (1989) - [c1]Daniel Geist, Yuval Lirov:
Time-variant decision support systems. SMC 1989: 244-249
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: