Franjo Ivancic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
27
Active years
1998–2020
Best venue rank
A*
Where they publish
- A*CAV5 papers
- BFMCAD4 papers
- BSAS3 papers
- ATACAS3 papers
- AISSTA2 papers
- A*ICSE2 papers
- CMEMOCODE2 papers
- Journal PublishedEMSOFT2 papers
- AICST1 paper
- ADSN1 paper
- A*SIGCOMM1 paper
- BAPLAS1 paper
- BCC1 paper
- BVMCAI1 paper
- AECOOP1 paper
- A*POPL1 paper
- ARTSS1 paper
- NationalVLSID1 paper
- BSPAA1 paper
- BATVA1 paper
- ADATE1 paper
- CICCD1 paper
- BLPAR1 paper
- CISoLA1 paper
- NationalHiPC1 paper
- BIVA1 paper
- BKES1 paper
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICST | SunDew: Systematic Automated Security Testing. | Franjo Ivancic |
| 2014 | DSN | An Adaptable Rule Placement for Software-Defined Networks. | Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik |
| 2014 | ISSTA | ARC++: effective typestate and lifetime dependency analysis. | Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri |
| 2014 | SIGCOMM | Generating consistent updates for software-defined network configurations. | Yifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, Aarti Gupta |
| 2013 | ICSE | Feedback-directed unit test generation for C/C++ using concolic execution. | Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta |
| 2012 | APLAS | Concurrent Test Generation Using Concolic Multi-trace Analysis. | Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta |
| 2012 | CC | 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 |
| 2012 | VMCAI | Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. | Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta |
| 2011 | ECOOP | Interprocedural Exception Analysis for C++. | Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta |
| 2010 | FMCAD | 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 |
| 2010 | FMCAD | 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 |
| 2010 | MEMOCODE | Numerical stability analysis of floating-point computations using software model checking. | Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta |
| 2010 | POPL | Program analysis via satisfiability modulo path programs. | William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2009 | CAV | Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. | Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar |
| 2009 | EMSOFT | Refining the control structure of loops using static analysis. | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2009 | FMCAD | Efficient decision procedure for non-linear arithmetic constraints using CORDIC. | Malay K. Ganai, Franjo Ivancic |
| 2009 | RTSS | Robustness of Model-Based Simulations. | Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2008 | ICSE | Mining library specifications using inductive logic programming. | Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2008 | ISSTA | Dynamic inference of likely data preconditions over predicates by tree learning. | Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta |
| 2008 | VLSID | Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture. | Muzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin Rtteler, Niraj K. Jha |
| 2008 | SPAA | RaceTM: detecting data races using transactional memory. | Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rtteler |
| 2008 | SAS | SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta |
| 2008 | TACAS | Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic |
| 2007 | CAV | Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. | Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic |
| 2007 | FMCAD | Induction in CEGAR for Detecting Counterexamples. | Chao Wang, Aarti Gupta, Franjo Ivancic |
| 2007 | SAS | Program Analysis Using Symbolic Ranges. | Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2006 | ATVA | Whodunit? Causal Analysis for Counterexamples. | Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta |
| 2006 | CAV | Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang |
| 2006 | DATE | Disjunctive image computation for embedded software verification. | Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta |
| 2006 | MEMOCODE | Mixed symbolic representations for model checking software programs. | Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic |
| 2006 | SAS | Static Analysis in Disjunctive Numerical Domains. | Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta |
| 2005 | CAV | F-Soft: Software Verification Platform. | Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar |
| 2005 | CAV | Reasoning About Threads Communicating via Locks. | Vineet Kahlon, Franjo Ivancic, Aarti Gupta |
| 2005 | ICCD | Model Checking C Programs Using F-SOFT. | Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang |
| 2005 | LPAR | Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. | Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta |
| 2005 | TACAS | Localization and Register Sharing for Predicate Abstraction. | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai |
| 2004 | ISoLA | Efficient SAT-based Bounded Model Checking for Software Verification. | Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang |
| 2003 | TACAS | Counter-Example Guided Predicate Abstraction of Hybrid Systems. | Rajeev Alur, Thao Dang, Franjo Ivancic |
| 2002 | HiPC | 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 |
| 2001 | EMSOFT | 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 |
| 2001 | IVA | A Framework for Reasoning about Animation Systems. | Eric Aaron, Dimitris N. Metaxas, Franjo Ivancic |
| 1998 | KES | An automatic rule base generation method for fuzzy pattern recognition with multiphased clustering. | Franjo Ivancic, Ashutosh Malaviya, Liliane Peters |