World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
37
Citations
5041
World Ranking
10871
National Ranking
4522

Overview

Franjo Ivancic is affiliated with Google in the United States. Their research spans multiple areas within computer science, with a focus on topics related to software performance, debugging, security, and advanced data processing techniques.

Their main fields of study include computer science, with subfields covering artificial intelligence, software, signal processing, computer networks and communications, and control and systems engineering.

Ivancic's work has addressed various topics, notably:

  • Security and Verification in Computing
  • Software Testing and Debugging Techniques
  • Advanced Malware Detection Techniques
  • Software System Performance and Reliability
  • Advanced Data Processing Techniques

Their publication record includes contributions to conferences and preprint repositories, such as:

  • 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • arXiv (Cornell University)

Among their recent papers are:

  • "Reducing Time-To-Fix For Fuzzer Bugs" (2021), presented at the 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • "KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution" (2024), published on arXiv (Cornell University)

Ivancic has collaborated with several researchers including Rui Abreu, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan, and Alex Mathai. These collaborations correspond with the topics and venues where Ivancic has published.

Best Publications

  • Hybrid Modeling and Simulation of Biomolecular Networks

    Rajeev Alur;Calin Belta;Franjo Ivancic

  • System und verfahren zum modellieren, abstrahieren und analysieren von software

    Franjo Ivancic;Pranav N. Ashar;Malay K. Ganai;Aarti Gupta

  • Benchmarks for Hybrid Systems Verification

    Ansgar Fehnker;Franjo Ivančić

  • Hierarchical modeling and analysis of embedded systems

    R. Alur;Thao Dang;J. Esposito;Yerang Hur

  • Progress on reachability analysis of hybrid systems using predicate abstraction

    Rajeev Alur;Thao Dang;Franjo Ivančic

  • Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

    Houssam Abbas;Georgios Fainekos;Sriram Sankaranarayanan;Franjo Ivančić

  • Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

    Truong Nghiem;Sriram Sankaranarayanan;Georgios Fainekos;Franjo Ivancić

  • Predicate abstraction for reachability analysis of hybrid systems

    Rajeev Alur;Thao Dang;Franjo Ivančić

  • Reachability Analysis of Hybrid Systems via Predicate Abstraction

    Rajeev Alur;Thao Dang;Franjo Ivancic

  • FUDGE: fuzz driver generation at scale

    Unknown

  • Counterexample-guided predicate abstraction of hybrid systems

    Rajeev Alur;Thao Dang;Franjo Ivančić

  • F-SOFT: software verification platform

    F. Ivančić;Z. Yang;M. K. Ganai;A. Gupta

  • Efficient SAT-based bounded model checking for software verification

    Franjo Ivančić;Zijiang Yang;Malay K. Ganai;Aarti Gupta

  • Reasoning about threads communicating via locks

    Vineet Kahlon;Franjo Ivančić;Aarti Gupta

  • Hierarchical Hybrid Modeling of Embedded Systems

    Rajeev Alur;Thao Dang;Joel M. Esposito;Rafael B. Fierro

  • Static analysis in disjunctive numerical domains

    Sriram Sankaranarayanan;Franjo Ivančić;Ilya Shlyakhter;Aarti Gupta

  • Model checking C programs using F-Soft

    F. Ivancic;I. Shlyakhter;A. Gupta;M.K. Ganai

  • Software testing using machine learning

    Richard Chang;Sriram Sankaranarayanan;Guofei Jiang;Franjo Ivancic

  • Symbolic model checking of hybrid systems using template polyhedra

    Sriram Sankaranarayanan;Thao Dang;Franjo Ivančić

  • Generating embedded software from hierarchical hybrid models

    Rajeev Alur;Franjo Ivancic;Jesung Kim;Insup Lee

  • Program analysis using symbolic ranges

    Sriram Sankaranarayanan;Franjo Ivančić;Aarti Gupta

Frequent Co-Authors

Aarti Gupta
Aarti Gupta Princeton University
Sriram Sankaranarayanan
Sriram Sankaranarayanan University of Colorado Boulder
Chao Wang
Chao Wang University of Southern California
Zijiang Yang
Zijiang Yang Western Michigan University
Rajeev Alur
Rajeev Alur University of Pennsylvania
Georgios Fainekos
Georgios Fainekos Arizona State University
Oleg Sokolsky
Oleg Sokolsky University of Pennsylvania
Himanshu Jain
Himanshu Jain Lehigh University
George J. Pappas
George J. Pappas University of Pennsylvania
Vijay Kumar
Vijay Kumar University of Pennsylvania

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to many flexible education and career paths, especially through online learning. Many students start their journey by exploring easy associate degrees that pay well, which offer an affordable entry into tech fields and can quickly lead to high-demand roles.

For those seeking advanced leadership in education or technology, pursuing one of the most affordable edd programs can provide specialized knowledge and unlock top administrative and executive positions.

Choosing a college matters, especially online. Students should consider enrolling in highly accredited online universities to ensure quality education, employer recognition, and robust student support.

For those passionate about technology and creativity, specialized degrees such as the most affordable online video game design degree programs can lead to dynamic careers in the growing gaming industry.

Whether starting with an associate degree or advancing with a doctorate, online study options in the USA make it possible to build a tailored and successful career in Computer Science.

Best Scientists Citing Franjo Ivancic

Trending Scientists