Franjo Ivancic

2009
41	EE	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)
2008
40	EE	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657
39	EE	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Mining library specifications using inductive logic programming. ICSE 2008: 131-140
38	EE	Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta: Dynamic inference of likely data preconditions over predicates by tree learning. ISSTA 2008: 295-306
37	EE	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	EE	Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler: RaceTM: detecting data races using transactional memory. SPAA 2008: 104-106
35	EE	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202
34	EE	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	EE	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	EE	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	EE	Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic: Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365
30	EE	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	EE	Chao Wang, Aarti Gupta, Franjo Ivancic: Induction in CEGAR for Detecting Counterexamples. FMCAD 2007: 77-84
28	EE	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program Analysis Using Symbolic Ranges. SAS 2007: 366-383
27	EE	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	EE	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95
25	EE	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	EE	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210
23	EE	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26
22	EE	Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta: Static Analysis in Disjunctive Numerical Domains. SAS 2006: 3-17
21	EE	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	EE	Rajeev Alur, Thao Dang, Franjo Ivancic: Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. 354(2): 250-271 (2006)
2005
19	EE	Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar: F-Soft: Software Verification Platform. CAV 2005: 301-306
18	EE	Vineet Kahlon, Franjo Ivancic, Aarti Gupta: Reasoning About Threads Communicating via Locks. CAV 2005: 505-518
17	EE	Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai: Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308
16	EE	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	EE	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai: Localization and Register Sharing for Predicate Abstraction. TACAS 2005: 397-412
2004
14	EE	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	EE	Rajeev Alur, Thao Dang, Franjo Ivancic: Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC 2003: 4-19
11	EE	Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182
10	EE	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	EE	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	EE	Rajeev Alur, Thao Dang, Franjo Ivancic: Reachability Analysis of Hybrid Systems via Predicate Abstraction. HSCC 2002: 35-48
6	EE	Eric Aaron, Franjo Ivancic, Dimitris N. Metaxas: Hybrid System Models of Navigation Strategies for Games and Animations. HSCC 2002: 7-20
5	EE	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	EE	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	EE	Rajeev Alur, Calin Belta, Franjo Ivancic: Hybrid Modeling and Simulation of Biomolecular Networks. HSCC 2001: 19-32
2	EE	Eric Aaron, Dimitris N. Metaxas, Franjo Ivancic: A Framework for Reasoning about Animation Systems. IVA 2001: 47-60
1998
1	EE	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]
3	Pranav Ashar	[13] [19] [32] [33]
4	Gogul Balakrishnan	[37]
5	Calin Belta	[3] [5]
6	Srihari Cadambi	[33] [34] [36]
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] [41]
15	Shantanu Gupta	[36]
16	Yerang Hur	[4] [9]
17	Himanshu Jain	[15] [25]
18	Niraj K. Jha	[34]
19	Guofei Jiang	[30]
20	Vineet Kahlon	[18]
21	Jesung Kim	[11]
22	Vijay Kumar	[4] [5] [9]
23	Insup Lee	[4] [9] [11]
24	Ashutosh Malaviya	[1]
25	Dimitris N. Metaxas	[2] [6] [8]
26	Pradyumna Mishra	[4] [9]
27	George J. Pappas	[4] [9]
28	Liliane Peters	[1]
29	Martin Rötteler	[34] [36]
30	Harvey Rubin	[5]
31	Sriram Sankaranarayanan	[22] [28] [30] [35] [37] [38] [39] [40]
32	Jonathan Schug	[5]
33	Ilya Shlyakhter	[17] [19] [22] [25] [33]
34	Muzaffer O. Simsir	[34]
35	Oleg Sokolsky	[4] [5] [9] [11]
36	Florin Sultan	[36]
37	Harold C. Sun	[8]
38	Chao Wang	[16] [23] [24] [25] [26] [27] [29] [31] [41]
39	Jonathan Webb	[5]
40	Ou Wei	[37]
41	Zijiang Yang	[13] [19] [23] [24] [26] [27] [31] [32] [33] [41]
42	Aleksandr Zaks	[33]

Colors in the list of coauthors