FRANJO IVANCIC

Person

JERSEY CITY, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic generation of patches for security violations
- Patent number 12,182,269
- Issue date Dec 31, 2024
- Google LLC
- Domagoj Babic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing applications with a defined input format
- Patent number 10,095,610
- Issue date Oct 9, 2018
- Google LLC
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing applications with a defined input format
- Patent number 9,977,729
- Issue date May 22, 2018
- Google LLC
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software testing using machine learning
- Patent number 8,924,938
- Issue date Dec 30, 2014
- NEC Laboratories America, Inc.
- Richard Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Probabilistic model checking of systems with ranged probabilities
- Patent number 8,799,194
- Issue date Aug 5, 2014
- NEC Laboratories America, Inc.
- Parasara Sridhar Duggirala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Donut domains—efficient non-convex domains for abstract interpretation
- Patent number 8,719,790
- Issue date May 6, 2014
- NEC Laboratories America, Inc.
- Khalil Ghorbal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scope bounding with automated specification inference for scalable...
- Patent number 8,719,793
- Issue date May 6, 2014
- NEC Laboratories America, Inc.
- Naoto Maeda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interprocedural exception method
- Patent number 8,719,802
- Issue date May 6, 2014
- NEC Laboratories America, Inc.
- Naoto Maeda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Embedding class hierarchy into object models for multiple class inh...
- Patent number 8,707,278
- Issue date Apr 22, 2014
- NEC Laboratories America, Inc.
- Gogul Balakrishnan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for model checking the precision of programs em...
- Patent number 8,539,451
- Issue date Sep 17, 2013
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient decision method for real non-linear arithmetic constraints
- Patent number 8,539,013
- Issue date Sep 17, 2013
- NEC Laboratories America, Inc.
- Malay K. Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Integrating interval constraint propagation with nonlinear real ari...
- Patent number 8,538,900
- Issue date Sep 17, 2013
- NEC Laboratories America, Inc.
- Malay K. Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program verification through symbolic enumeration of control path p...
- Patent number 8,402,440
- Issue date Mar 19, 2013
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for feedback-guided test generation for cyber-phy...
- Patent number 8,374,840
- Issue date Feb 12, 2013
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G01 - MEASURING TESTING
Information Patent Grant
Path-sensitive analysis through infeasible-path detection and synta...
- Patent number 8,365,152
- Issue date Jan 29, 2013
- NEC Laboratories America, Inc.
- Gogul Balakrishnan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and systems for efficient analysis of hybrid systems using...
- Patent number 8,352,222
- Issue date Jan 8, 2013
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G05 - CONTROLLING REGULATING
Information Patent Grant
Mining library specifications using inductive learning
- Patent number 8,191,045
- Issue date May 29, 2012
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software verification using range analysis
- Patent number 8,131,532
- Issue date Mar 6, 2012
- NEC Laboratories America, Inc.
- Srihari Cadambi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for dynamically inferring data preconditions over...
- Patent number 8,126,831
- Issue date Feb 28, 2012
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program analysis using symbolic ranges
- Patent number 8,006,239
- Issue date Aug 23, 2011
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software verification
- Patent number 7,930,659
- Issue date Apr 19, 2011
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Disjunctive image computation for sequential systems
- Patent number 7,693,690
- Issue date Apr 6, 2010
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for modeling, abstraction, and analysis of software
- Patent number 7,346,486
- Issue date Mar 18, 2008
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Automatic Generation Of Patches For Security Violations
- Publication number 20210004470
- Publication date Jan 7, 2021
- Google LLC
- Domagoj Babic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING APPLICATIONS WITH A DEFINED INPUT FORMAT
- Publication number 20180181486
- Publication date Jun 28, 2018
- Google LLC
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING APPLICATIONS WITH A DEFINED INPUT FORMAT
- Publication number 20180143896
- Publication date May 24, 2018
- Google LLC
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SMALL SCALE INTEGRATION TEST GENERATION
- Publication number 20160239407
- Publication date Aug 18, 2016
- Google Inc.
- Franjo IVANCIC
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OFFLINE QUERIES IN SOFTWARE DEFINED NETWORKS
- Publication number 20150172185
- Publication date Jun 18, 2015
- NEC Laboratories America, Inc.
- Hui Zhang
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Network Testing
- Publication number 20140337674
- Publication date Nov 13, 2014
- NEC Laboratories America, Inc.
- Franjo Ivancic
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Effective Lifetime Dependency Analysis and Typestate Analysis
- Publication number 20140289712
- Publication date Sep 25, 2014
- NEC Laboratories America, Inc.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONCURRENT TEST GENERATION USING CONCOLIC MULTI-TRACE ANALYSIS
- Publication number 20130332906
- Publication date Dec 12, 2013
- Niloofar Razavi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROBABILISTIC MODEL CHECKING OF SYSTEMS WITH RANGED PROBABILITIES
- Publication number 20130091080
- Publication date Apr 11, 2013
- NEC Laboratories America, Inc.
- Parasara Sridhar Duggirala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FEEDBACK-DIRECTED RANDOM CLASS UNIT TEST GENERATION USING SYMBOLIC...
- Publication number 20130091495
- Publication date Apr 11, 2013
- NEC Laboratories America, Inc.
- Pranav Garg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DONUT DOMAINS - EFFICIENT NON-CONVEX DOMAINS FOR ABSTRACT INTERPRET...
- Publication number 20120246626
- Publication date Sep 27, 2012
- NEC Laboratories America, Inc.
- Khalil GHORBAL
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Analysis of Interactions of C and C++ Strings
- Publication number 20120233584
- Publication date Sep 13, 2012
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Scope Bounding with Automated Specification Inference for Scalable...
- Publication number 20120151449
- Publication date Jun 14, 2012
- NEC Laboratories America, Inc.
- Naoto Maeda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EMBEDDING CLASS HIERARCHY INTO OBJECT MODELS FOR MULTIPLE CLASS INH...
- Publication number 20120117547
- Publication date May 10, 2012
- NEC Laboratories America, Inc.
- GOGUL BALAKRISHNAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Interprocedural Exception Method
- Publication number 20120084761
- Publication date Apr 5, 2012
- NEC Laboratories America, Inc.
- Naoto Maeda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTEGRATING INTERVAL CONSTRAINT PROPAGATION WITH NONLINEAR REAL AR...
- Publication number 20110173148
- Publication date Jul 14, 2011
- NEC Laboratories America, Inc.
- MALAY K. GANAI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ROBUST TESTING FOR DISCRETE-TIME AND CONTINUOUS-TIME SYSTEM MODELS
- Publication number 20100299651
- Publication date Nov 25, 2010
- NEC Laboratories America, Inc.
- GEORGIOS FAINEKOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR MODEL CHECKING THE PRECISION OF PROGRAMS EM...
- Publication number 20100293530
- Publication date Nov 18, 2010
- NEC Laboratories America, Inc.
- FRANJO IVANCIC
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT DECISION METHOD FOR REAL NON-LINEAR ARITHMETIC CONSTRAINTS
- Publication number 20100281086
- Publication date Nov 4, 2010
- NEC Laboratories America, Inc.
- MALAY K. GANAI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR FEEDBACK-GUIDED TEST GENERATION FOR CYBER-PHY...
- Publication number 20100094611
- Publication date Apr 15, 2010
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G01 - MEASURING TESTING
Information Patent Application
FEEDBACK-GUIDED FUZZ TESTING FOR LEARNING INPUTS OF COMA
- Publication number 20100058475
- Publication date Mar 4, 2010
- NEC Laboratories America, Inc.
- Suresh Thummalapenta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM VERIFICATION THROUGH SYMBOLIC ENUMERATION OF CONTROL PATH P...
- Publication number 20100005454
- Publication date Jan 7, 2010
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR DYNAMICALLY INFERRING DATA PRECONDITIONS OVER...
- Publication number 20090192963
- Publication date Jul 30, 2009
- NEC Laboratories America, Inc.
- SRIRAM SANKARANARAYANAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PATH-SENSITIVE ANALYSIS THROUGH INFEASIBLE-PATH DETECTION AND SYNTA...
- Publication number 20090193401
- Publication date Jul 30, 2009
- NEC Laboratories America, Inc.
- Gogul Balakrishnan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS AND SYSTEMS FOR EFFICIENT ANALYSIS OF HYBRID SYSTEMS USING...
- Publication number 20090094004
- Publication date Apr 9, 2009
- NEC Laboratories America, Inc.
- SRIRAM SANKARANARAYANAN
- G05 - CONTROLLING REGULATING
Information Patent Application
MINING LIBRARY SPECIFICATIONS USING INDUCTIVE LEARNING
- Publication number 20090064110
- Publication date Mar 5, 2009
- NEC Laboratories America, Inc.
- SRIRAM SANKARANARAYANAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM ANALYSIS USING SYMBOLIC RANGES
- Publication number 20080172653
- Publication date Jul 17, 2008
- NEC LABORATORIES AMERICA
- Sriram SANKARANARAYANAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE TESTING USING MACHINE LEARNING
- Publication number 20080082968
- Publication date Apr 3, 2008
- NEC Laboratories America, Inc.
- Richard Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC ANALYSIS IN DISJUNCTIVE NUMERICAL DOMAINS
- Publication number 20070245329
- Publication date Oct 18, 2007
- NEC LABORATORIES AMERICA
- Sriram SANKARANARAYANAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Disjunctive image computation for sequential systems
- Publication number 20070044084
- Publication date Feb 22, 2007
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING

