Patents by Inventor NEC Laboratories Americanl, Inc.

NEC Laboratories Americanl, Inc. 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).

  • PROBABILISTIC MODEL CHECKING OF SYSTEMS WITH RANGED PROBABILITIES
    Publication number: 20130091080
    Abstract: Systems and methods for model checking of live systems are shown that include learning an interval discrete-time Markov chain (IDTMC) model of a deployed system from system logs; and checking the IDTMC model with a processor to determine a probability of violating one or more probabilistic safety properties. Checking the IDTMC model includes calculating a linear part exactly using affine arithmetic; and over-approximating a non-linear part using interval arithmetic.
    Type: Application
    Filed: October 5, 2012
    Publication date: April 11, 2013
    Applicant: NEC Laboratories America, Inc.
    Inventor: NEC Laboratories Americanl, Inc.