Inventor

IVANCIC FRANJO

US24 patents

⚠️ This page may combine multiple inventors who share the name “IVANCIC FRANJO”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

IVANCIC FRANJO

NEC LAB AMERICA INC

System and method for modeling, abstraction, and analysis of software

Program analysis using symbolic ranges

Path-sensitive analysis through infeasible-path detection and syntactic language refinement

Software verification

System and method for feedback-guided test generation for cyber-physical systems using monte-carlo

Disjunctive image computation for sequential systems

Offline queries in software defined networks

Methods and systems for efficient analysis of hybrid systems using template polyhedra

Probabilistic model checking of systems with ranged probabilities

GOOGLE LLC

Testing applications with a defined input format

Automatic generation of patches for security violations

Testing applications with a defined input format

SANKARANARAYANAN SRIRAM

Program verification through symbolic enumeration of control path programs

Mining library specifications using inductive learning

System and method for dynamically inferring data preconditions over predicates by tree learning

MAEDA NAOTO

Scope bounding with automated specification inference for scalable software model checking

Interprocedural exception method

GANAI MALAY K

Efficient decision method for real non-linear arithmetic constraints

Integrating interval constraint propagation with nonlinear real arithmetic

CHANG RICHARD

Software testing using machine learning

IVANCIC FRANJO

Systems and methods for model checking the precision of programs employing floating-point operations

CADAMBI SRIHARI

Software verification using range analysis

BALAKRISHNAN GOGUL

Embedding class hierarchy into object models for multiple class inheritance

GHORBAL KHALIL

Donut domains—efficient non-convex domains for abstract interpretation