LexDanaLexDanabeta
Inventor

Franjo Ivancic

Inventor
Princeton, NJ, US

Overview

23→
Patents
2008–2018
Patent span
Physics
Primary field (CPC G)

Patents· 23 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing68%
G06NComputing arrangements based on specific computational models20%
G01RMeasuring electric variables4%
G05BControl or regulating systems in general4%
H04LTransmission of digital information, e.g. telegraphic communication4%
PatentTitleYear
10,095,610Testing applications with a defined input format20189,977,729Testing applications with a defined input format20189,736,064'Offline queries in software defined networks'20178,924,938'Software testing using machine learning'20148,799,194'Probabilistic model checking of systems with ranged probabilities'20148,719,802'Interprocedural exception method'20148,719,790'Donut domains—efficient non-convex domains for abstract interpretation'20148,719,793'Scope bounding with automated specification inference for scalable software model checking'20148,707,278'Embedding class hierarchy into object models for multiple class inheritance'20148,539,451'Systems and methods for model checking the precision of programs employing floating-point operations'20138,538,900'Integrating interval constraint propagation with nonlinear real arithmetic'20138,539,013'Efficient decision method for real non-linear arithmetic constraints'20138,402,440'Program verification through symbolic enumeration of control path programs'20138,374,840'System and method for feedback-guided test generation for cyber-physical systems using monte-carlo'20138,365,152'Path-sensitive analysis through infeasible-path detection and syntactic language refinement'20138,352,222'Methods and systems for efficient analysis of hybrid systems using template polyhedra'20138,191,045'Mining library specifications using inductive learning'20128,131,532'Software verification using range analysis'20128,126,831'System and method for dynamically inferring data preconditions over predicates by tree learning'20128,006,239'Program analysis using symbolic ranges'20117,930,659'Software verification'20117,693,690'Disjunctive image computation for sequential systems'20107,346,486'System and method for modeling, abstraction, and analysis of software'2008

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2008–2017Patents assigned to NEC LAB AMERICA INC (21)· patent assignee history
2008–2014Based in Jersey City, NJ, US· patent location history
2012–2014Patents assigned to IVANCIC FRANJO (15)· patent assignee history
2012–2014Patents assigned to GUPTA AARTI (11)· patent assignee history
2012–2014Patents assigned to SANKARANARAYANAN SRIRAM (9)· patent assignee history
2012–2018Based in Princeton, NJ, US· patent location history
2013–2014Patents assigned to BALAKRISHNAN GOGUL (5)· patent assignee history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
NEC LAB AMERICA INC212008–2017
IVANCIC FRANJOself152012–2014
GUPTA AARTI112012–2014
SANKARANARAYANAN SRIRAM92012–2014
BALAKRISHNAN GOGUL52013–2014
Locations
LocationPatentsSpan
Princeton, New Jersey, US162012–2018
Jersey City, New Jersey, US72008–2014