Search results for "Limor Fix"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Limor Fix (eds.)	Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008	DAC	2008	DBLP BibTeX RDF
1	Limor Fix	Fifteen Years of Formal Property Verification in Intel.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	formal property verification, Model checking, formal specification
1	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster	Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.	Int. J. Found. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar	Deeper Bound in BMC by Combining Constant Propagation and Abstraction.	ASP-DAC	2007	DBLP DOI BibTeX RDF
1	Shimin Chen, Phillip B. Gibbons, Michael Kozuch, Vasileios Liaskovitis, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Todd C. Mowry, Chris Wilkerson	Scheduling threads for constructive cache sharing on CMPs.	SPAA	2007	DBLP DOI BibTeX RDF	constructive cache sharing, parallel depth first, thread granularity, working set profiling, chip multiprocessors, scheduling algorithms, work stealing
1	Adam Goode, Mei Chen, Anil Tarachandani, Lily B. Mummert, Rahul Sukthankar, Casey Helfrich, Alice Stefanni, Limor Fix, Jeffrey Saltzman, Mahadev Satyanarayanan	Interactive Search of Adipocytes in Large Collections of Digital Cellular Images.	ICME	2007	DBLP DOI BibTeX RDF
1	Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni	Design-Intent Coverage - A New Paradigm for Formal Property Verification.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
1	Shimin Chen, Babak Falsafi, Phillip B. Gibbons, Michael Kozuch, Todd C. Mowry, Radu Teodorescu, Anastassia Ailamaki, Limor Fix, Gregory R. Ganger, Bin Lin, Steven W. Schlosser	Log-based architectures for general-purpose monitoring of deployed code.	ASID	2006	DBLP DOI BibTeX RDF	general-purpose task monitoring, log-based architectures, chip multiprocessors
1	Vasileios Liaskovitis, Shimin Chen, Phillip B. Gibbons, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Michael Kozuch, Todd C. Mowry, Chris Wilkerson	Parallel depth first vs. work stealing schedulers on CMP architectures.	SPAA	2006	DBLP DOI BibTeX RDF	scheduling, caches, chip multiprocessors
1	Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi	SAT-based Induction for Temporal Safety Properties.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster	Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.	ATVA	2005	DBLP DOI BibTeX RDF
1	Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix	Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.	VLSI Design	2005	DBLP DOI BibTeX RDF
1	Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck	Formal Verification of Backward Compatibility of Microcode.	CAV	2005	DBLP DOI BibTeX RDF
1	Sharad Malik, Limor Fix, Andrew B. Kahng (eds.)	Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004	DAC	2004	DBLP BibTeX RDF
1	Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix	Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?	DATE	2004	DBLP DOI BibTeX RDF
1	Limor Fix	Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
1	Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni	Formal verification coverage: computing the coverage gap between temporal specifications.	ICCAD	2004	DBLP DOI BibTeX RDF
1	Luciano Lavagno, Limor Fix	DAC Highlights.	IEEE Design & Test of Computers	2003	DBLP BibTeX RDF
1	Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi	Enhanced Vacuity Detection in Linear Temporal Logic.	CAV	2003	DBLP DOI BibTeX RDF
1	Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	The ForSpec Temporal Logic: A New Temporal Property-Specification Language.	TACAS	2002	DBLP DOI BibTeX RDF
1	Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix	A hybrid verification approach: getting deep into the design.	DAC	2002	DBLP DOI BibTeX RDF	hybrid verification, symbolic model checking, symbolic trajectory evaluation
1	David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes	Formal verification methods: getting around the brick wall.	DAC	2002	DBLP DOI BibTeX RDF
1	Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi	Benefits of Bounded Model Checking at an Industrial Setting.	CAV	2001	DBLP DOI BibTeX RDF
1	Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix	Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.	CAV	2000	DBLP DOI BibTeX RDF
1	Rajeev Alur, Limor Fix, Thomas A. Henzinger	Event-Clock Automata: A Determinizable Class of Timed Automata.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi	Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Sela Mador-Haim, Limor Fix	Input Elimination and Abstraction in Model Checking.	FMCAD	1998	DBLP DOI BibTeX RDF
1	Gila Kamhi, Limor Fix, Ziv Binyamini	Symbolic Model Checking Visualization.	FMCAD	1998	DBLP DOI BibTeX RDF
1	Gila Kamhi, Limor Fix	Adaptive variable reordering for symbolic model checking.	ICCAD	1998	DBLP DOI BibTeX RDF	variable reordering, binary decision diagram, symbolic model checking
1	Gila Kamhi, Osnat Weissberg, Limor Fix	Automatic Datapath Extraction for Efficient Usage of HDD.	CAV	1997	DBLP DOI BibTeX RDF
1	Limor Fix, Orna Grumberg	Verification of Temporal Properties.	J. Log. Comput.	1996	DBLP DOI BibTeX RDF
1	Limor Fix, Nissim Francez, Orna Grumberg	Program Composition via Unification.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
1	Limor Fix, Fred B. Schneider	Reasoning about Programs by Exploiting the Environment.	ICALP	1994	DBLP DOI BibTeX RDF
1	Rajeev Alur, Limor Fix, Thomas A. Henzinger	A Determinizable Class of Timed Automata.	CAV	1994	DBLP DOI BibTeX RDF
1	Limor Fix, Fred B. Schneider	Hybrid Verification by Exploiting the Environment.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Limor Fix, Nissim Francez, Orna Grumberg	Program Composition via Unification.	ICALP	1992	DBLP DOI BibTeX RDF
1	Limor Fix, Nissim Francez, Orna Grumberg	Program Composition and Modular Verification.	ICALP	1991	DBLP DOI BibTeX RDF

Publications of "Limor Fix" ( http://dblp.L3S.de/Authors/Limor_Fix )