Franjo Ivancic

	2012
58		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
57		Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta: Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI 2012: 235-250
	2011
56		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
55		Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta: Interprocedural Exception Analysis for C++. ECOOP 2011: 583-608
	2010
54		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
53		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
52		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
51		Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta: Numerical stability analysis of floating-point computations using software model checking. MEMOCODE 2010: 49-58
50		William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program analysis via satisfiability modulo path programs. POPL 2010: 71-82
	2009
49		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
48		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
47		Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Refining the control structure of loops using static analysis. EMSOFT 2009: 49-58
46		Malay K. Ganai, Franjo Ivancic: Efficient decision procedure for non-linear arithmetic constraints using CORDIC. FMCAD 2009: 61-68
45		Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Robustness of Model-Based Simulations. IEEE Real-Time Systems Symposium 2009: 345-354
44		Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler: Using hardware transactional memory for data race detection. IPDPS 2009: 1-11
43		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)
42		Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang: Foreword: Special issue on numerical software verification. Formal Methods in System Design 35(3): 227-228 (2009)
41		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)
	2008
40		Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657
39		Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Mining library specifications using inductive logic programming. ICSE 2008: 131-140
38		Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta: Dynamic inference of likely data preconditions over predicates by tree learning. ISSTA 2008: 295-306
37		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
36		Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler: RaceTM: detecting data races using transactional memory. SPAA 2008: 104-106
35		Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202
34		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
33		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)
32		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)
	2007
31		Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic: Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365
30		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
29		Chao Wang, Aarti Gupta, Franjo Ivancic: Induction in CEGAR for Detecting Counterexamples. FMCAD 2007: 77-84
28		Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program Analysis Using Symbolic Ranges. SAS 2007: 366-383
27		Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. 12(2): (2007)
	2006
26		Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95
25		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
24		Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210
23		Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26
22		Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta: Static Analysis in Disjunctive Numerical Domains. SAS 2006: 3-17
21		Rajeev Alur, Thao Dang, Franjo Ivancic: Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embedded Comput. Syst. 5(1): 152-199 (2006)
20		Rajeev Alur, Thao Dang, Franjo Ivancic: Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. 354(2): 250-271 (2006)
	2005
19		Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar: F-Soft: Software Verification Platform. CAV 2005: 301-306
18		Vineet Kahlon, Franjo Ivancic, Aarti Gupta: Reasoning About Threads Communicating via Locks. CAV 2005: 505-518
17		Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai: Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308
16		Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta: Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. LPAR 2005: 322-336
15		Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai: Localization and Register Sharing for Predicate Abstraction. TACAS 2005: 397-412
	2004
14		Ansgar Fehnker, Franjo Ivancic: Benchmarks for Hybrid Systems Verification. HSCC 2004: 326-341
13		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
12		Rajeev Alur, Thao Dang, Franjo Ivancic: Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC 2003: 4-19
11		Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182
10		Rajeev Alur, Thao Dang, Franjo Ivancic: Counter-Example Guided Predicate Abstraction of Hybrid Systems. TACAS 2003: 208-223
9		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)
	2002
8		Eric Aaron, Harold C. Sun, Franjo Ivancic, Dimitris N. Metaxas: A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation. CA 2002: 154-163
7		Rajeev Alur, Thao Dang, Franjo Ivancic: Reachability Analysis of Hybrid Systems via Predicate Abstraction. HSCC 2002: 35-48
6		Eric Aaron, Franjo Ivancic, Dimitris N. Metaxas: Hybrid System Models of Navigation Strategies for Games and Animations. HSCC 2002: 7-20
5		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
	2001
4		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
3		Rajeev Alur, Calin Belta, Franjo Ivancic: Hybrid Modeling and Simulation of Biomolecular Networks. HSCC 2001: 19-32
2		Eric Aaron, Dimitris N. Metaxas, Franjo Ivancic: A Framework for Reasoning about Animation Systems. IVA 2001: 47-60
	1998
1		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

1	Eric Aaron	[2] [6] [8]
2	Rajeev Alur	[3] [4] [5] [7] [9] [10] [11] [12] [20] [21] [49]
3	Pranav Ashar	[13] [19] [32] [33]
4	Gogul Balakrishnan	[37] [47] [54] [55] [56] [57] [58]
5	Calin Belta	[3] [5]
6	Srihari Cadambi	[33] [34] [36] [41] [44]
7	Richard M. Chang	[30] [48]
8	Swarat Chaudhuri	[38]
9	Edmund M. Clarke	[53]
10	Thao Dang	[4] [7] [9] [10] [12] [20] [21] [35] [40]
11	Joel M. Esposito	[4] [9]
12	Georgios E. Fainekos	[45] [52]
13	Ansgar Fehnker	[14]
14	Rafael B. Fierro	[4]
15	Malay K. Ganai	[13] [15] [16] [17] [19] [32] [33] [46] [51] [53] [54]
16	Sicun Gao	[53]
17	Khalil Ghorbal	[57]
18	Aarti Gupta	[13] [15] [16] [17] [18] [19] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [37] [38] [39] [43] [45] [47] [50] [51] [52] [53] [54] [55] [56] [57] [58]
19	Shantanu Gupta	[36] [44]
20	William R. Harris	[50]
21	Yerang Hur	[4] [9]
22	Takashi Imoto	[56]
23	Himanshu Jain	[15] [25]
24	Niraj K. Jha	[34] [41]
25	Guofei Jiang	[30] [48]
26	Vineet Kahlon	[18] [54]
27	Aditya Kanade	[49]
28	Jesung Kim	[11]
29	Vijay Kumar	[4] [5] [9]
30	Insup Lee	[4] [9] [11]
31	Weihong Li	[54]
32	Naoto Maeda	[54] [55] [56] [57] [58]
33	Ashutosh Malaviya	[1]
34	Dimitris N. Metaxas	[2] [6] [8]
35	Pradyumna Mishra	[4] [9]
36	Yoshiaki Miyazaki	[56]
37	Truong Nghiem	[52]
38	Nadia Papakonstantinou	[54]
39	George J. Pappas	[4] [9] [52]
40	Liliane Peters	[1]
41	Prakash Prabhu	[55]
42	S. Ramesh (Sethu Ramesh)	[49]
43	Martin Rötteler (Martin Roetteler)	[34] [36] [41] [44]
44	Harvey Rubin	[5]
45	Sriram Sankaranarayanan	[22] [28] [30] [35] [37] [38] [39] [40] [42] [45] [47] [48] [49] [50] [51] [52] [53] [54] [56] [58]
46	Jonathan Schug	[5]
47	Naveen Sharma	[58]
48	K. C. Shashidhar	[49]
49	Ilya Shlyakhter	[17] [19] [22] [25] [33]
50	Vitaly Shmatikov	[48]
51	Muzaffer O. Simsir	[34] [41]
52	Nishant Sinha	[54] [58]
53	Oleg Sokolsky	[4] [5] [9] [11]
54	Florin Sultan	[36] [44]
55	Harold C. Sun	[8]
56	Hiroki Tokuoka	[56]
57	Chao Wang	[16] [23] [24] [25] [26] [27] [29] [31] [42] [43] [54]
58	Jonathan Webb	[5]
59	Ou Wei	[37]
60	Jing Yang	[58]
61	Zijiang Yang	[13] [19] [23] [24] [26] [27] [31] [32] [33] [43]
62	Aleksandr Zaks	[33]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page