Franjo Ivancic

82 papers A* 13A 12B 15C 3Misc 4Journal 18Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Dynamic Cogeneration of Bug Reproduction Test in Agentic Program Repair. CoRR Runxiang Cheng, Michele Tufano, José Cambronero, Renyao Wei, Sherry Shi, Grant Uy, Pat Rondon, Franjo Ivancic
2026	J	`jnl`	Outrunning LLM Cutoffs: A Live Kernel Crash Resolution Benchmark for All. CoRR Chenxi Huang, Alex Mathai, Feiyang Yu, Aleksandr Nogikh, Petros Maniatis, Franjo Ivancic, Eugene Wu, Kostis Kaffes, Junfeng Yang, Baishakhi Ray
2025	J	`jnl`	CrashFixer: A crash resolution agent for the Linux kernel. CoRR Alex Mathai, Chenxi Huang, Suwei Ma, Jihwan Kim, Hailie Mitchell, Aleksandr Nogikh, Petros Maniatis, Franjo Ivancic, Junfeng Yang, Baishakhi Ray
2025	J	`jnl`	Towards a Human-in-the-Loop Framework for Reliable Patch Evaluation Using an LLM-as-a-Judge. CoRR Sherry Shi, Renyao Wei, Michele Tufano, José Cambronero, Runxiang Cheng, Franjo Ivancic, Pat Rondon
2024	J	`jnl`	KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution. CoRR Alex Mathai, Chenxi Huang, Petros Maniatis, Aleksandr Nogikh, Franjo Ivancic, Junfeng Yang, Baishakhi Ray
2024	A*	`conf`	kGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution. NeurIPS Alex Mathai, Chenxi Huang, Petros Maniatis, Aleksandr Nogikh, Franjo Ivancic, Junfeng Yang, Baishakhi Ray
2023	A*	`conf`	Zero-Config Fuzzing for Microservices. ASE Wei Wang, Andrei Benea, Franjo Ivancic
2021	A*	`conf`	Reducing Time-To-Fix For Fuzzer Bugs. ASE Rui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan
2020	A	`conf`	SunDew: Systematic Automated Security Testing. ICST Franjo Ivancic
2019	—	`conf`	FUDGE: fuzz driver generation at scale. ESEC/SIGSOFT FSE Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang
2018	A*	`conf`	Replay without recording of production bugs for service oriented applications. ASE Nipun Arora, Jonathan Bell, Franjo Ivancic, Gail E. Kaiser, Baishakhi Ray
2015	J	`jnl`	Scalable and scope-bounded software verification in Varvel. Autom. Softw. Eng. Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain
2014	A	`conf`	ARC++: effective typestate and lifetime dependency analysis. ISSTA Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri
2014	A	`conf`	An Adaptable Rule Placement for Software-Defined Networks. DSN Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik
2014	—	`conf`	Environment-Sensitive Performance Tuning for Distributed Service Orchestration. VECPAR Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta
2014	—	`conf`	Generating consistent updates for software-defined network configurations. HotSDN Yifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, Aarti Gupta
2014	J	`jnl`	Modeling and analytics for cyber-physical systems in the age of big data. SIGMETRICS Perform. Evaluation Rev. Abhishek B. Sharma, Franjo Ivancic, Alexandru Niculescu-Mizil, Haifeng Chen, Guofei Jiang
2013	A*	`conf`	Feedback-directed unit test generation for C/C++ using concolic execution. ICSE Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
2013	J	`jnl`	Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2013	—	`ed.`	Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA HSCC Calin Belta, Franjo Ivancic
2012	B	`conf`	Concurrent Test Generation Using Concolic Multi-trace Analysis. APLAS Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta
2012	B	`conf`	Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
2012	J	`jnl`	Editorial: Special Section VCPSS'09. ACM Trans. Embed. Comput. Syst. Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan
2012	—	`conf`	Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. RP Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta
2012	B	`conf`	Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. CC Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma
2011	A*	`conf`	DC2: A framework for scalable, scope-bounded software verification. ASE Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki
2011	A	`conf`	Interprocedural Exception Analysis for C++. ECOOP Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta
2011	—	`conf`	Modeling and Analyzing the Interaction of C and C++ Strings. FoVeOOS Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil
2010	B	`conf`	Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. FMCAD Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke
2010	—	`conf`	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas
2010	C	`conf`	Numerical stability analysis of floating-point computations using software model checking. MEMOCODE Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta
2010	A*	`conf`	Program analysis via satisfiability modulo path programs. POPL William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2010	B	`conf`	Scalable and precise program analysis at NEC. FMCAD Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang
2009	J	`jnl`	A hybrid nano-CMOS architecture for defect and fault tolerance. ACM J. Emerg. Technol. Comput. Syst. Muzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin Rötteler, Niraj K. Jha
2009	B	`conf`	Efficient decision procedure for non-linear arithmetic constraints using CORDIC. FMCAD Malay K. Ganai, Franjo Ivancic
2009	J	`jnl`	Foreword: Special issue on numerical software verification. Formal Methods Syst. Des. Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang
2009	A*	`conf`	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. CAV Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar
2009	A	`conf`	Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. CSF Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov
2009	J	`jnl`	Model checking sequential software programs via mixed symbolic analysis. ACM Trans. Design Autom. Electr. Syst. Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic
2009	Misc	`conf`	Refining the control structure of loops using static analysis. EMSOFT Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2009	A	`conf`	Robustness of Model-Based Simulations. RTSS Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2009	A	`conf`	Using hardware transactional memory for data race detection. IPDPS Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler
2008	—	`conf`	A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic
2008	J	`jnl`	Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar
2008	A	`conf`	Dynamic inference of likely data preconditions over predicates by tree learning. ISSTA Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta
2008	J	`jnl`	Efficient SAT-based bounded model checking for software verification. Theor. Comput. Sci. Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar
2008	Misc	`conf`	Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture. VLSI Design Muzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin Rötteler, Niraj K. Jha
2008	A*	`conf`	Mining library specifications using inductive logic programming. ICSE Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2008	B	`conf`	RaceTM: detecting data races using transactional memory. SPAA Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler
2008	B	`conf`	SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. SAS Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta
2008	A	`conf`	Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic
2007	J	`jnl`	Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
2007	B	`conf`	Induction in CEGAR for Detecting Counterexamples. FMCAD Chao Wang, Aarti Gupta, Franjo Ivancic
2007	B	`conf`	Program Analysis Using Symbolic Ranges. SAS Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2007	—	`conf`	State space exploration using feedback constraint generation and Monte-Carlo sampling. ESEC/SIGSOFT FSE Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic
2007	A*	`conf`	Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic
2006	J	`jnl`	Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. Rajeev Alur, Thao Dang, Franjo Ivancic
2006	A	`conf`	Disjunctive image computation for embedded software verification. DATE Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
2006	C	`conf`	Mixed symbolic representations for model checking software programs. MEMOCODE Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic
2006	J	`jnl`	Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embed. Comput. Syst. Rajeev Alur, Thao Dang, Franjo Ivancic
2006	B	`conf`	Static Analysis in Disjunctive Numerical Domains. SAS Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
2006	A*	`conf`	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang
2006	B	`conf`	Whodunit? Causal Analysis for Counterexamples. ATVA Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
2005	B	`conf`	Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. LPAR Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta
2005	A*	`conf`	F-Soft: Software Verification Platform. CAV Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar
2005	A	`conf`	Localization and Register Sharing for Predicate Abstraction. TACAS Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai
2005	C	`conf`	Model Checking C Programs Using F-SOFT. ICCD Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang
2005	A*	`conf`	Reasoning About Threads Communicating via Locks. CAV Vineet Kahlon, Franjo Ivancic, Aarti Gupta
2004	—	`conf`	Benchmarks for Hybrid Systems Verification. HSCC Ansgar Fehnker, Franjo Ivancic
2004	—	`conf`	Efficient SAT-based Bounded Model Checking for Software Verification. ISoLA (Preliminary proceedings) Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang
2003	A	`conf`	Counter-Example Guided Predicate Abstraction of Hybrid Systems. TACAS Rajeev Alur, Thao Dang, Franjo Ivancic
2003	B	`conf`	Generating embedded software from hierarchical hybrid models. LCTES Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky
2003	J	`jnl`	Hierarchical modeling and analysis of embedded systems. Proc. IEEE Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
2003	—	`conf`	Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC Rajeev Alur, Thao Dang, Franjo Ivancic
2002	—	`conf`	A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation. CA Eric Aaron, Harold C. Sun, Franjo Ivancic, Dimitris N. Metaxas
2002	—	`conf`	Hybrid System Models of Navigation Strategies for Games and Animations. HSCC Eric Aaron, Franjo Ivancic, Dimitris N. Metaxas
2002	—	`conf`	Reachability Analysis of Hybrid Systems via Predicate Abstraction. HSCC Rajeev Alur, Thao Dang, Franjo Ivancic
2002	Misc	`conf`	Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. HiPC Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb
2001	B	`conf`	A Framework for Reasoning about Animation Systems. IVA Eric Aaron, Dimitris N. Metaxas, Franjo Ivancic
2001	Misc	`conf`	Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
2001	—	`conf`	Hybrid Modeling and Simulation of Biomolecular Networks. HSCC Rajeev Alur, Calin Belta, Franjo Ivancic
1998	—	`conf`	An automatic rule base generation method for fuzzy pattern recognition with multiphased clustering. KES (3) Franjo Ivancic, Ashutosh Malaviya, Liliane Peters