Franjo Ivancic

According to our database, Franjo Ivancic authored at least 75 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution.

Alex Mathai, Chenxi Huang, Petros Maniatis, Aleksandr Nogikh, Franjo Ivancic, Junfeng Yang, Baishakhi Ray

CoRR, 2024

2023

Zero-Config Fuzzing for Microservices.

Wei Wang, Andrei Benea, Franjo Ivancic

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2021

Reducing Time-To-Fix For Fuzzer Bugs.

Rui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

SunDew: Systematic Automated Security Testing.

Franjo Ivancic

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

FUDGE: fuzz driver generation at scale.

Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Replay without recording of production bugs for service oriented applications.

Nipun Arora, Jonathan Bell, Franjo Ivancic, Gail E. Kaiser, Baishakhi Ray

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2015

Scalable and scope-bounded software verification in Varvel.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain

Autom. Softw. Eng., 2015

2014

Modeling and analytics for cyber-physical systems in the age of big data.

Abhishek B. Sharma, Franjo Ivancic, Alexandru Niculescu-Mizil, Haifeng Chen, Guofei Jiang

SIGMETRICS Perform. Evaluation Rev., 2014

Environment-Sensitive Performance Tuning for Distributed Service Orchestration.

Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta

Proceedings of the High Performance Computing for Computational Science - VECPAR 2014 - 11th International Conference, Eugene, OR, USA, June 30, 2014

Generating consistent updates for software-defined network configurations.

Yifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, Aarti Gupta

Proceedings of the third workshop on Hot topics in software defined networking, 2014

ARC++: effective typestate and lifetime dependency analysis.

Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri

Proceedings of the International Symposium on Software Testing and Analysis, 2014

An Adaptable Rule Placement for Software-Defined Networks.

Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.

Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

ACM Trans. Embed. Comput. Syst., 2013

Feedback-directed unit test generation for C/C++ using concolic execution.

Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Editorial: Special Section VCPSS'09.

Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan

ACM Trans. Embed. Comput. Syst., 2012

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.

Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities.

Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta

Proceedings of the Reachability Problems - 6th International Workshop, 2012

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.

Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma

Proceedings of the Compiler Construction - 21st International Conference, 2012

Concurrent Test Generation Using Concolic Multi-trace Analysis.

Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

DC2: A framework for scalable, scope-bounded software verification.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Modeling and Analyzing the Interaction of C and C++ Strings.

Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Interprocedural Exception Analysis for C++.

Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Program analysis via satisfiability modulo path programs.

William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Numerical stability analysis of floating-point computations using software model checking.

Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

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

Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.

Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Scalable and precise program analysis at NEC.

Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Model checking sequential software programs via mixed symbolic analysis.

Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic

ACM Trans. Design Autom. Electr. Syst., 2009

A hybrid nano-CMOS architecture for defect and fault tolerance.

Muzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin Rötteler, Niraj K. Jha

ACM J. Emerg. Technol. Comput. Syst., 2009

Foreword: Special issue on numerical software verification.

Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang

Formal Methods Syst. Des., 2009

Robustness of Model-Based Simulations.

Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Using hardware transactional memory for data race detection.

Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Efficient decision procedure for non-linear arithmetic constraints using CORDIC.

Malay K. Ganai, Franjo Ivancic

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Refining the control structure of loops using static analysis.

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities.

Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.

Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Efficient SAT-based bounded model checking for software verification.

Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar

Theor. Comput. Sci., 2008

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.

Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture.

Muzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin Rötteler, Niraj K. Jha

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.

Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

RaceTM: detecting data races using transactional memory.

Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta

Proceedings of the Static Analysis, 15th International Symposium, 2008

Dynamic inference of likely data preconditions over predicates by tree learning.

Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Mining library specifications using inductive logic programming.

Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Policy Iteration Technique for Time Elapse over Template Polyhedra.

Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

Disjunctive image computation for software verification.

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta

ACM Trans. Design Autom. Electr. Syst., 2007

State space exploration using feedback constraint generation and Monte-Carlo sampling.

Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Program Analysis Using Symbolic Ranges.

Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the Static Analysis, 14th International Symposium, 2007

Induction in CEGAR for Detecting Counterexamples.

Chao Wang, Aarti Gupta, Franjo Ivancic

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.

Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Predicate abstraction for reachability analysis of hybrid systems.

Rajeev Alur, Thao Dang, Franjo Ivancic

ACM Trans. Embed. Comput. Syst., 2006

Counterexample-guided predicate abstraction of hybrid systems.

Rajeev Alur, Thao Dang, Franjo Ivancic

Theor. Comput. Sci., 2006

Static Analysis in Disjunctive Numerical Domains.

Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta

Proceedings of the Static Analysis, 13th International Symposium, 2006

Mixed symbolic representations for model checking software programs.

Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Disjunctive image computation for embedded software verification.

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Whodunit? Causal Analysis for Counterexamples.

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Localization and Register Sharing for Predicate Abstraction.

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.

Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta

Proceedings of the Logic for Programming, 2005

Model Checking C Programs Using F-SOFT.

Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Reasoning About Threads Communicating via Locks.

Vineet Kahlon, Franjo Ivancic, Aarti Gupta

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

F-Soft: Software Verification Platform.

Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Benchmarks for Hybrid Systems Verification.

Ansgar Fehnker, Franjo Ivancic

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2003

Hierarchical modeling and analysis of embedded systems.

Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky

Proc. IEEE, 2003

Counter-Example Guided Predicate Abstraction of Hybrid Systems.

Rajeev Alur, Thao Dang, Franjo Ivancic

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Generating embedded software from hierarchical hybrid models.

Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky

Proceedings of the 2003 Conference on Languages, 2003

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.

Rajeev Alur, Thao Dang, Franjo Ivancic

Proceedings of the Hybrid Systems: Computation and Control, 2003

2002

Reachability Analysis of Hybrid Systems via Predicate Abstraction.

Rajeev Alur, Thao Dang, Franjo Ivancic

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Hybrid System Models of Navigation Strategies for Games and Animations.

Eric Aaron, Franjo Ivancic, Dimitris N. Metaxas

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks.

Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb

Proceedings of the High Performance Computing, 2002

A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation.

Eric Aaron, Harold C. Sun, Franjo Ivancic, Dimitris N. Metaxas

Proceedings of the Computer Animation 2002, 2002

2001

A Framework for Reasoning about Animation Systems.

Eric Aaron, Dimitris N. Metaxas, Franjo Ivancic

Proceedings of the Intelligent Virtual Agents, Third International Workshop, 2001

Hybrid Modeling and Simulation of Biomolecular Networks.

Rajeev Alur, Calin Belta, Franjo Ivancic

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hierarchical Hybrid Modeling of Embedded Systems.

Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky

Proceedings of the Embedded Software, First International Workshop, 2001

1998

An automatic rule base generation method for fuzzy pattern recognition with multiphased clustering.

Franjo Ivancic, Ashutosh Malaviya, Liliane Peters

Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998