dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Franjo Ivancic (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing 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
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta: Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI 2012: 235-250
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranjo 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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta: Interprocedural Exception Analysis for C++. ECOOP 2011: 583-608
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGogul 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGogul 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

Selection of 6 from 59 records - Franjo Ivancic has 63 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page