Patents by Inventor Steven Bucuvalas

Steven Bucuvalas 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: 11720334
    Abstract: Computer software development has produced many advances within computer science and in most aspects of modern society. Even with modern quality control, bug finding, and other code checking applications, computer software is often less than ideal. A developer may write code that is functionally accurate but lacks security, documentation, speed, storage, reusability, or other element that may make a segment of software code less than ideal. Identifying equivalent code, within a defined hypothesis strength and/or resource limitation, and, when found, replacing it with a vetted equivalent promotes the deployment of software that is more robust, secure, usable and reusable, and/or satisfies performance or other objectives.
    Type: Grant
    Filed: September 23, 2021
    Date of Patent: August 8, 2023
    Assignee: PHASE CHANGE SOFTWARE LLC
    Inventors: Steven Bucuvalas, Hugolin Bergier
  • Patent number: 11157250
    Abstract: Computer software development has produced many advances within computer science and in most aspects of modern society. Even with modern quality control, bug finding, and other code checking applications, computer software is often less than ideal. A developer may write code that is functionally accurate but lacks security, documentation, speed, storage, reusability, and/or other elements that may make a segment of software code less than ideal. Identifying equivalent code, within a defined hypothesis strength and/or resource limitation, and, when found, replacing it with a vetted equivalent promotes the deployment of software that is more robust, secure, usable and reusable, and/or satisfies performance or other objectives.
    Type: Grant
    Filed: December 5, 2017
    Date of Patent: October 26, 2021
    Assignee: PHASE CHANGE SOFTWARE LLC
    Inventors: Steven Bucuvalas, Hugolin Bergier
  • Patent number: 10877748
    Abstract: Computer software development has produced many advances within computer science and in most aspects of modern society. Even with modern quality control, bug finding, and other code checking applications, computer software is often less than ideal. A developer may write code that is functionally accurate but lacks security, documentation, speed, storage, reusability, or other element that may make a segment of software code less than ideal. Identifying equivalent code and, when found, replacing it with a vetted equivalent promotes the deployment of software that is more robust, secure, usable and reusable, and/or satisfies performance or other objectives.
    Type: Grant
    Filed: October 16, 2019
    Date of Patent: December 29, 2020
    Assignee: PHASE CHANGE SOFTWARE LLC
    Inventors: Steven Bucuvalas, Kevin Selker
  • Patent number: 10521209
    Abstract: Computer source code maintenance represents a significant aspect of computer systems. Code that was developed for one platform, in one language, may require a significant investment in human effort to port such code to another platform or language. Converting source code to a language-agnostic source code allows a user to view the interaction of various portions of the source code in a unified view. Additionally, the language-agnostic source code may be automatically regenerated by a processor to a different platform or language. As a further benefit, documentation, standards-compliance, security, and/or other non-functional requirements may be provided to further enhance the utility of the original source code.
    Type: Grant
    Filed: May 11, 2016
    Date of Patent: December 31, 2019
    Assignee: PHASE CHANGE SOFTWARE LLC
    Inventor: Steven Bucuvalas
  • Patent number: 10452390
    Abstract: Computer software development has produced many advances within computer science and in most aspects of modern society. Even with modern quality control, bug finding, and other code checking applications, computer software is often less than ideal. A developer may write code that is functionally accurate but lacks security, documentation, speed, storage, reusability, or other element that may make a segment of software code less than ideal. Identifying equivalent code and, when found, replacing it with a vetted equivalent promotes the deployment of software that is more robust, secure, usable and reusable, and/or satisfies performance or other objectives.
    Type: Grant
    Filed: May 1, 2019
    Date of Patent: October 22, 2019
    Assignee: PHASE CHANGE SOFTWARE LLC
    Inventors: Steven Bucuvalas, Kevin Selker
  • Patent number: 10296330
    Abstract: Computer software development has produced many advances within computer science and in most aspects of modern society. Even with modern quality control, bug finding, and other code checking applications, computer software is often less than ideal. A developer may write code that is functionally accurate but lacks security, documentation, speed, storage, reusability, or other element that may make a segment of software code less than ideal. Identifying equivalent code and, when found, replacing it with a vetted equivalent promotes the deployment of software that is more robust, secure, usable and reusable, and/or satisfies performance or other objectives.
    Type: Grant
    Filed: February 9, 2016
    Date of Patent: May 21, 2019
    Assignee: PHASE CHANGE SOFTWARE LLC
    Inventors: Steven Bucuvalas, Kevin Selker
  • Publication number: 20110283260
    Abstract: Tools that provide quality assurance to improve the efficiency of developing software using a Finite Input Output Semantic Model (FIOSM, or herein referred to as a Semantic Model (SM) or Semantic Model Program) and automated reasoning services compatible with a semantic model. Exemplary embodiments of the tools allow a user to validate a semantic model and its related source software system and executable, while providing the enormous benefit of automating the quality assurance process. Instead of rigorous manual analysis of code to determine where a problem resides, the tools, through their relationship with the semantic model, visualize for the user on a display or in another tangible media where in the source software system a problem(s) resides.
    Type: Application
    Filed: August 29, 2008
    Publication date: November 17, 2011
    Applicant: IOSEMANTICS, LLC
    Inventor: Steven Bucuvalas
  • Publication number: 20070266366
    Abstract: Aspects of the invention relate generally to software, and more specifically to one or more specifically to software development, FIOSM creation, comparison and subsumption in a software environment and software quality assurance. An exemplary embodiment includes the processes of: (i) designing and verifying that a computer language can completely and correctly generate a Finite Input-Output Semantic Model (FIOSM); and (ii) generating, typically using automation, a FIOSM for a program or system of several programs written in a FIOSM-compatible language.
    Type: Application
    Filed: March 29, 2007
    Publication date: November 15, 2007
    Applicant: ioSemantics, LLC
    Inventor: Steven Bucuvalas