Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarFranjo Ivancic
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[c59]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: 975-985- 2018
- [c58]Nipun Arora, Jonathan Bell, Franjo Ivancic, Gail E. Kaiser, Baishakhi Ray:
Replay without recording of production bugs for service oriented applications. ASE 2018: 452-463 - 2015
- [j13]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): 517-559 (2015) - 2014
- [j12]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): 74-77 (2014) - [c57]Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik:
An Adaptable Rule Placement for Software-Defined Networks. DSN 2014: 88-99 - [c56]Xusheng Xiao
, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri:
ARC++: effective typestate and lifetime dependency analysis. ISSTA 2014: 116-126 - [c55]Yifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, Aarti Gupta:
Generating consistent updates for software-defined network configurations. HotSDN 2014: 221-222 - [c54]Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta:
Environment-Sensitive Performance Tuning for Distributed Service Orchestration. VECPAR 2014: 209-223 - 2013
- [j11]Houssam Abbas, Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. ACM Trans. Embedded Comput. Syst. 12(2s): 95:1-95:30 (2013) - [c53]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 - [e1]Calin Belta, Franjo Ivancic:
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 [contents] - 2012
- [j10]Georgios E. Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan:
Editorial: Special Section VCPSS'09. ACM Trans. Embedded Comput. Syst. 11(S2): 52:1-52:3 (2012) - [c52]Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta:
Concurrent Test Generation Using Concolic Multi-trace Analysis. APLAS 2012: 239-255 - [c51]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 - [c50]Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta:
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. RP 2012: 107-120 - [c49]Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta:
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI 2012: 235-250 - 2011
- [c48]Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta:
Interprocedural Exception Analysis for C++. ECOOP 2011: 583-608 - [c47]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 - [c46]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 - 2010
- [c45]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 - [c44]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 - [c43]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 - [c42]Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta:
Numerical stability analysis of floating-point computations using software model checking. MEMOCODE 2010: 49-58 - [c41]William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Program analysis via satisfiability modulo path programs. POPL 2010: 71-82
2000 – 2009
- 2009
- [j9]Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang:
Foreword: Special issue on numerical software verification. Formal Methods Syst. Des. 35(3): 227-228 (2009) - [j8]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): 14:1-14:26 (2009) - [j7]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): 10:1-10:26 (2009) - [c40]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 - [c39]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 - [c38]Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Refining the control structure of loops using static analysis. EMSOFT 2009: 49-58 - [c37]Malay K. Ganai, Franjo Ivancic:
Efficient decision procedure for non-linear arithmetic constraints using CORDIC. FMCAD 2009: 61-68 - [c36]Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler:
Using hardware transactional memory for data race detection. IPDPS 2009: 1-11 - [c35]Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Robustness of Model-Based Simulations. RTSS 2009: 345-354 - 2008
- [j6]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) - [j5]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) - [c34]Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic:
A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657 - [c33]Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Mining library specifications using inductive logic programming. ICSE 2008: 131-140 - [c32]Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta:
Dynamic inference of likely data preconditions over predicates by tree learning. ISSTA 2008: 295-306 - [c31]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 - [c30]Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler:
RaceTM: detecting data races using transactional memory. SPAA 2008: 104-106 - [c29]Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic:
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202 - [c28]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 - 2007
- [j4]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. 12(2): 10 (2007) - [c27]Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic:
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365 - [c26]Chao Wang, Aarti Gupta, Franjo Ivancic:
Induction in CEGAR for Detecting Counterexamples. FMCAD 2007: 77-84 - [c25]Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Program Analysis Using Symbolic Ranges. SAS 2007: 366-383 - [c24]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 - 2006
- [j3]Rajeev Alur, Thao Dang, Franjo Ivancic:
Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. 354(2): 250-271 (2006) - [j2]Rajeev Alur, Thao Dang, Franjo Ivancic:
Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embedded Comput. Syst. 5(1): 152-199 (2006) - [c23]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95 - [c22]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 - [c21]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210 - [c20]Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic:
Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26 - [c19]Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta:
Static Analysis in Disjunctive Numerical Domains. SAS 2006: 3-17 - 2005
- [c18]Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar:
F-Soft: Software Verification Platform. CAV 2005: 301-306 - [c17]Vineet Kahlon, Franjo Ivancic, Aarti Gupta:
Reasoning About Threads Communicating via Locks. CAV 2005: 505-518 - [c16]Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang:
Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308 - [c15]Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta:
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. LPAR 2005: 322-336 - [c14]Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai:
Localization and Register Sharing for Predicate Abstraction. TACAS 2005: 397-412 - 2004
- [c13]Ansgar Fehnker, Franjo Ivancic:
Benchmarks for Hybrid Systems Verification. HSCC 2004: 326-341 - [c12]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 - 2003
- [j1]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) - [c11]Rajeev Alur, Thao Dang, Franjo Ivancic:
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC 2003: 4-19 - [c10]Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky:
Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182 - [c9]Rajeev Alur, Thao Dang, Franjo Ivancic:
Counter-Example Guided Predicate Abstraction of Hybrid Systems. TACAS 2003: 208-223 - 2002
- [c8]Eric Aaron, Harold C. Sun, Franjo Ivancic, Dimitris N. Metaxas:
A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation. CA 2002: 154-163 - [c7]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 - [c6]Eric Aaron, Franjo Ivancic, Dimitris N. Metaxas:
Hybrid System Models of Navigation Strategies for Games and Animations. HSCC 2002: 7-20 - [c5]Rajeev Alur, Thao Dang, Franjo Ivancic:
Reachability Analysis of Hybrid Systems via Predicate Abstraction. HSCC 2002: 35-48 - 2001
- [c4]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 - [c3]Rajeev Alur, Calin Belta, Franjo Ivancic:
Hybrid Modeling and Simulation of Biomolecular Networks. HSCC 2001: 19-32 - [c2]Eric Aaron, Dimitris N. Metaxas, Franjo Ivancic:
A Framework for Reasoning about Animation Systems. IVA 2001: 47-60
1990 – 1999
- 1998
- [c1]Franjo Ivancic, Ashutosh Malaviya, Liliane Peters:
An automatic rule base generation method for fuzzy pattern recognition with multiphased clustering. KES (3) 1998: 66-75
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-04-26 21:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
