default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Daniel Geist
@inproceedings{DBLP:conf/hldvt/GeistV08,
author = {Daniel Geist and
Oded Vaida},
title = {A method for hunting bugs that occur due to system conflicts},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {11--17},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695866},
doi = {10.1109/HLDVT.2008.4695866},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/GeistV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iasc/MoulinGG06,
author = {Mark Moulin and
Leonid Gluhovsky and
Daniel Geist},
title = {Formal Verification Analysis of Load-Voltage Power Control},
journal = {Intell. Autom. Soft Comput.},
volume = {12},
number = {1},
pages = {23--30},
year = {2006},
url = {https://doi.org/10.1080/10798587.2006.10642912},
doi = {10.1080/10798587.2006.10642912},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iasc/MoulinGG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/SchieberGZ05,
author = {Baruch Schieber and
Daniel Geist and
Ayal Zaks},
title = {Computing the minimum {DNF} representation of Boolean functions defined
by intervals},
journal = {Discret. Appl. Math.},
volume = {149},
number = {1-3},
pages = {154--173},
year = {2005},
url = {https://doi.org/10.1016/j.dam.2004.08.009},
doi = {10.1016/J.DAM.2004.08.009},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/SchieberGZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/DahanGGPSWBKL05,
author = {Anat Dahan and
Daniel Geist and
Leonid Gluhovsky and
Dmitry Pidan and
Gil Shapir and
Yaron Wolfsthal and
Lyes Benalycherif and
Romain Kamdem and
Younes Lahbib},
title = {Combining System Level Modeling with Assertion Based Verification},
booktitle = {6th International Symposium on Quality of Electronic Design {(ISQED}
2005), 21-23 March 2005, San Jose, CA, {USA}},
pages = {310--315},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISQED.2005.32},
doi = {10.1109/ISQED.2005.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/DahanGGPSWBKL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GeistGLRST06,
author = {Daniel Geist and
Mark Ginzburg and
Yoad Lustig and
Ishai Rabinovitz and
Ohad Shacham and
Rachel Tzoref},
editor = {Armin Biere and
Ofer Strichman},
title = {Supporting {SAT} based {BMC} on Finite Path Models},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {67--77},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.020},
doi = {10.1016/J.ENTCS.2005.07.020},
timestamp = {Fri, 16 Dec 2022 10:14:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GeistGLRST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Ben-DavidEGW03,
author = {Shoham Ben{-}David and
Cindy Eisner and
Daniel Geist and
Yaron Wolfsthal},
title = {Model Checking at {IBM}},
journal = {Formal Methods Syst. Des.},
volume = {22},
number = {2},
pages = {101--108},
year = {2003},
url = {https://doi.org/10.1023/A:1022905120346},
doi = {10.1023/A:1022905120346},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Ben-DavidEGW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/DushinaBG03,
author = {Julia Dushina and
Mike Benjamin and
Daniel Geist},
editor = {Hiroto Yasuura},
title = {Semi-formal test generation and resolving a temporal abstraction problem
in practice: industrial application},
booktitle = {Proceedings of the 2003 Asia and South Pacific Design Automation Conference,
{ASP-DAC} '03, Kitakyushu, Japan, January 21-24, 2003},
pages = {699--704},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/1119772.1119929},
doi = {10.1145/1119772.1119929},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/DushinaBG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Geist03,
author = {Daniel Geist},
editor = {Daniel Geist and
Enrico Tronci},
title = {The PSL/Sugar Specification Language {A} Language for all Seasons},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {3},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_3},
doi = {10.1007/978-3-540-39724-3\_3},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/Geist03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2003,
editor = {Daniel Geist and
Enrico Tronci},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {2860},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b93958},
doi = {10.1007/B93958},
isbn = {3-540-20363-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HeymanGGS02,
author = {Tamir Heyman and
Daniel Geist and
Orna Grumberg and
Assaf Schuster},
title = {A Scalable Parallel Algorithm for Reachability Analysis of Very Large
Circuits},
journal = {Formal Methods Syst. Des.},
volume = {21},
number = {3},
pages = {317--338},
year = {2002},
url = {https://doi.org/10.1023/A:1020373206491},
doi = {10.1023/A:1020373206491},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/HeymanGGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnerGG02,
author = {Sharon Barner and
Daniel Geist and
Anna Gringauze},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Symbolic Localization Reduction with Reconstruction Layering and Backtracking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {65--77},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_6},
doi = {10.1007/3-540-45657-0\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarnerGG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Abarbanel-VinovABEGHRRSWY01,
author = {Yael Abarbanel{-}Vinov and
Neta Aizenbud{-}Reshef and
Ilan Beer and
Cindy Eisner and
Daniel Geist and
Tamir Heyman and
Iris Reuveni and
Eran Rippel and
Irit Shitsevalov and
Yaron Wolfsthal and
Tali Yatzkar{-}Haham},
title = {On the Effective Deployment of Functional Formal Verification},
journal = {Formal Methods Syst. Des.},
volume = {19},
number = {1},
pages = {35--44},
year = {2001},
url = {https://doi.org/10.1023/A:1011219209077},
doi = {10.1023/A:1011219209077},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Abarbanel-VinovABEGHRRSWY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DushinaBG01,
author = {Julia Dushina and
Mike Benjamin and
Daniel Geist},
title = {Semi-Formal Test Generation with Genevieve},
booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
Las Vegas, NV, USA, June 18-22, 2001},
pages = {617--622},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378239.379035},
doi = {10.1145/378239.379035},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/DushinaBG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/DushinaBG01,
author = {Julia Dushina and
Mike Benjamin and
Daniel Geist},
title = {Semi-Formal Test Generation for a Block of Industrial {DSP}},
booktitle = {19th {IEEE} {VLSI} Test Symposium {(VTS} 2001), Test and Diagnosis
in a Nanometric World, 29 April - 3 May 2001, Marina Del Rey, CA,
{USA}},
pages = {131--137},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/VTS.2001.923429},
doi = {10.1109/VTS.2001.923429},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/DushinaBG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeymanGGS00,
author = {Tamir Heyman and
Daniel Geist and
Orna Grumberg and
Assaf Schuster},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Achieving Scalability in Parallel Reachability Analysis of Very Large
Circuits},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {20--35},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_6},
doi = {10.1007/10722167\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HeymanGGS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KatzGG99,
author = {Sagi Katz and
Orna Grumberg and
Daniel Geist},
editor = {Laurence Pierre and
Thomas Kropf},
title = {"Have {I} written enough Properties?" - {A} Method of Comparison
between Specification and Implementation},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {280--297},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_21},
doi = {10.1007/3-540-48153-2\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/KatzGG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GeistBASNFHLKB99,
author = {Daniel Geist and
Giora Biran and
Tamarah Arons and
Michael Slavkin and
Yvgeny Nustov and
Monica Farkas and
Karen Holtz and
Andy Long and
Dave King and
Steve Barret},
editor = {Mary Jane Irwin},
title = {A Methodology for the Verification of a "System on Chip"},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {574--579},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.310001},
doi = {10.1145/309847.310001},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GeistBASNFHLKB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BenjaminGHMSW99,
author = {Mike Benjamin and
Daniel Geist and
Alan Hartman and
G{\'{e}}rard Mas and
Ralph Smeets and
Yaron Wolfsthal},
editor = {Mary Jane Irwin},
title = {A Study in Coverage-Driven Test Generation},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {970--975},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.310108},
doi = {10.1145/309847.310108},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BenjaminGHMSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeerBEGGHLPRRW97,
author = {Ilan Beer and
Shoham Ben{-}David and
Cindy Eisner and
Daniel Geist and
Leonid Gluhovsky and
Tamir Heyman and
Avner Landver and
P. Paanah and
Yoav Rodeh and
G. Ronin and
Yaron Wolfsthal},
editor = {Orna Grumberg},
title = {RuleBase: Model Checking at {IBM}},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {480--483},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_53},
doi = {10.1007/3-540-63166-6\_53},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeerBEGGHLPRRW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GeistFLLUW96,
author = {Daniel Geist and
Monica Farkas and
Avner Landver and
Yossi Lichtenstein and
Shmuel Ur and
Yaron Wolfsthal},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {Coverage-Directed Test Generation Using Symbolic Techniques},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {143--158},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031805},
doi = {10.1007/BFB0031805},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GeistFLLUW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/ChandraIJJNRMYAGW95,
author = {Ashok K. Chandra and
Vijay S. Iyengar and
D. Jameson and
R. V. Jawalekar and
Indira Nair and
Barry K. Rosen and
Michael P. Mullen and
J. Yoon and
R. Armoni and
Daniel Geist and
Yaron Wolfsthal},
title = {{AVPGEN-A} test generator for architecture verification},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {3},
number = {2},
pages = {188--200},
year = {1995},
url = {https://doi.org/10.1109/92.386220},
doi = {10.1109/92.386220},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/ChandraIJJNRMYAGW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeerBGGY94,
author = {Ilan Beer and
Shoham Ben{-}David and
Daniel Geist and
Raanan Gewirtzman and
Michael Yoeli},
editor = {David L. Dill},
title = {Methodology and System for Practical Formal Verification of Reactive
Hardware},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {182--193},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_53},
doi = {10.1007/3-540-58179-0\_53},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeerBGGY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GeistB94,
author = {Daniel Geist and
Ilan Beer},
editor = {David L. Dill},
title = {Efficient Model Checking by Automated Ordering of Transition Relation
Partitions},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {299--310},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_63},
doi = {10.1007/3-540-58179-0\_63},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GeistB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/GeistR92,
author = {Daniel Geist and
Ervin Y. Rodin},
title = {Adjacency of the 0-1 knapsack problem},
journal = {Comput. Oper. Res.},
volume = {19},
number = {8},
pages = {797--800},
year = {1992},
url = {https://doi.org/10.1016/0305-0548(92)90019-2},
doi = {10.1016/0305-0548(92)90019-2},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/GeistR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cg/GeistV89,
author = {Daniel Geist and
Michael W. Vannier},
title = {PC-based 3-D reconstruction of medical images},
journal = {Comput. Graph.},
volume = {13},
number = {2},
pages = {135--143},
year = {1989},
url = {https://doi.org/10.1016/0097-8493(89)90055-1},
doi = {10.1016/0097-8493(89)90055-1},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cg/GeistV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/GeistL89,
author = {Daniel Geist and
Yuval Lirov},
title = {Time-variant decision support systems},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, November 14-17, 1989, Cambridge, Massachusetts, {USA}},
pages = {244--249},
publisher = {{IEEE}},
year = {1989},
url = {https://doi.org/10.1109/ICSMC.1989.71290},
doi = {10.1109/ICSMC.1989.71290},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/GeistL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
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:
