Franjo Ivancic

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 6

Top Topics

Dependency Analysis

Service Oriented

Top Venues

SIGMETRICS Perform. Evaluation Rev.

Autom. Softw. Eng.

Publications

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