An automatic rule base generation method for fuzzy pattern recognition with multiphased clustering. - Franjo Ivancic; Ashutosh Malaviya; Liliane Peters (KES (3), 1998)

Hierarchical Hybrid Modeling of Embedded Systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Rafael Fierro; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (EMSOFT, 2001)

Hybrid Modeling and Simulation of Biomolecular Networks. - Rajeev Alur; Calin Belta; Franjo Ivancic (HSCC, 2001)

A Framework for Reasoning about Animation Systems. - Eric Aaron; Dimitris N. Metaxas; Franjo Ivancic (IVA, 2001)

A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation. - Eric Aaron; Harold C. Sun; Franjo Ivancic; Dimitris N. Metaxas (CA, 2002)

Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. - Rajeev Alur; Calin Belta; Franjo Ivancic; Vijay Kumar 001; Harvey Rubin; Jonathan Schug; Oleg Sokolsky; Jonathan Webb (HiPC, 2002)

Hybrid System Models of Navigation Strategies for Games and Animations. - Eric Aaron; Franjo Ivancic; Dimitris N. Metaxas (HSCC, 2002)

Reachability Analysis of Hybrid Systems via Predicate Abstraction. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (HSCC, 2002)

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (HSCC, 2003)

Generating embedded software from hierarchical hybrid models. - Rajeev Alur; Franjo Ivancic; Jesung Kim; Insup Lee 001; Oleg Sokolsky (LCTES, 2003)

Counter-Example Guided Predicate Abstraction of Hybrid Systems. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (TACAS, 2003)

Hierarchical modeling and analysis of embedded systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (Proc. IEEE, 2003)

Benchmarks for Hybrid Systems Verification. - Ansgar Fehnker; Franjo Ivancic (HSCC, 2004)

F-Soft: Software Verification Platform. - Franjo Ivancic; Zijiang Yang 006; Malay K. Ganai; Aarti Gupta; Ilya Shlyakhter; Pranav Ashar (CAV, 2005)

Reasoning About Threads Communicating via Locks. - Vineet Kahlon; Franjo Ivancic; Aarti Gupta (CAV, 2005)

Model Checking C Programs Using F-SOFT. - Franjo Ivancic; Ilya Shlyakhter; Aarti Gupta; Malay K. Ganai; Vineet Kahlon; Chao Wang 001; Zijiang Yang 006 (ICCD, 2005)

Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. - Chao Wang 001; Franjo Ivancic; Malay K. Ganai; Aarti Gupta (LPAR, 2005)

Localization and Register Sharing for Predicate Abstraction. - Himanshu Jain; Franjo Ivancic; Aarti Gupta; Malay K. Ganai (TACAS, 2005)

Whodunit? Causal Analysis for Counterexamples. - Chao Wang 001; Zijiang Yang 006; Franjo Ivancic; Aarti Gupta (ATVA, 2006)

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. - Himanshu Jain; Franjo Ivancic; Aarti Gupta; Ilya Shlyakhter; Chao Wang 001 (CAV, 2006)

Disjunctive image computation for embedded software verification. - Chao Wang 001; Zijiang Yang 006; Franjo Ivancic; Aarti Gupta (DATE, 2006)

Mixed symbolic representations for model checking software programs. - Zijiang Yang 006; Chao Wang 001; Aarti Gupta; Franjo Ivancic (MEMOCODE, 2006)

Static Analysis in Disjunctive Numerical Domains. - Sriram Sankaranarayanan 001; Franjo Ivancic; Ilya Shlyakhter; Aarti Gupta (SAS, 2006)

Counterexample-guided predicate abstraction of hybrid systems. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (Theor. Comput. Sci., 2006)

Predicate abstraction for reachability analysis of hybrid systems. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (ACM Trans. Embed. Comput. Syst., 2006)

Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. - Chao Wang 001; Zijiang Yang 006; Aarti Gupta; Franjo Ivancic (CAV, 2007)

Induction in CEGAR for Detecting Counterexamples. - Chao Wang 001; Aarti Gupta; Franjo Ivancic (FMCAD, 2007)

Program Analysis Using Symbolic Ranges. - Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (SAS, 2007)

