Inventor · disambiguated record
Franjo Ivancic
Also filed as: IVANCIC FRANJO
24 granted patents·9 pending applications·484 citations·filing 2005–2018
95Inventor score
Top patents by PatentIndex Score
33 records- 0198US7346486B2System and method for modeling, abstraction, and analysis of softwareNEC LAB AMERICA INC·Filed 2005·Granted Mar 18, 2008·283 cites·2 claims
- 0294US8924938B2Software testing using machine learningCHANG RICHARD·Filed 2007·Granted Dec 30, 2014·54 cites·20 claims
- 0392US9977729B1Testing applications with a defined input formatGOOGLE LLC·Filed 2016·Granted May 22, 2018·22 cites·20 claims
- 0490US8539451B2Systems and methods for model checking the precision of programs employing floating-point operationsIVANCIC FRANJO·Filed 2010·Granted Sep 17, 2013·26 cites·19 claims
- 0586US8707278B2Embedding class hierarchy into object models for multiple class inheritanceBALAKRISHNAN GOGUL·Filed 2011·Granted Apr 22, 2014·17 cites·19 claims
- 0685US8402440B2Program verification through symbolic enumeration of control path programsSANKARANARAYANAN SRIRAM·Filed 2009·Granted Mar 19, 2013·17 cites·26 claims
- 0785US8006239B2Program analysis using symbolic rangesNEC LAB AMERICA INC·Filed 2008·Granted Aug 23, 2011·17 cites·13 claims
- 0880US12182269B2Automatic generation of patches for security violationsGOOGLE LLC·Filed 2018·Granted Dec 31, 2024·4 cites·17 claims
- 0978US8131532B2Software verification using range analysisCADAMBI SRIHARI·Filed 2006·Granted Mar 6, 2012·12 cites·8 claims
- 1076US8719793B2Scope bounding with automated specification inference for scalable software model checkingMAEDA NAOTO·Filed 2011·Granted May 6, 2014·5 cites·8 claims
- 1172US8719802B2Interprocedural exception methodMAEDA NAOTO·Filed 2011·Granted May 6, 2014·5 cites·22 claims
- 1271US8365152B2Path-sensitive analysis through infeasible-path detection and syntactic language refinementNEC LAB AMERICA INC·Filed 2008·Granted Jan 29, 2013·5 cites·12 claims
- 1370US7930659B2Software verificationNEC LAB AMERICA INC·Filed 2006·Granted Apr 19, 2011·5 cites·4 claims
- 1468US8191045B2Mining library specifications using inductive learningSANKARANARAYANAN SRIRAM·Filed 2008·Granted May 29, 2012·4 cites·14 claims
- 1561US9736064B2Offline queries in software defined networksNEC LAB AMERICA INC·Filed 2014·Granted Aug 15, 2017·1 cites·4 claims
- 1659US7693690B2Disjunctive image computation for sequential systemsNEC LAB AMERICA INC·Filed 2006·Granted Apr 6, 2010·1 cites·6 claims
- 1758US8719790B2Donut domains—efficient non-convex domains for abstract interpretationGHORBAL KHALIL·Filed 2012·Granted May 6, 2014·2 cites·15 claims
- 1855US8352222B2Methods and systems for efficient analysis of hybrid systems using template polyhedraNEC LAB AMERICA INC·Filed 2008·Granted Jan 8, 2013·1 cites·10 claims
- 1950US8799194B2Probabilistic model checking of systems with ranged probabilitiesNEC LAB AMERICA INC·Filed 2012·Granted Aug 5, 2014·1 cites·10 claims
- 2050US8374840B2System and method for feedback-guided test generation for cyber-physical systems using monte-carloNEC LAB AMERICA INC·Filed 2009·Granted Feb 12, 2013·2 cites·5 claims
- 2148US10095610B2Testing applications with a defined input formatGOOGLE LLC·Filed 2018·Granted Oct 9, 2018·0 cites·18 claims
- 2247US2010058475A1Feedback-guided fuzz testing for learning inputs of comaNEC LAB AMERICA INC·Filed 2009·Application pending·0 cites
- 2345US8539013B2Efficient decision method for real non-linear arithmetic constraintsGANAI MALAY K·Filed 2010·Granted Sep 17, 2013·0 cites·18 claims
- 2445US2014289712A1Effective Lifetime Dependency Analysis and Typestate AnalysisNEC LAB AMERICA INC·Filed 2014·Application pending·0 cites
- 2544US8126831B2System and method for dynamically inferring data preconditions over predicates by tree learningSANKARANARAYANAN SRIRAM·Filed 2008·Granted Feb 28, 2012·0 cites·16 claims
- 2642US2013091495A1Feedback-directed random class unit test generation using symbolic executionNEC LAB AMERICA INC·Filed 2012·Application pending·0 cites
- 2742US2013332906A1Concurrent test generation using concolic multi-trace analysisRAZAVI NILOOFAR·Filed 2013·Application pending·0 cites
- 2842US2007245329A1Static analysis in disjunctive numerical domainsNEC LAB AMERICA·Filed 2007·Application pending·0 cites
- 2941US2014337674A1Network TestingNEC LAB AMERICA INC·Filed 2014·Application pending·0 cites
- 3038US2012233584A1Analysis of Interactions of C and C++ StringsIVANCIC FRANJO·Filed 2012·Application pending·0 cites
- 3138US2010299651A1Robust testing for discrete-time and continuous-time system modelsNEC LAB AMERICA INC·Filed 2010·Application pending·0 cites
- 3236US8538900B2Integrating interval constraint propagation with nonlinear real arithmeticGANAI MALAY K·Filed 2010·Granted Sep 17, 2013·0 cites·19 claims
- 3336US2016239407A1Small scale integration test generationGOOGLE INC·Filed 2015·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →