Patents by Inventor Bernard Armand Boigelot

Bernard Armand Boigelot 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).

  • Simulation of a process of a concurrent system
    Patent number: 5937181
    Abstract: The simulation of sequences of the visible operations of a process in a concurrent system is performed by synthesizing the finite-state machine for the process from a projected tree. The synthesis procedure includes a parameter that can be adjusted to obtain machines that represent the desired behavior with varying degrees of approximation. An "on-the-fly" version of the invention provides intermediate results while the state space of the system continues to be explored. The finite-state machines may be abstracted to reduce the magnitude of visible operations to be considered to a more manageable level.
    Type: Grant
    Filed: March 31, 1997
    Date of Patent: August 10, 1999
    Assignee: Lucent Technologies, Inc.
    Inventors: Patrice Ismael Godefroid, Bernard Armand Boigelot