State space exploration using feedback constraint generation and Monte-Carlo sampling. - Sriram Sankaranarayanan 001; Richard M. Chang; Guofei Jiang; Franjo Ivancic (ESEC/SIGSOFT FSE, 2007)

Disjunctive image computation for software verification. - Chao Wang 001; Zijiang Yang 006; Franjo Ivancic; Aarti Gupta (ACM Trans. Design Autom. Electr. Syst., 2007)

A Policy Iteration Technique for Time Elapse over Template Polyhedra. - Sriram Sankaranarayanan 001; Thao Dang 001; Franjo Ivancic (HSCC, 2008)

Mining library specifications using inductive logic programming. - Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (ICSE, 2008)

Dynamic inference of likely data preconditions over predicates by tree learning. - Sriram Sankaranarayanan 001; Swarat Chaudhuri; Franjo Ivancic; Aarti Gupta (ISSTA, 2008)

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. - Gogul Balakrishnan; Sriram Sankaranarayanan 001; Franjo Ivancic; Ou Wei; Aarti Gupta (SAS, 2008)

RaceTM: detecting data races using transactional memory. - Shantanu Gupta; Florin Sultan; Srihari Cadambi; Franjo Ivancic; Martin Rötteler (SPAA, 2008)

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. - Sriram Sankaranarayanan 001; Thao Dang 001; Franjo Ivancic (TACAS, 2008)

Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture. - Muzaffer O. Simsir; Srihari Cadambi; Franjo Ivancic; Martin Rötteler; Niraj K. Jha (VLSI Design, 2008)

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. - Aleksandr Zaks; Zijiang Yang 006; Ilya Shlyakhter; Franjo Ivancic; Srihari Cadambi; Malay K. Ganai; Aarti Gupta; Pranav Ashar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Efficient SAT-based bounded model checking for software verification. - Franjo Ivancic; Zijiang Yang 006; Malay K. Ganai; Aarti Gupta; Pranav Ashar (Theor. Comput. Sci., 2008)

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. - Aditya Kanade 001; Rajeev Alur; Franjo Ivancic; S. Ramesh 002; Sriram Sankaranarayanan 001; K. C. Shashidhar (CAV, 2009)

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. - Richard M. Chang; Guofei Jiang; Franjo Ivancic; Sriram Sankaranarayanan 001; Vitaly Shmatikov (CSF, 2009)

Refining the control structure of loops using static analysis. - Gogul Balakrishnan; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (EMSOFT, 2009)

Efficient decision procedure for non-linear arithmetic constraints using CORDIC. - Malay K. Ganai; Franjo Ivancic (FMCAD, 2009)

Using hardware transactional memory for data race detection. - Shantanu Gupta; Florin Sultan; Srihari Cadambi; Franjo Ivancic; Martin Rötteler (IPDPS, 2009)

Robustness of Model-Based Simulations. - Georgios Fainekos; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (RTSS, 2009)

Foreword: Special issue on numerical software verification. - Franjo Ivancic; Sriram Sankaranarayanan 001; Chao Wang 001 (Formal Methods Syst. Des., 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)

Model checking sequential software programs via mixed symbolic analysis. - Zijiang Yang 006; Chao Wang 001; Aarti Gupta; Franjo Ivancic (ACM Trans. Design Autom. Electr. Syst., 2009)

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 001; Nishant Sinha 001; Chao Wang 001 (FMCAD, 2010)

Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. - Sicun Gao; Malay K. Ganai; Franjo Ivancic; Aarti Gupta; Sriram Sankaranarayanan 001; Edmund M. Clarke (FMCAD, 2010)

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. - Truong Nghiem; Sriram Sankaranarayanan 001; Georgios Fainekos; Franjo Ivancic; Aarti Gupta; George J. Pappas (HSCC, 2010)

Numerical stability analysis of floating-point computations using software model checking. - Franjo Ivancic; Malay K. Ganai; Sriram Sankaranarayanan 001; Aarti Gupta (MEMOCODE, 2010)

Program analysis via satisfiability modulo path programs. - William R. Harris; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (POPL, 2010)

Interprocedural Exception Analysis for C++. - Prakash Prabhu; Naoto Maeda; Gogul Balakrishnan; Franjo Ivancic; Aarti Gupta (ECOOP, 2011)

