Franjo Ivancic - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

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

2010

Scalable and precise program analysis at NECGogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang. FMCAD 2010: 273-274 [doi]

Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problemsSicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke. FMCAD 2010: 81-89 [doi]

Program analysis via satisfiability modulo path programsWilliam R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. POPL 2010: 71-82 [doi]

Numerical stability analysis of floating-point computations using software model checkingFranjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta. memocode 2010: 49-58 [doi]

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

2009

Refining the control structure of loops using static analysisGogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. emsoft 2009: 49-58 [doi]

Inputs of Coma: Static Detection of Denial-of-Service VulnerabilitiesRichard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov. csfw 2009: 186-199 [doi]

Robustness of Model-Based SimulationsGeorgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. rtss 2009: 345-354 [doi]

Efficient decision procedure for non-linear arithmetic constraints using CORDICMalay K. Ganai, Franjo Ivancic. FMCAD 2009: 61-68 [doi]

Using hardware transactional memory for data race detectionShantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin RÃ¶tteler. ipps 2009: 1-11 [doi]

Foreword: Special issue on numerical software verificationFranjo Ivancic, Sriram Sankaranarayanan, Chao Wang. fmsd, 35(3):227-228, 2009. [doi]

Generating and Analyzing Symbolic Traces of Simulink/Stateflow ModelsAditya Kanade, Rajeev Alur, Franjo Ivančić, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar. cav 2009: 430-445 [doi]

A hybrid nano-CMOS architecture for defect and fault toleranceMuzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin RÃ¶tteler, Niraj K. Jha. jetc, 5(3), 2009. [doi]

Model checking sequential software programs via mixed symbolic analysisZijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic. todaes, 14(1), 2009. [doi]

2008

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

RaceTM: detecting data races using transactional memoryShantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler. spaa 2008: 104-106 [doi]

Efficient SAT-based bounded model checking for software verificationFranjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar. TCS, 404(3):256-274, 2008. [doi]

A Policy Iteration Technique for Time Elapse over Template PolyhedraSriram Sankaranarayanan, Thao Dang, Franjo Ivancic. hybrid 2008: 654-657 [doi]

Mining library specifications using inductive logic programmingSriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. ICSE 2008: 131-140 [doi]

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

Symbolic Model Checking of Hybrid Systems Using Template PolyhedraSriram Sankaranarayanan, Thao Dang, Franjo Ivancic. TACAS 2008: 188-202 [doi]

Fault-Tolerant Computing Using a Hybrid Nano-CMOS ArchitectureMuzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin Rötteler, Niraj K. Jha. vlsid 2008: 435-440 [doi]

Bitwidth Reduction via Symbolic Interval Analysis for Software Model CheckingAleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar. tcad, 27(8):1513-1517, 2008. [doi]

2007

2006

Counterexample-guided predicate abstraction of hybrid systemsRajeev Alur, Thao Dang, Franjo Ivancic. TCS, 354(2):250-271, 2006. [doi]

Predicate abstraction for reachability analysis of hybrid systemsRajeev Alur, Thao Dang, Franjo Ivancic. tecs, 5(1):152-199, 2006. [doi]

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement LoopHimanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang. cav 2006: 137-151 [doi]

Static Analysis in Disjunctive Numerical DomainsSriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta. SAS 2006: 3-17 [doi]

Disjunctive image computation for embedded software verificationChao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta. date 2006: 1205-1210 [doi]

Whodunit? Causal Analysis for CounterexamplesChao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta. ATVA 2006: 82-95 [doi]

Mixed symbolic representations for model checking software programsZijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic. memocode 2006: 17-26 [doi]

2005

2004

Efficient SAT-based Bounded Model Checking for Software VerificationPranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang. isola 2004: 157-164

Benchmarks for Hybrid Systems VerificationAnsgar Fehnker, Franjo Ivancic. hybrid 2004: 326-341 [doi]

2003

2002

2001

1998

An automatic rule base generation method for fuzzy pattern recognition with multiphased clusteringFranjo Ivancic, Ashutosh Malaviya, Liliane Peters. kes 1998: 66-75 [doi]