logo

For the Inventor, By the Inventor

Princeton, NJ, United States of America

Franjo Ivancic

This inventor holds 24 USPTO granted patents and 9 published patent applications and 3 EPO patents, primarily in Software Verification. Top assignees: Nec Laboratories America, Inc., Google Inc., Nec Corporation. Active years: 2008-2024.

IDiyas Innovation Intelligence. (2026). Inventor Profile: Franjo Ivancic. Retrieved from https://idiyas.com/inventor/franjo-ivancic

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

USPTO Granted Patents = 24 

% Patents Active = 29.2

 

Average Co-Inventor Count = 3.9

ph-index = 7

Forward Citations = 411(Granted Patents)


Location History:

  • Jersey City, NJ (US) (2008 - 2014)
  • Princeton, NJ (US) (2012 - 2018)

Company Filing History:

goldMedal20 out of 718 
 
Nec Laboratories America, Inc.
 patents
silverMedal3 out of 33,959 
 
Google Inc.
 patents
bronzeMedal3 out of 36,684 
 
Nec Corporation
 patents
where one patent can have more than one assignee

Years Active: 2008-2024

Loading Chart...
Loading Chart...
Areas of Expertise:
Security Violations
Software Testing
Machine Learning
Model Checking
Program Verification
Hybrid Systems
Symbolic Enumeration
Constraint Propagation
Path-Sensitive Analysis
Inductive Learning
Control Path Programs
Data Preconditions
24 patents (USPTO):Explore Patents
1. 12182269 - Automatic generation of patches for security violations (2024-12-31),
2. 10095610 - Testing applications with a defined input format (2018-10-09),
3. 9977729 - Testing applications with a defined input format (2018-05-22),
4. 9736064 - Offline queries in software defined networks (2017-08-15),
5. 8924938 - Software testing using machine learning (2014-12-30),
6. 8799194 - Probabilistic model checking of systems with ranged probabilities (2014-08-05),
7. 8719802 - Interprocedural exception method (2014-05-06),
8. 8719793 - Scope bounding with automated specification inference for scalable software model checking (2014-05-06),
9. 8719790 - Donut domains—efficient non-convex domains for abstract interpretation (2014-05-06),
10. 8707278 - Embedding class hierarchy into object models for multiple class inheritance (2014-04-22),
11. 8539451 - Systems and methods for model checking the precision of programs employing floating-point operations (2013-09-17),
12. 8539013 - Efficient decision method for real non-linear arithmetic constraints (2013-09-17),
13. 8538900 - Integrating interval constraint propagation with nonlinear real arithmetic (2013-09-17),
14. 8402440 - Program verification through symbolic enumeration of control path programs (2013-03-19),
15. 8374840 - System and method for feedback-guided test generation for cyber-physical systems using monte-carlo (2013-02-12),

Title: The Innovative Mind of Franjo Ivancic

Introduction: Franjo Ivancic, a brilliant inventor based in Princeton, NJ, is known for his groundbreaking contributions to various fields through his innovative creations.

Latest Patents: Franjo Ivancic's latest patents include a cutting-edge technology for renewable energy storage and a revolutionary medical device aimed at improving patient care.

Career Highlights: With a career spanning over two decades, Franjo Ivancic has established himself as a pioneer in the world of inventions. His work has been recognized globally, earning him prestigious awards and accolades.

Collaborations: Throughout his career, Franjo Ivancic has collaborated with leading research institutions, universities, and companies to bring his ideas to life. His partnerships have led to the development of impactful solutions that have changed industries.

Conclusion: Franjo Ivancic's passion for innovation and his relentless pursuit of excellence continue to inspire the next generation of inventors. His legacy will undoubtedly leave a lasting impact on the world of technology and beyond.

Profile summary based on public USPTO records.
Data Sources: USPTO Patent Grant XML, Patent Center, EPO & CIPO • Normalized by IDiyas Innovation Graph. Methodology & provenance architecturePlease report any incorrect information to [email protected]
Loading…