Modeling and Analyzing the Interaction of C and C++ Strings. - Gogul Balakrishnan; Naoto Maeda; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta; Rakesh Pothengil (FoVeOOS, 2011)

DC2: A framework for scalable, scope-bounded software verification. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Hiroki Tokuoka; Takashi Imoto; Yoshiaki Miyazaki (ASE, 2011)

Concurrent Test Generation Using Concolic Multi-trace Analysis. - Niloofar Razavi; Franjo Ivancic; Vineet Kahlon; Aarti Gupta (APLAS, 2012)

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. - Jing Yang 003; Gogul Balakrishnan; Naoto Maeda; Franjo Ivancic; Aarti Gupta; Nishant Sinha 001; Sriram Sankaranarayanan 001; Naveen Sharma (CC, 2012)

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. - Khalil Ghorbal; Parasara Sridhar Duggirala; Vineet Kahlon; Franjo Ivancic; Aarti Gupta (RP, 2012)

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. - Khalil Ghorbal; Franjo Ivancic; Gogul Balakrishnan; Naoto Maeda; Aarti Gupta (VMCAI, 2012)

Editorial: Special Section VCPSS'09. - Georgios Fainekos; Eric Goubault; Franjo Ivancic; Sriram Sankaranarayanan 001 (ACM Trans. Embed. Comput. Syst., 2012)

Feedback-directed unit test generation for C/C++ using concolic execution. - Pranav Garg 001; Franjo Ivancic; Gogul Balakrishnan; Naoto Maeda; Aarti Gupta (ICSE, 2013)

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. - Houssam Abbas; Georgios Fainekos; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (ACM Trans. Embed. Comput. Syst., 2013)

An Adaptable Rule Placement for Software-Defined Networks. - Shuyuan Zhang; Franjo Ivancic; Cristian Lumezanu; Yifei Yuan 001; Aarti Gupta; Sharad Malik (DSN, 2014)

ARC++: effective typestate and lifetime dependency analysis. - Xusheng Xiao; Gogul Balakrishnan; Franjo Ivancic; Naoto Maeda; Aarti Gupta; Deepak Chhetri (ISSTA, 2014)

Generating consistent updates for software-defined network configurations. - Yifei Yuan 001; Franjo Ivancic; Cristian Lumezanu; Shuyuan Zhang; Aarti Gupta (HotSDN, 2014)

Environment-Sensitive Performance Tuning for Distributed Service Orchestration. - Yu Lin; Franjo Ivancic; Pallavi Joshi; Gogul Balakrishnan; Malay K. Ganai; Aarti Gupta (VECPAR, 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)

Scalable and scope-bounded software verification in Varvel. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Takashi Imoto; Rakesh Pothengil; Mustafa Hussain (Autom. Softw. Eng., 2015)

Replay without recording of production bugs for service oriented applications. - Nipun Arora; Jonathan Bell 001; Franjo Ivancic; Gail E. Kaiser; Baishakhi Ray (ASE, 2018)

FUDGE: fuzz driver generation at scale. - Domagoj Babic; Stefan Bucur; Yaohui Chen; Franjo Ivancic; Tim King 001; Markus Kusano; Caroline Lemieux; László Szekeres; Wei Wang (ESEC/SIGSOFT FSE, 2019)

SunDew: Systematic Automated Security Testing. - Franjo Ivancic (ICST, 2020)

Reducing Time-To-Fix For Fuzzer Bugs. - Rui Abreu 001; Franjo Ivancic; Filip Niksic; Hadi Ravanbakhsh; Ramesh Viswanathan (ASE, 2021)

Zero-Config Fuzzing for Microservices. - Wei Wang; Andrei Benea; Franjo Ivancic (ASE, 2023)

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 (NeurIPS, 2024)

CrashFixer: A crash resolution agent for the Linux kernel. - Alex Mathai; Chenxi Huang; Suwei Ma; Jihwan Kim; Hailie Mitchell; Aleksandr Nogikh; Petros Maniatis; Franjo Ivancic; Junfeng Yang; Baishakhi Ray (CoRR, 2025)