Franjo Ivancic

	2009
45		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
44		Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Refining the control structure of loops using static analysis. EMSOFT 2009: 49-58
43		Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler: Using hardware transactional memory for data race detection. IPDPS 2009: 1-11
42		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)
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] [45]
3	Pranav Ashar	[13] [19] [32] [33]
4	Gogul Balakrishnan	[37] [44]
5	Calin Belta	[3] [5]
6	Srihari Cadambi	[33] [34] [36] [41] [43]
7	Richard M. Chang	[30]
8	Swarat Chaudhuri	[38]
9	Thao Dang	[4] [7] [9] [10] [12] [20] [21] [35] [40]
10	Joel M. Esposito	[4] [9]
11	Ansgar Fehnker	[14]
12	Rafael B. Fierro	[4]
13	Malay K. Ganai	[13] [15] [16] [17] [19] [32] [33]
14	Aarti Gupta	[13] [15] [16] [17] [18] [19] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [37] [38] [39] [42] [44]
15	Shantanu Gupta	[36] [43]
16	Yerang Hur	[4] [9]
17	Himanshu Jain	[15] [25]
18	Niraj K. Jha	[34] [41]
19	Guofei Jiang	[30]
20	Vineet Kahlon	[18]
21	Aditya Kanade	[45]
22	Jesung Kim	[11]
23	Vijay Kumar	[4] [5] [9]
24	Insup Lee	[4] [9] [11]
25	Ashutosh Malaviya	[1]
26	Dimitris N. Metaxas	[2] [6] [8]
27	Pradyumna Mishra	[4] [9]
28	George J. Pappas	[4] [9]
29	Liliane Peters	[1]
30	S. Ramesh (Sethu Ramesh)	[45]
31	Martin Rötteler	[34] [36] [41] [43]
32	Harvey Rubin	[5]
33	Sriram Sankaranarayanan	[22] [28] [30] [35] [37] [38] [39] [40] [44] [45]
34	Jonathan Schug	[5]
35	K. C. Shashidhar	[45]
36	Ilya Shlyakhter	[17] [19] [22] [25] [33]
37	Muzaffer O. Simsir	[34] [41]
38	Oleg Sokolsky	[4] [5] [9] [11]
39	Florin Sultan	[36] [43]
40	Harold C. Sun	[8]
41	Chao Wang	[16] [23] [24] [25] [26] [27] [29] [31] [42]
42	Jonathan Webb	[5]
43	Ou Wei	[37]
44	Zijiang Yang	[13] [19] [23] [24] [26] [27] [31] [32] [33] [42]
45	Aleksandr Zaks	[33]

Colors in the list of coauthors