FRANJO IVANCIC

Person

Patents Grantslast 30 patents

Automatic generation of patches for security violations

Testing applications with a defined input format

Testing applications with a defined input format

Software testing using machine learning

Probabilistic model checking of systems with ranged probabilities

Donut domains—efficient non-convex domains for abstract interpretation

Scope bounding with automated specification inference for scalable...

Interprocedural exception method

Embedding class hierarchy into object models for multiple class inh...

Systems and methods for model checking the precision of programs em...

Efficient decision method for real non-linear arithmetic constraints

Integrating interval constraint propagation with nonlinear real ari...

Program verification through symbolic enumeration of control path p...

System and method for feedback-guided test generation for cyber-phy...

Path-sensitive analysis through infeasible-path detection and synta...

Methods and systems for efficient analysis of hybrid systems using...

Mining library specifications using inductive learning

Software verification using range analysis

System and method for dynamically inferring data preconditions over...

Program analysis using symbolic ranges

Software verification

Disjunctive image computation for sequential systems

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

Patents Applicationslast 30 patents

Automatic Generation Of Patches For Security Violations

TESTING APPLICATIONS WITH A DEFINED INPUT FORMAT

TESTING APPLICATIONS WITH A DEFINED INPUT FORMAT

SMALL SCALE INTEGRATION TEST GENERATION

