researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

franjoivani

Statistics

Publications: 1
Edited: 0

Aliases

Franjo Ivancic
Ivančić
F. Ivančić
Ivančić, F.
Franjo Ivančić
Ivančić, Franjo

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Franjo Ivančić's Profile

Publications

Unidentified Publications

Publications with a 'Franjo Ivančić' as author, editor, or advisor:

Symbolic Model Checking of Hybrid Systems Using Template PolyhedraSriram Sankaranarayanan, Thao Dang, Franjo Ivancic. TACAS 2008: 188-202 [doi]
A Hybrid Dynamical Systems Approach to Intelligent Low-Level NavigationEric Aaron, Harold C. Sun, Franjo Ivancic, Dimitris N. Metaxas. ca 2002: 154-163 [doi]
State space exploration using feedback constraint generation and Monte-Carlo samplingSriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic. ESEC/FSE 2007: 321-330 [doi]
Dynamic inference of likely data preconditions over predicates by tree learningSriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta. ISSTA 2008: 295-306 [doi]
Using hardware transactional memory for data race detectionShantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin RÃ¶tteler. ipps 2009: 1-11 [doi]
Replay without recording of production bugs for service oriented applicationsNipun Arora, Jonathan Bell 0001, Franjo Ivancic, Gail E. Kaiser, Baishakhi Ray. ASE 2018: 452-463 [doi]
Object Model Construction for Inheritance in C++ and Its Applications to Program AnalysisJing Yang 0003, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma. CC 2012: 144-164 [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]
Efficient SAT-based Bounded Model Checking for Software VerificationPranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang. ISoLA 2004: 157-164
Using Counterexamples for Improving the Precision of Reachability Computation with PolyhedraChao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic. cav 2007: 352-365 [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]
Hybrid System Models of Navigation Strategies for Games and AnimationsEric Aaron, Franjo Ivancic, Dimitris N. Metaxas. hybrid 2002: 7-20 [doi]
Foreword: Special issue on numerical software verificationFranjo Ivancic, Sriram Sankaranarayanan, Chao Wang. fmsd, 35(3):227-228, 2009. [doi]
Counterexample-guided predicate abstraction of hybrid systemsRajeev Alur, Thao Dang, Franjo Ivancic. TCS, 354(2):250-271, 2006. [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]
DC2: A framework for scalable, scope-bounded software verificationFranjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki. ASE 2011: 133-142 [doi]
Induction in CEGAR for Detecting CounterexamplesChao Wang, Aarti Gupta, Franjo Ivancic. FMCAD 2007: 77-84 [doi]
Interprocedural Exception Analysis for C++Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta. ECOOP 2011: 583-608 [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]
Localization and Register Sharing for Predicate AbstractionHimanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai. TACAS 2005: 397-412 [doi]
Static Analysis in Disjunctive Numerical DomainsSriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta. SAS 2006: 3-17 [doi]
Editorial: Special Section VCPSS'09Georgios E. Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan. tecs, 11(S2):52, 2012. [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]
Reasoning About Threads Communicating via LocksVineet Kahlon, Franjo Ivancic, Aarti Gupta. cav 2005: 505-518 [doi]
Disjunctive image computation for embedded software verificationChao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta. date 2006: 1205-1210 [doi]
Visual Programming for Modeling and Simulation of Biomolecular Regulatory NetworksRajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb. hipc 2002: 702-712 [doi]
Reachability Analysis of Hybrid Systems via Predicate AbstractionRajeev Alur, Thao Dang, Franjo Ivancic. hybrid 2002: 35-48 [doi]
Benchmarks for Hybrid Systems VerificationAnsgar Fehnker, Franjo Ivancic. hybrid 2004: 326-341 [doi]
Efficient Probabilistic Model Checking of Systems with Ranged ProbabilitiesKhalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta. rp 2012: 107-120 [doi]
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USACalin Belta, Franjo Ivancic, editors, ACM, 2013. [doi]
Modeling and analytics for cyber-physical systems in the age of big dataAbhishek B. Sharma, Franjo Ivancic, Alexandru Niculescu-Mizil, Haifeng Chen, Guofei Jiang. sigmetrics, 41(4):74-77, 2014. [doi]
SunDew: Systematic Automated Security TestingFranjo Ivancic. icst 2020: 3 [doi]
ARC++: effective typestate and lifetime dependency analysisXusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri. ISSTA 2014: 116-126 [doi]
An automatic rule base generation method for fuzzy pattern recognition with multiphased clusteringFranjo Ivancic, Ashutosh Malaviya, Liliane Peters. kes 1998: 66-75 [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]
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]
Program analysis via satisfiability modulo path programsWilliam R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. POPL 2010: 71-82 [doi]
Scalable and scope-bounded software verification in VarvelFranjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain. ASE, 22(4):517-559, 2015. [doi]
Probabilistic Temporal Logic Falsification of Cyber-Physical SystemsHoussam Abbas, Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. tecs, 12(2s):95, 2013. [doi]
Donut Domains: Efficient Non-convex Domains for Abstract InterpretationKhalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta. vmcai 2012: 235-250 [doi]
Model Checking C Programs Using F-SOFTFranjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai. iccd 2005: 297-308 [doi]
A Framework for Reasoning about Animation SystemsEric Aaron, Dimitris N. Metaxas, Franjo Ivancic. iva 2001: 47-60 [doi]
RaceTM: detecting data races using transactional memoryShantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler. spaa 2008: 104-106 [doi]
Hierarchical modeling and analysis of embedded systemsRajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky. pieee, 91(1):11-28, 2003.
F-Soft: Software Verification PlatformFranjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar. cav 2005: 301-306 [doi]
Program Analysis Using Symbolic RangesSriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. SAS 2007: 366-383 [doi]
Counter-Example Guided Predicate Abstraction of Hybrid SystemsRajeev Alur, Thao Dang, Franjo Ivancic. TACAS 2003: 208-223 [doi]
Environment-Sensitive Performance Tuning for Distributed Service OrchestrationYu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta. vecpar 2015: 209-223 [doi]
Modeling and Analyzing the Interaction of C and C++ StringsGogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil. foveoos 2012: 67-85 [doi]
Hybrid Modeling and Simulation of Biomolecular NetworksRajeev Alur, Calin Belta, Franjo Ivancic. hybrid 2001: 19-32 [doi]
Disjunctive image computation for software verificationChao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta. todaes, 12(2):10, 2007. [doi]
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]
Zero-Config Fuzzing for MicroservicesWei Wang, Andrei Benea, Franjo Ivancic. ASE 2023: 1840-1845 [doi]
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]
Reducing Time-To-Fix For Fuzzer BugsRui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan. ASE 2021: 1126-1130 [doi]
Mining library specifications using inductive logic programmingSriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. ICSE 2008: 131-140 [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]
Feedback-directed unit test generation for C/C++ using concolic executionPranav Garg 0001, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta. ICSE 2013: 132-141 [doi]
Generating consistent updates for software-defined network configurationsYifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, Aarti Gupta. sigcomm 2014: 221-222 [doi]
Generating embedded software from hierarchical hybrid modelsRajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky. lctrts 2003: 171-182 [doi]
Predicate abstraction for reachability analysis of hybrid systemsRajeev Alur, Thao Dang, Franjo Ivancic. tecs, 5(1):152-199, 2006. [doi]
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle EliminationChao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta. lpar 2005: 322-336 [doi]
Efficient decision procedure for non-linear arithmetic constraints using CORDICMalay K. Ganai, Franjo Ivancic. FMCAD 2009: 61-68 [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]
Mixed symbolic representations for model checking software programsZijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic. memocode 2006: 17-26 [doi]
Concurrent Test Generation Using Concolic Multi-trace AnalysisNiloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta. aplas 2012: 239-255 [doi]
Refining the control structure of loops using static analysisGogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. emsoft 2009: 49-58 [doi]
Whodunit? Causal Analysis for CounterexamplesChao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta. ATVA 2006: 82-95 [doi]
A Policy Iteration Technique for Time Elapse over Template PolyhedraSriram Sankaranarayanan, Thao Dang, Franjo Ivancic. hybrid 2008: 654-657 [doi]
Hierarchical Hybrid Modeling of Embedded SystemsRajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky. emsoft 2001: 14-31 [doi]
FUDGE: fuzz driver generation at scaleDomagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang. FSE 2019: 975-985 [doi]
Robustness of Model-Based SimulationsGeorgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. rtss 2009: 345-354 [doi]
Model checking sequential software programs via mixed symbolic analysisZijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic. todaes, 14(1), 2009. [doi]
Progress on Reachability Analysis of Hybrid Systems Using Predicate AbstractionRajeev Alur, Thao Dang, Franjo Ivancic. hybrid 2003: 4-19 [doi]
An Adaptable Rule Placement for Software-Defined NetworksShuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik. dsn 2014: 88-99 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL