Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Limor Fix
@article{DBLP:journals/corr/AlurBDFFHLNMPRS16,
author = {Rajeev Alur and
Emery D. Berger and
Ann W. Drobnis and
Limor Fix and
Kevin Fu and
Gregory D. Hager and
Daniel P. Lopresti and
Klara Nahrstedt and
Elizabeth D. Mynatt and
Shwetak N. Patel and
Jennifer Rexford and
John A. Stankovic and
Benjamin G. Zorn},
title = {Systems Computing Challenges in the Internet of Things},
journal = {CoRR},
volume = {abs/1604.02980},
year = {2016},
url = {http://arxiv.org/abs/1604.02980},
eprinttype = {arXiv},
eprint = {1604.02980},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurBDFFHLNMPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoulesDFFHHHLMR16,
author = {Nady Boules and
Khari Douglas and
Stuart I. Feldman and
Limor Fix and
Gregory D. Hager and
Brent Hailpern and
Martial Hebert and
Daniel P. Lopresti and
Beth Mynatt and
Christopher J. Rossbach and
Helen V. Wright},
title = {The Future of Computing Research: Industry-Academic Collaborations},
journal = {CoRR},
volume = {abs/1606.09236},
year = {2016},
url = {http://arxiv.org/abs/1606.09236},
eprinttype = {arXiv},
eprint = {1606.09236},
timestamp = {Tue, 07 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoulesDFFHHHLMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Fix08,
author = {Limor Fix},
editor = {Orna Grumberg and
Helmut Veith},
title = {Fifteen Years of Formal Property Verification in Intel},
booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
series = {Lecture Notes in Computer Science},
volume = {5000},
pages = {139--144},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69850-0\_8},
doi = {10.1007/978-3-540-69850-0\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Fix08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2008,
editor = {Limor Fix},
title = {Proceedings of the 45th Design Automation Conference, {DAC} 2008,
Anaheim, CA, USA, June 8-13, 2008},
publisher = {{ACM}},
year = {2008},
url = {http://dl.acm.org/citation.cfm?id=1391469},
isbn = {978-1-60558-115-6},
timestamp = {Wed, 30 Nov 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FixGHHS07,
author = {Limor Fix and
Orna Grumberg and
Amnon Heyman and
Tamir Heyman and
Assaf Schuster},
title = {Verifying Very Large Industrial Circuits Using 100 Processes and Beyond},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {1},
pages = {45--62},
year = {2007},
url = {https://doi.org/10.1142/S0129054107004565},
doi = {10.1142/S0129054107004565},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/FixGHHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/ArmoniFFHVVZ07,
author = {Roy Armoni and
Limor Fix and
Ranan Fraer and
Tamir Heyman and
Moshe Y. Vardi and
Yakir Vizel and
Yael Zbar},
title = {Deeper Bound in {BMC} by Combining Constant Propagation and Abstraction},
booktitle = {Proceedings of the 12th Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2007, Yokohama, Japan, January 23-26, 2007},
pages = {304--309},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ASPDAC.2007.358003},
doi = {10.1109/ASPDAC.2007.358003},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/ArmoniFFHVVZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/GoodeCTMSHSFSS07,
author = {Adam Goode and
Mei Chen and
Anil Tarachandani and
Lily B. Mummert and
Rahul Sukthankar and
Casey Helfrich and
Alice Stefanni and
Limor Fix and
Jeffrey Saltzman and
Mahadev Satyanarayanan},
title = {Interactive Search of Adipocytes in Large Collections of Digital Cellular
Images},
booktitle = {Proceedings of the 2007 {IEEE} International Conference on Multimedia
and Expo, {ICME} 2007, July 2-5, 2007, Beijing, China},
pages = {695--698},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICME.2007.4284745},
doi = {10.1109/ICME.2007.4284745},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmcs/GoodeCTMSHSFSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ChenGKLABFFHMW07,
author = {Shimin Chen and
Phillip B. Gibbons and
Michael Kozuch and
Vasileios Liaskovitis and
Anastassia Ailamaki and
Guy E. Blelloch and
Babak Falsafi and
Limor Fix and
Nikos Hardavellas and
Todd C. Mowry and
Chris Wilkerson},
editor = {Phillip B. Gibbons and
Christian Scheideler},
title = {Scheduling threads for constructive cache sharing on CMPs},
booktitle = {{SPAA} 2007: Proceedings of the 19th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, San Diego, California, USA, June
9-11, 2007},
pages = {105--115},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1248377.1248396},
doi = {10.1145/1248377.1248396},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/ChenGKLABFFHMW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BasuDBDCMFA06,
author = {Prasenjit Basu and
Sayantan Das and
Ansuman Banerjee and
Pallab Dasgupta and
P. P. Chakrabarti and
Chunduri Rama Mohan and
Limor Fix and
Roy Armoni},
title = {Design-Intent Coverage - {A} New Paradigm for Formal Property Verification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {25},
number = {10},
pages = {1922--1934},
year = {2006},
url = {https://doi.org/10.1109/TCAD.2005.859490},
doi = {10.1109/TCAD.2005.859490},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/BasuDBDCMFA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/ChenFGKMTAFGLS06,
author = {Shimin Chen and
Babak Falsafi and
Phillip B. Gibbons and
Michael Kozuch and
Todd C. Mowry and
Radu Teodorescu and
Anastassia Ailamaki and
Limor Fix and
Gregory R. Ganger and
Bin Lin and
Steven W. Schlosser},
editor = {Josep Torrellas},
title = {Log-based architectures for general-purpose monitoring of deployed
code},
booktitle = {Proceedings of the 1st Workshop on Architectural and System Support
for Improving Software Dependability, {ASID} 2006, San Jose, California,
USA, October 21, 2006},
pages = {63--65},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181309.1181319},
doi = {10.1145/1181309.1181319},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/ChenFGKMTAFGLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/LiaskovitisCGABFFHKMW06,
author = {Vasileios Liaskovitis and
Shimin Chen and
Phillip B. Gibbons and
Anastassia Ailamaki and
Guy E. Blelloch and
Babak Falsafi and
Limor Fix and
Nikos Hardavellas and
Michael Kozuch and
Todd C. Mowry and
Chris Wilkerson},
editor = {Phillip B. Gibbons and
Uzi Vishkin},
title = {Parallel depth first vs. work stealing schedulers on {CMP} architectures},
booktitle = {{SPAA} 2006: Proceedings of the 18th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Cambridge, Massachusetts, USA, July
30 - August 2, 2006},
pages = {330},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1148109.1148167},
doi = {10.1145/1148109.1148167},
timestamp = {Wed, 21 Nov 2018 11:13:10 +0100},
biburl = {https://dblp.org/rec/conf/spaa/LiaskovitisCGABFFHKMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FixGHHS05,
author = {Limor Fix and
Orna Grumberg and
Amnon Heyman and
Tamir Heyman and
Assaf Schuster},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Verifying Very Large Industrial Circuits Using 100 Processes and Beyond},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {11--25},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_4},
doi = {10.1007/11562948\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FixGHHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AronsEFMMSSTVZ05,
author = {Tamarah Arons and
Elad Elster and
Limor Fix and
Sela Mador{-}Haim and
Michael Mishaeli and
Jonathan Shalev and
Eli Singerman and
Andreas Tiemeyer and
Moshe Y. Vardi and
Lenore D. Zuck},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Formal Verification of Backward Compatibility of Microcode},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {185--198},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_20},
doi = {10.1007/11513988\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AronsEFMMSSTVZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/DasBBDCMF05,
author = {Sayantan Das and
Ansuman Banerjee and
Prasenjit Basu and
Pallab Dasgupta and
P. P. Chakrabarti and
Chunduri Rama Mohan and
Limor Fix},
title = {Formal Methods for Analyzing the Completeness of an Assertion Suite
against a High-Level Fault Model},
booktitle = {18th International Conference on {VLSI} Design {(VLSI} Design 2005),
with the 4th International Conference on Embedded Systems Design,
3-7 January 2005, Kolkata, India},
pages = {201--206},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICVD.2005.101},
doi = {10.1109/ICVD.2005.101},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/DasBBDCMF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BasuDDCMF04,
author = {Prasenjit Basu and
Sayantan Das and
Pallab Dasgupta and
P. P. Chakrabarti and
Chunduri Rama Mohan and
Limor Fix},
title = {Formal Verification Coverage: Are the RTL-Properties Covering the
Design's Architectural Intent?},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {668--669},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DATE.2004.1268922},
doi = {10.1109/DATE.2004.1268922},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BasuDDCMF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/DasBBDCMFA04,
author = {Sayantan Das and
Prasenjit Basu and
Ansuman Banerjee and
Pallab Dasgupta and
P. P. Chakrabarti and
Chunduri Rama Mohan and
Limor Fix and
Roy Armoni},
title = {Formal verification coverage: computing the coverage gap between temporal
specifications},
booktitle = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
San Jose, CA, USA, November 7-11, 2004},
pages = {198--203},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2004},
url = {https://doi.org/10.1109/ICCAD.2004.1382571},
doi = {10.1109/ICCAD.2004.1382571},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/DasBBDCMFA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Fix04,
author = {Limor Fix},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Abstract for the {ISOLA} Special Session on "Industrial use of
tools for Formal Analysis"},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {189--189},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/Fix04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArmoniFFHPV05,
author = {Roy Armoni and
Limor Fix and
Ranan Fraer and
Scott Huddleston and
Nir Piterman and
Moshe Y. Vardi},
editor = {Armin Biere and
Ofer Strichman},
title = {SAT-based Induction for Temporal Safety Properties},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {3--16},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.021},
doi = {10.1016/J.ENTCS.2004.12.021},
timestamp = {Tue, 13 Dec 2022 11:43:14 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArmoniFFHPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2004,
editor = {Sharad Malik and
Limor Fix and
Andrew B. Kahng},
title = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
San Diego, CA, USA, June 7-11, 2004},
publisher = {{ACM}},
year = {2004},
url = {http://dl.acm.org/citation.cfm?id=996566},
isbn = {1-58113-828-8},
timestamp = {Wed, 30 Nov 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/LavagnoF03,
author = {Luciano Lavagno and
Limor Fix},
title = {{DAC} Highlights},
journal = {{IEEE} Des. Test Comput.},
volume = {20},
number = {3},
pages = {88--89},
year = {2003},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/LavagnoF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArmoniFFGPTV03,
author = {Roy Armoni and
Limor Fix and
Alon Flaisher and
Orna Grumberg and
Nir Piterman and
Andreas Tiemeyer and
Moshe Y. Vardi},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Enhanced Vacuity Detection in Linear Temporal Logic},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {368--380},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_35},
doi = {10.1007/978-3-540-45069-6\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ArmoniFFGPTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HazelhurstWKF02,
author = {Scott Hazelhurst and
Osnat Weissberg and
Gila Kamhi and
Limor Fix},
title = {A hybrid verification approach: getting deep into the design},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {111--116},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.513948},
doi = {10.1145/513918.513948},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HazelhurstWKF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DillJRBFFRSW02,
author = {David L. Dill and
Nate James and
Shishpal Rawat and
G{\'{e}}rard Berry and
Limor Fix and
Harry Foster and
Rajeev K. Ranjan and
Gunnar St{\aa}lmarck and
Curt Widdoes},
title = {Formal verification methods: getting around the brick wall},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {576--577},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.514064},
doi = {10.1145/513918.514064},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/DillJRBFFRSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ArmoniFFGGKLMSTVZ02,
author = {Roy Armoni and
Limor Fix and
Alon Flaisher and
Rob Gerth and
Boris Ginsburg and
Tomer Kanza and
Avner Landver and
Sela Mador{-}Haim and
Eli Singerman and
Andreas Tiemeyer and
Moshe Y. Vardi and
Yael Zbar},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {The ForSpec Temporal Logic: {A} New Temporal Property-Specification
Language},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {296--211},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_21},
doi = {10.1007/3-540-46002-0\_21},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ArmoniFFGGKLMSTVZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CoptyFFGKTV01,
author = {Fady Copty and
Limor Fix and
Ranan Fraer and
Enrico Giunchiglia and
Gila Kamhi and
Armando Tacchella and
Moshe Y. Vardi},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Benefits of Bounded Model Checking at an Industrial Setting},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {436--453},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_43},
doi = {10.1007/3-540-44585-4\_43},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CoptyFFGKTV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FraerKZVF00,
author = {Ranan Fraer and
Gila Kamhi and
Barukh Ziv and
Moshe Y. Vardi and
Limor Fix},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Prioritized Traversal: Efficient Reachability Analysis for Verification
and Falsification},
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 = {389--402},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_30},
doi = {10.1007/10722167\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/FraerKZVF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurFH99,
author = {Rajeev Alur and
Limor Fix and
Thomas A. Henzinger},
title = {Event-Clock Automata: {A} Determinizable Class of Timed Automata},
journal = {Theor. Comput. Sci.},
volume = {211},
number = {1-2},
pages = {253--273},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(97)00173-4},
doi = {10.1016/S0304-3975(97)00173-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurFH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FraerKFV99,
author = {Ranan Fraer and
Gila Kamhi and
Limor Fix and
Moshe Y. Vardi},
editor = {Alessandro Cimatti and
Orna Grumberg},
title = {Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting},
booktitle = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
Italy, July 6, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {2},
pages = {11--22},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)80665-0},
doi = {10.1016/S1571-0661(04)80665-0},
timestamp = {Tue, 22 Nov 2022 15:04:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FraerKFV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KamhiFB98,
author = {Gila Kamhi and
Limor Fix and
Ziv Binyamini},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {Symbolic Model Checking Visualization},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {290--303},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_19},
doi = {10.1007/3-540-49519-3\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KamhiFB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Mador-HaimF98,
author = {Sela Mador{-}Haim and
Limor Fix},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {Input Elimination and Abstraction in Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {304--320},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_20},
doi = {10.1007/3-540-49519-3\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Mador-HaimF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KamhiF98,
author = {Gila Kamhi and
Limor Fix},
editor = {Hiroto Yasuura},
title = {Adaptive variable reordering for symbolic model checking},
booktitle = {Proceedings of the 1998 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1998, San Jose, CA, USA, November 8-12, 1998},
pages = {359--365},
publisher = {{ACM} / {IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1145/288548.289054},
doi = {10.1145/288548.289054},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/KamhiF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KamhiWF97,
author = {Gila Kamhi and
Osnat Weissberg and
Limor Fix},
editor = {Orna Grumberg},
title = {Automatic Datapath Extraction for Efficient Usage of {HDD}},
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 = {95--106},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_12},
doi = {10.1007/3-540-63166-6\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KamhiWF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FixG96,
author = {Limor Fix and
Orna Grumberg},
title = {Verification of Temporal Properties},
journal = {J. Log. Comput.},
volume = {6},
number = {3},
pages = {343--361},
year = {1996},
url = {https://doi.org/10.1093/logcom/6.3.343},
doi = {10.1093/LOGCOM/6.3.343},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FixG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FixFG94,
author = {Limor Fix and
Nissim Francez and
Orna Grumberg},
title = {Program Composition via Unification},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {139--179},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90093-0},
doi = {10.1016/0304-3975(94)90093-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FixFG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurFH94,
author = {Rajeev Alur and
Limor Fix and
Thomas A. Henzinger},
editor = {David L. Dill},
title = {A Determinizable Class of Timed Automata},
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 = {1--13},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_39},
doi = {10.1007/3-540-58179-0\_39},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurFH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FixS94,
author = {Limor Fix and
Fred B. Schneider},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Hybrid Verification by Exploiting the Environment},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {1--18},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_157},
doi = {10.1007/3-540-58468-4\_157},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/FixS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FixS94,
author = {Limor Fix and
Fred B. Schneider},
editor = {Serge Abiteboul and
Eli Shamir},
title = {Reasoning about Programs by Exploiting the Environment},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {328--339},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_79},
doi = {10.1007/3-540-58201-0\_79},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FixS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FixFG92,
author = {Limor Fix and
Nissim Francez and
Orna Grumberg},
editor = {Werner Kuich},
title = {Program Composition via Unification},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {672--684},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_113},
doi = {10.1007/3-540-55719-9\_113},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FixFG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FixFG91,
author = {Limor Fix and
Nissim Francez and
Orna Grumberg},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Program Composition and Modular Verification},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {93--114},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_127},
doi = {10.1007/3-540-54233-7\_127},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FixFG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/FixFG90,
author = {Limor Fix and
Nissim Francez and
Orna Grumberg},
editor = {Manfred Broy and
Cliff B. Jones},
title = {Sematics-Driven Decompositions for the Verification of Distributed
Programs},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {101--124},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/FixFG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-03-02 00:02 CET 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:
