Patents by Inventor Mohamed Mejri

Mohamed Mejri 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: 20070250806
    Abstract: To formalize, using process algebra, the process of automatic generation of software together with the semantics of Lyee generated software.
    Type: Application
    Filed: September 22, 2004
    Publication date: October 25, 2007
    Applicant: Catena Corporation
    Inventors: Mohamed Mejri, Bechir Ktari, Hamido Fujita
  • Publication number: 20070006194
    Abstract: A static analysis method conventionally used is applied to the Lyee requirement. More specifically, for Lyee requirement as an object, optimization (classical optimization, optimization by ordering of a predicate vector), slicing, requirement debug, and typing (error detection, type finding, security using a type) are performed. These are subjected to a pre-processing appropriate for generation of optimal code by the LyeeAll tool to obtain a format for outputting a requirement. Thus, it is possible to optimize the requirement definition for code generation having a more preferable quality (reduction in memory and execution time consumption) in the Lyee methodology.
    Type: Application
    Filed: September 25, 2003
    Publication date: January 4, 2007
    Applicant: Catena Corporation
    Inventors: Mohamed Mejri, Bechir Ktari, Hamido Fujita, Mourad Erhioui