Franjo Ivancic

Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta: Feedback-directed unit test generation for C/C++ using concolic execution. ICSE 2013: 132-141

Calin Belta, Franjo Ivancic (Eds.): Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA. ACM 2013, isbn 978-1-4503-1567-8

Georgios E. Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan: Editorial: Special Section VCPSS'09. ACM Trans. Embedded Comput. Syst. 11(S2): 52 (2012)

Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta: Concurrent Test Generation Using Concolic Multi-trace Analysis. APLAS 2012: 239-255

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: 144-164

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

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

Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta: Interprocedural Exception Analysis for C++. ECOOP 2011: 583-608

Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil: Modeling and Analyzing the Interaction of C and C++ Strings. FoVeOOS 2011: 67-85

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: 133-142

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: 81-89

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: 273-274

Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC 2010: 211-220

Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta: Numerical stability analysis of floating-point computations using software model checking. MEMOCODE 2010: 49-58

William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program analysis via satisfiability modulo path programs. POPL 2010: 71-82

Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang: Foreword: Special issue on numerical software verification. Formal Methods in System Design 35(3): 227-228 (2009)

Muzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin Rötteler, Niraj K. Jha: A hybrid nano-CMOS architecture for defect and fault tolerance. JETC 5(3) (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: 430-445

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

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Refining the control structure of loops using static analysis. EMSOFT 2009: 49-58

Malay K. Ganai, Franjo Ivancic: Efficient decision procedure for non-linear arithmetic constraints using CORDIC. FMCAD 2009: 61-68

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

Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Robustness of Model-Based Simulations. RTSS 2009: 345-354

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. on CAD of Integrated Circuits and Systems 27(8): 1513-1517 (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): 256-274 (2008)

Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657

Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Mining library specifications using inductive logic programming. ICSE 2008: 131-140

Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta: Dynamic inference of likely data preconditions over predicates by tree learning. ISSTA 2008: 295-306

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

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

Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202

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: 435-440

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, Zijiang Yang, Aarti Gupta, Franjo Ivancic: Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365

Chao Wang, Aarti Gupta, Franjo Ivancic: Induction in CEGAR for Detecting Counterexamples. FMCAD 2007: 77-84

Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program Analysis Using Symbolic Ranges. SAS 2007: 366-383

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

Rajeev Alur, Thao Dang, Franjo Ivancic: Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. 354(2): 250-271 (2006)

Rajeev Alur, Thao Dang, Franjo Ivancic: Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embedded Comput. Syst. 5(1): 152-199 (2006)

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang: Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV 2006: 137-151

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210

Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26

Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta: Static Analysis in Disjunctive Numerical Domains. SAS 2006: 3-17

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

Vineet Kahlon, Franjo Ivancic, Aarti Gupta: Reasoning About Threads Communicating via Locks. CAV 2005: 505-518

Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai: Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308

Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta: Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. LPAR 2005: 322-336

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai: Localization and Register Sharing for Predicate Abstraction. TACAS 2005: 397-412

Ansgar Fehnker, Franjo Ivancic: Benchmarks for Hybrid Systems Verification. HSCC 2004: 326-341

Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang: Efficient SAT-based Bounded Model Checking for Software Verification. ISoLA (Preliminary proceedings) 2004: 157-164

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. Proceedings of the IEEE 91(1): 11-28 (2003)

Rajeev Alur, Thao Dang, Franjo Ivancic: Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC 2003: 4-19

Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182

Rajeev Alur, Thao Dang, Franjo Ivancic: Counter-Example Guided Predicate Abstraction of Hybrid Systems. TACAS 2003: 208-223

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

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: 702-712

Eric Aaron, Franjo Ivancic, Dimitris N. Metaxas: Hybrid System Models of Navigation Strategies for Games and Animations. HSCC 2002: 7-20

Rajeev Alur, Thao Dang, Franjo Ivancic: Reachability Analysis of Hybrid Systems via Predicate Abstraction. HSCC 2002: 35-48

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

Rajeev Alur, Calin Belta, Franjo Ivancic: Hybrid Modeling and Simulation of Biomolecular Networks. HSCC 2001: 19-32

Eric Aaron, Dimitris N. Metaxas, Franjo Ivancic: A Framework for Reasoning about Animation Systems. IVA 2001: 47-60

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