Patents by Inventor Eric A. Bier

Eric A. Bier 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).

  • Publication number: 20220206930
    Abstract: One embodiment provides a system for automatic program repair (APR). The system identifies a first set of components under repair in a software system and determines, while executing an original test, second and third sets of components that are executed before and after, respectively, the first set of components. The system generates a first block of mock code that runs faster and simulates runtime behaviors of the second set of components, identifies a code region within the third set of components that affects a test result of the software system, and generates a second block of mock code that runs faster and affects the test result similarly. The system generates a fast-result test by replacing the second set of components with the first block of mock code and replacing the third set of components with the second block of mock code and performs APR by executing the fast-result test.
    Type: Application
    Filed: December 28, 2020
    Publication date: June 30, 2022
    Applicant: Palo Alto Research Center Incorporated
    Inventors: Eric A. Bier, Alexandre Campos Perez
  • Publication number: 20220100477
    Abstract: Embodiments described herein provide a round-trip engineering system. During operation, the system can maintain an intermediate system representation (ISR) for a set of artifacts of a piece of software. The set of artifacts can include a piece of code and a development model. The ISR can remain persistent upon synchronization of the set of artifacts. The system can incorporate, in a respective component of the ISR, a reference to a code block in the piece of code and a corresponding element in the development model. If the system determines a first update in a first segment of a first artifact of the set of artifacts, the system can identify a second segment in a second artifact from the set of artifacts based on a corresponding component in the ISR. The system can then propagate a second update to the second segment to reflect the first update in the first segment.
    Type: Application
    Filed: September 30, 2020
    Publication date: March 31, 2022
    Applicant: Palo Alto Research Center Incorporated
    Inventors: Marc E. Mosko, Eric A. Bier
  • Publication number: 20220078181
    Abstract: A certified application is installed onto a content creation device and a mobile certified application is installed onto a mobile device, the applications establish first and second trust relationships with the cloud service. The certified application and mobile certified application establish the third trust relationship via a proximity network. The mobile certified application generates a first ephemeral key pair having a private part. The certified application generates a second ephemeral key pair having a private part. The mobile certified application requests a service from the content creation device involving the transfer of data between the content creation device and the cloud service. The data is protected by at least one of the first and second ephemeral key pairs in response to invocation of the service. The service results in the data being stored at the cloud service and/or rendered at the content creation device.
    Type: Application
    Filed: September 10, 2020
    Publication date: March 10, 2022
    Inventors: Alejandro E. Brito, Eric A. Bier, Marc E. Mosko, Shantanu Rane
  • Patent number: 11265331
    Abstract: A multifunction printer connects to a controlled device via a proximity network link. The multifunction printer is connected as a master of the controlled device. The multifunction printer connects with a mobile device via a Bluetooth link, such that the mobile device is connected as a master of the multifunction printer. The mobile device is authenticated to determine credentials and access permissions relative to the controlled device. The mobile device's access to the controlled device is controlled from the multifunction printer via the Bluetooth link based on the credentials and access permissions.
    Type: Grant
    Filed: October 15, 2019
    Date of Patent: March 1, 2022
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Alejandro E. Brito, Shantanu Rane, Eric A. Bier
  • Patent number: 11249888
    Abstract: One embodiment provides a system and method for identifying invariants in a software system. During operation, the system executes a test suite comprising a plurality of tests associated with the software system to output a list of likely invariants in the software system, and performs a test-generation operation attempting to generate counterexample tests for the likely invariants. In response to a counterexample test being successfully generated for a first likely invariant, the system removes the first likely invariant from the list of likely invariants and adds the successfully generated counterexample test to the test suite.
    Type: Grant
    Filed: September 28, 2020
    Date of Patent: February 15, 2022
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Alexandre Campos Perez, Eric A. Bier, Johan de Kleer, Ron Z. Stern
  • Patent number: 11163674
    Abstract: One embodiment provides a system and method for automatically localizing faults in a software system. During operation, the system executes a number of tests associated with the software system to output a spectrum indicating test-coverage patterns of components within the software system; and identifies, based on the spectrum, an ambiguity group associated with at least one failed test. The ambiguity group includes multiple components having a same coverage pattern. The system instruments the multiple components. Instrumenting a respective component includes inserting instructions for monitoring runtime values of at least one variable. The system identifies a subset of tests within which the instrumented multiple components are active, re-executes the identified subset of tests with the multiple components being instrumented, and identifies one component from the multiple components as being likely to cause the at least one failed test based on results of the re-executed subset of tests.
    Type: Grant
    Filed: September 28, 2020
    Date of Patent: November 2, 2021
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Alexandre Campos Perez, Eric A. Bier
  • Patent number: 11157860
    Abstract: A system and method for motivating parking enforcement officer performance with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Grant
    Filed: August 26, 2016
    Date of Patent: October 26, 2021
    Assignee: Conduent Business Services, LLC
    Inventors: Mark J. Stefik, Mudita Singhal, Kevin Albanese, Farrukh Ali, Eric A. Bier, Daniel G. Bobrow, Eduardo Cardenas Sanchez, Matthew T. Darst, Gaurang Gavai, Robert T. Krivacic, Sureyya Tarkan
  • Patent number: 11151494
    Abstract: A system and method for visualizing parking enforcement officer movement in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Grant
    Filed: August 26, 2016
    Date of Patent: October 19, 2021
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Mudita Singhal, Mark J. Stefik, Sureyya Tarkan, Eric A. Bier, Robert T. Krivacic
  • Patent number: 11144855
    Abstract: A system and method for managing coverage of parking enforcement for a neighborhood with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Grant
    Filed: August 26, 2016
    Date of Patent: October 12, 2021
    Assignee: Conduent Business Services, LLC
    Inventors: Mark J. Stefik, Mudita Singhal, Kevin Albanese, Farrukh Ali, Eric A. Bier, Daniel G. Bobrow, Eduardo Cardenas Sanchez, Matthew T. Darst, Hoda Eldardiry, Gaurang Gavai, Robert T. Krivacic
  • Patent number: 11126942
    Abstract: A system and method for facilitating parking enforcement officer performance in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Grant
    Filed: August 26, 2016
    Date of Patent: September 21, 2021
    Assignee: Conduent Business Services, LLC
    Inventors: Mark J. Stefik, Mudita Singhal, Kevin Albanese, Farrukh Ali, Eric A. Bier, Daniel G. Bobrow, Eduardo Cardenas Sanchez, Matthew T. Darst, Hoda Eldardiry, Gaurang Gavai, Lu (Kate) Jia, Robert T. Krivacic, Sureyya Tarkan
  • Patent number: 11120375
    Abstract: A system and method for monitoring parking enforcement officer performance with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Grant
    Filed: August 26, 2016
    Date of Patent: September 14, 2021
    Assignee: Conduent Business Services, LLC
    Inventors: Mark J. Stefik, Mudita Singhal, Kevin Albanese, Farrukh Ali, Eric A. Bier, Daniel G. Bobrow, Eduardo Cardenas Sanchez, Matthew T. Darst, Hoda Eldardiry, Gaurang Gavai, Lu (Kate) Jia, Robert T. Krivacic, Pai Liu, Sureyya Tarkan
  • Patent number: 11062241
    Abstract: A system and method for facilitating parking enforcement officer dispatching in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Grant
    Filed: August 26, 2016
    Date of Patent: July 13, 2021
    Assignee: Conduent Business Services, LLC
    Inventors: Mark J. Stefik, Mudita Singhal, Kevin Albanese, Farrukh Ali, Eric A. Bier, Daniel G. Bobrow, Eduardo Cardenas Sanchez, Matthew T. Darst, Hoda Eldardiry, Gaurang Gavai, Robert T. Krivacic, Pai Liu, Sureyya Tarkan
  • Publication number: 20210112069
    Abstract: A multifunction printer connects to a controlled device via a proximity network link. The multifunction printer is connected as a master of the controlled device. The multifunction printer connects with a mobile device via a Bluetooth link, such that the mobile device is connected as a master of the multifunction printer. The mobile device is authenticated to determine credentials and access permissions relative to the controlled device. The mobile device's access to the controlled device is controlled from the multifunction printer via the Bluetooth link based on the credentials and access permissions.
    Type: Application
    Filed: October 15, 2019
    Publication date: April 15, 2021
    Inventors: Alejandro E. Brito, Shantanu Rane, Eric A. Bier
  • Patent number: 10827092
    Abstract: A multi-function printer is coupled to a mobile device via a proximity network interface. The multi-function printer determines a workflow specified by a user of the mobile device. An ephemeral token associated with the workflow is sent to the mobile user device. The mobile device uses the ephemeral token to create a payment packet that is sent to a payment server which sends a receipt in response thereto. The multi-function printer receives the receipt from the mobile device and in response to receiving the receipt, obtains a list of payments from the payment server. The multi-function printer performs the workflow based on validating the receipt against the list of payments.
    Type: Grant
    Filed: June 18, 2019
    Date of Patent: November 3, 2020
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Eric A. Bier, Alejandro E. Brito, Shantanu Rane
  • Patent number: 10817814
    Abstract: A system and method for coordinating parking enforcement officer patrol in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and ongoing activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Grant
    Filed: August 26, 2016
    Date of Patent: October 27, 2020
    Assignee: Conduent Business Services, LLC
    Inventors: Mark J. Stefik, Mudita Singhal, Kevin Albanese, Farrukh Ali, Eric A. Bier, Daniel G. Bobrow, Eduardo Cardenas Sanchez, Matthew T. Darst, Hoda Eldardiry, Gaurang Gavai, Robert T. Krivacic, Sureyya Tarkan
  • Patent number: 10685234
    Abstract: A method and system are provided that analyze a first digital asset to identify a set of attributes of the first digital asset. Search criteria are then formulated, and a search is conducted. Once search results are obtained, at least one second digital asset that is substantially identical to the first digital asset is identified. Then, metadata between the first digital asset and the second digital asset is shared.
    Type: Grant
    Filed: March 31, 2012
    Date of Patent: June 16, 2020
    Assignees: Xerox Corporation, Palo Alto Research Center Incorporated
    Inventors: Robert Roy Buckley, Eric A. Bier
  • Publication number: 20180060775
    Abstract: A system and method for visualizing parking enforcement officer movement in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Application
    Filed: August 26, 2016
    Publication date: March 1, 2018
    Inventors: Mudita Singhal, Mark J. Stefik, Sureyya Tarkan, Eric A. Bier, Robert T. Krivacic
  • Publication number: 20180060790
    Abstract: A system and method for coordinating parking enforcement officer patrol in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and ongoing activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Application
    Filed: August 26, 2016
    Publication date: March 1, 2018
    Inventors: Mark J. Stefik, Mudita Singhal, Kevin Albanese, Farrukh Ali, Eric A. Bier, Daniel G. Bobrow, Eduardo Cardenas Sanchez, Matthew T. Darst, Hoda Eldardiry, Gaurang Gavai, Robert T. Krivacic, Sureyya Tarkan
  • Publication number: 20180060783
    Abstract: A system and method for motivating parking enforcement officer performance with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Application
    Filed: August 26, 2016
    Publication date: March 1, 2018
    Inventors: Mark J. Stefik, Mudita Singhal, Kevin Albanese, Farrukh Ali, Eric A. Bier, Daniel G. Bobrow, Eduardo Cardenas Sanchez, Matthew T. Darst, Gaurang Gavai, Robert T. Krivacic, Sureyya Tarkan
  • Publication number: 20180060798
    Abstract: A system and method for facilitating parking enforcement officer dispatching in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.
    Type: Application
    Filed: August 26, 2016
    Publication date: March 1, 2018
    Inventors: Mark J. Stefik, Mudita Singhal, Kevin Albanese, Farrukh Ali, Eric A. Bier, Daniel G. Bobrow, Eduardo Cardenas Sanchez, Matthew T. Darst, Hoda Eldardiry, Gaurang Gavai, Robert T. Krivacic, Pai Liu, Sureyya Tarkan