Patents by Inventor Ziv Glazberg

Ziv Glazberg has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 10719679
    Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.
    Type: Grant
    Filed: March 27, 2019
    Date of Patent: July 21, 2020
    Assignee: Glazberg, Applebaum & Co.
    Inventors: Ziv Glazberg, Nadav Applebaum, Shmuel Ur
  • Publication number: 20190220641
    Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.
    Type: Application
    Filed: March 27, 2019
    Publication date: July 18, 2019
    Inventors: Ziv Glazberg, Nadav Applebaum, Shmuel Ur
  • Patent number: 10248824
    Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.
    Type: Grant
    Filed: April 15, 2017
    Date of Patent: April 2, 2019
    Assignee: Glazberg Appelbaum & Co.
    Inventors: Ziv Glazberg, Nadav Applebaum, Shmuel Ur
  • Publication number: 20170220835
    Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.
    Type: Application
    Filed: April 15, 2017
    Publication date: August 3, 2017
    Inventors: Ziv Glazberg, Nadav Applebaum, Shmuel Ur
  • Patent number: 9623604
    Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.
    Type: Grant
    Filed: January 18, 2015
    Date of Patent: April 18, 2017
    Assignee: Glazberg Appelbaum & Co
    Inventors: Ziv Glazberg, Nadav Applebaum, Shmuel Ur
  • Publication number: 20150242737
    Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.
    Type: Application
    Filed: January 18, 2015
    Publication date: August 27, 2015
    Inventors: Ziv Glazberg, Nadav Applebaum, Shmuel UR
  • Patent number: 8209667
    Abstract: A computer-implemented method for verifying a target system includes defining a specification including properties applicable to the target system. Execution sequences of the target system are identified. A set of the execution sequences is grouped into an equivalence class characterized by a common control flow. A symbolic representation of the equivalence class is evaluated so as to verify a compliance of the set of the execution sequences with one or more of the properties.
    Type: Grant
    Filed: January 11, 2006
    Date of Patent: June 26, 2012
    Assignee: International Business Machines Corporation
    Inventors: Cynthia Rae Eisner, Ziv Glazberg, Sharon Keidar-Barner, Ishai Rabinovitz
  • Patent number: 8019824
    Abstract: A system for remote operation of the computer software applications, the system including a remote application controller for associating a master control with both a master application and a master action associated with the master application, and a command receiver/implementer for associating a slave control with both a slave application and a slave action associated with the slave application, where the remote application controller commands the command receiver/implementer to perform the slave action in connection with the performing of the master action.
    Type: Grant
    Filed: July 12, 2006
    Date of Patent: September 13, 2011
    Assignee: International Business Machines Corporation
    Inventors: Ziv Glazberg, Ishai Rabinovitz, Shmuel Ur
  • Patent number: 7990980
    Abstract: A method and system are disclosed for modeling non-deterministic queues for efficient model checking. In this method and system, a multitude of messages are held in a plurality of queues, and these messages having n priorities. The method comprises the steps of providing (n+1) queues, including a first queue, and n priority queues; passing said messages from a source to the first queue; passing each of said messages from the first queue to one of said n priority queues based on the priority of the message; and passing each of said messages from the n priority queues to a destination based on the priority of the message. One or more non-deterministic waits are introduced into one or more of the passing steps to simplify passing the messages into or out of the n priority queues.
    Type: Grant
    Filed: December 27, 2007
    Date of Patent: August 2, 2011
    Assignee: International Business Machines Corporation
    Inventors: Ziv Glazberg, Janees Elamkulam, Satish Chandra Gupta, Sandeep Kohli, Ishai Rabinovitz
  • Patent number: 7921411
    Abstract: A method for verifying software program code includes specifying a property that the software program code is expected to satisfy. The software program code and the property are transformed into an initial logical formula in a static single assignment (SSA) form, the formula including variables. A loop in the software program code is identified. Successive over-approximations are applied to a portion of the initial logical formula corresponding to the loop in order to produce a modified logical formula in the SSA form that represents a finite over-approximation of a set of states that are reachable by the loop. It is verified that the software program code satisfies the specified property by determining whether there is an assignment of the variables that satisfies the modified logical formula.
    Type: Grant
    Filed: October 20, 2006
    Date of Patent: April 5, 2011
    Assignee: International Business Machines Corporation
    Inventors: Hana Chockler, Ziv Glazberg, Benyamin Godlin, Sharon Keidar-Barner
  • Patent number: 7861231
    Abstract: A method and system to identifying the use of dangling pointers in software instrumentation irrespective of the location of the pointer in the memory. The main memory is preferably segmented into three parts defined as a first memory, a version segment and a pointer version segment. By use of the version segment and pointer version stored in the pointer version segment, checksum are made on a pointer version with a version on dereferencing a pointer in the first memory to identify references to a dangling pointer on negative determination. Identified dangling pointer may be reported to the end user.
    Type: Grant
    Filed: March 9, 2007
    Date of Patent: December 28, 2010
    Assignee: International Business Machines Corporation
    Inventors: Kumar Rangarajan, Satish Chandra Gupta, Ziv Glazberg, Ishai Rabinovitz
  • Patent number: 7853932
    Abstract: System, method and computer program product for checking a software entity, the method includes: providing a direct acyclic graph representative of possible execution paths of the software entity; wherein multiple successor nodes that succeed a certain parent node are associated with different execution probabilities; randomly selecting a successor node out of the multiple successor nodes in response the execution probabilities; and checking the software entity in response to the selection.
    Type: Grant
    Filed: July 10, 2006
    Date of Patent: December 14, 2010
    Assignee: International Business Machines Corporation
    Inventors: Hana Chockler, Eitan Daniel Farchi, Ziv Glazberg, Benyamin Godlin
  • Patent number: 7793263
    Abstract: A computer-implemented method for reviewing software includes monitoring a review session held by one or more reviewers for locating errors in a computer program, and automatically detecting a suggestion-triggering event in the monitored session. A suggested action predicted to increase a likelihood of locating the errors is determined based on known bug patterns responsively to the detected suggestion-triggering event. The suggested action is applied in an execution of the review session.
    Type: Grant
    Filed: February 2, 2006
    Date of Patent: September 7, 2010
    Assignee: International Business Machines Corporation
    Inventors: Eitan Daniel Farchi, Ziv Glazberg, Ishai Rabinovitz
  • Publication number: 20090168785
    Abstract: A method and system are disclosed for modeling non-deterministic queues for efficient model checking. In this method and system, a multitude of messages are held in a plurality of queues, and these messages having n priorities. The method comprises the steps of providing (n+1) queues, including a first queue, and n priority queues; passing said messages from a source to the first queue; passing each of said messages from the first queue to one of said n priority queues based on the priority of the message; and passing each of said messages from the n priority queues to a destination based on the priority of the message. One or more non-deterministic waits are introduced into one or more of the passing steps to simplify passing the messages into or out of the n priority queues.
    Type: Application
    Filed: December 27, 2007
    Publication date: July 2, 2009
    Inventors: Ziv Glazberg, Janees Elamkulam, Satish Chandra Gupta, Sandeep Kohli, Ishai Rabinovitz
  • Publication number: 20080222224
    Abstract: A method and system to identifying the use of dangling pointers in software instrumentation irrespective of the location of the pointer in the memory. The main memory is preferably segmented into three parts defined as a first memory, a version segment and a pointer version segment. By use of the version segment and pointer version stored in the pointer version segment, checksum are made on a pointer version with a version on dereferencing a pointer in the first memory to identify references to a dangling pointer on negative determination. Identified dangling pointer may be reported to the end user.
    Type: Application
    Filed: March 9, 2007
    Publication date: September 11, 2008
    Inventors: Kumar Rangarajan, Satish Chandra Gupta, Ziv Glazberg, Ishai Rabinovitz
  • Publication number: 20080098347
    Abstract: A method for verifying software program code includes specifying a property that the software program code is expected to satisfy. The software program code and the property are transformed into an initial logical formula in a static single assignment (SSA) form, the formula including variables. A loop in the software program code is identified. Successive over-approximations are applied to a portion of the initial logical formula corresponding to the loop in order to produce a modified logical formula in the SSA form that represents a finite over-approximation of a set of states that are reachable by the loop. It is verified that the software program code satisfies the specified property by determining whether there is an assignment of the variables that satisfies the modified logical formula.
    Type: Application
    Filed: October 20, 2006
    Publication date: April 24, 2008
    Inventors: Hana Chockler, Ziv Glazberg, Benyamin Godlin, Sharon Keidar-Barner
  • Publication number: 20080052692
    Abstract: System, method and computer program product for checking a software entity, the method includes: providing a direct acyclic graph representative of possible execution paths of the software entity; wherein multiple successor nodes that succeed a certain parent node are associated with different execution probabilities; randomly selecting a successor node out of the multiple successor nodes in response the execution probabilities; and checking the software entity in response to the selection.
    Type: Application
    Filed: July 10, 2006
    Publication date: February 28, 2008
    Inventors: Hana Chockler, Eitan Daniel Farchi, Ziv Glazberg, Benyamin Godlin
  • Publication number: 20080016175
    Abstract: A system for remote operation of the computer software applications, the system including a remote application controller for associating a master control with both a master application and a master action associated with the master application, and a command receiver/implementer for associating a slave control with both a slave application and a slave action associated with the slave application, where the remote application controller commands the command receiver/implementer to perform the slave action in connection with the performing of the master action.
    Type: Application
    Filed: July 12, 2006
    Publication date: January 17, 2008
    Inventors: Ziv Glazberg, Ishai Rabinovitz, Shmuel Ur
  • Publication number: 20070180430
    Abstract: A computer-implemented method for reviewing software includes monitoring a review session held by one or more reviewers for locating errors in a computer program, and automatically detecting a suggestion-triggering event in the monitored session. A suggested action predicted to increase a likelihood of locating the errors is determined based on known bug patterns responsively to the detected suggestion-triggering event. The suggested action is applied in an execution of the review session.
    Type: Application
    Filed: February 2, 2006
    Publication date: August 2, 2007
    Applicant: International Business Machines Corporation
    Inventors: Eitan Farchi, Ziv Glazberg, Ishai Rabinovitz
  • Publication number: 20070168988
    Abstract: A computer-implemented method for verifying a target system includes defining a specification including properties applicable to the target system. Execution sequences of the target system are identified. A set of the execution sequences is grouped into an equivalence class characterized by a common control flow. A symbolic representation of the equivalence class is evaluated so as to verify a compliance of the set of the execution sequences with one or more of the properties.
    Type: Application
    Filed: January 11, 2006
    Publication date: July 19, 2007
    Applicant: International Business Machines Corporation
    Inventors: Cynthia Eisner, Ziv Glazberg, Sharon Keidar-Barner, Ishai Rabinovitz