OFFLINE QUERIES IN SOFTWARE DEFINED NETWORKS

Network Testing

Effective Lifetime Dependency Analysis and Typestate Analysis

CONCURRENT TEST GENERATION USING CONCOLIC MULTI-TRACE ANALYSIS

PROBABILISTIC MODEL CHECKING OF SYSTEMS WITH RANGED PROBABILITIES

FEEDBACK-DIRECTED RANDOM CLASS UNIT TEST GENERATION USING SYMBOLIC...

DONUT DOMAINS - EFFICIENT NON-CONVEX DOMAINS FOR ABSTRACT INTERPRET...

Analysis of Interactions of C and C++ Strings

Scope Bounding with Automated Specification Inference for Scalable...

EMBEDDING CLASS HIERARCHY INTO OBJECT MODELS FOR MULTIPLE CLASS INH...

Interprocedural Exception Method

INTEGRATING INTERVAL CONSTRAINT PROPAGATION WITH NONLINEAR REAL AR...

ROBUST TESTING FOR DISCRETE-TIME AND CONTINUOUS-TIME SYSTEM MODELS

SYSTEMS AND METHODS FOR MODEL CHECKING THE PRECISION OF PROGRAMS EM...

EFFICIENT DECISION METHOD FOR REAL NON-LINEAR ARITHMETIC CONSTRAINTS

SYSTEM AND METHOD FOR FEEDBACK-GUIDED TEST GENERATION FOR CYBER-PHY...

FEEDBACK-GUIDED FUZZ TESTING FOR LEARNING INPUTS OF COMA

PROGRAM VERIFICATION THROUGH SYMBOLIC ENUMERATION OF CONTROL PATH P...

SYSTEM AND METHOD FOR DYNAMICALLY INFERRING DATA PRECONDITIONS OVER...

PATH-SENSITIVE ANALYSIS THROUGH INFEASIBLE-PATH DETECTION AND SYNTA...

METHODS AND SYSTEMS FOR EFFICIENT ANALYSIS OF HYBRID SYSTEMS USING...

MINING LIBRARY SPECIFICATIONS USING INDUCTIVE LEARNING

PROGRAM ANALYSIS USING SYMBOLIC RANGES

SOFTWARE TESTING USING MACHINE LEARNING

STATIC ANALYSIS IN DISJUNCTIVE NUMERICAL DOMAINS

Disjunctive image computation for sequential systems