Franjo Ivancic

2008
33	EE	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Mining library specifications using inductive logic programming. ICSE 2008: 131-140
32	EE	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202
31	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
2007
30	EE	Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic: Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365
29	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
28	EE	Chao Wang, Aarti Gupta, Franjo Ivancic: Induction in CEGAR for Detecting Counterexamples. FMCAD 2007: 77-84
27	EE	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program Analysis Using Symbolic Ranges. SAS 2007: 366-383
26	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
25	EE	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95
24	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
23	EE	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210
22	EE	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26
21	EE	Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta: Static Analysis in Disjunctive Numerical Domains. SAS 2006: 3-17
20	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)
19	EE	Rajeev Alur, Thao Dang, Franjo Ivancic: Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. 354(2): 250-271 (2006)
2005
18	EE	Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar: F-Soft: Software Verification Platform. CAV 2005: 301-306
17	EE	Vineet Kahlon, Franjo Ivancic, Aarti Gupta: Reasoning About Threads Communicating via Locks. CAV 2005: 505-518
16	EE	Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai: Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308
15	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
14	EE	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai: Localization and Register Sharing for Predicate Abstraction. TACAS 2005: 397-412
2004
13	EE	Ansgar Fehnker, Franjo Ivancic: Benchmarks for Hybrid Systems Verification. HSCC 2004: 326-341
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] [19] [20]
3	Pranav Ashar	[18]
4	Calin Belta	[3] [5]
5	Srihari Cadambi	[31]
6	Richard M. Chang	[29]
7	Thao Dang	[4] [7] [9] [10] [12] [19] [20] [32]
8	Joel M. Esposito	[4] [9]
9	Ansgar Fehnker	[13]
10	Rafael B. Fierro	[4]
11	Malay K. Ganai	[14] [15] [16] [18]
12	Aarti Gupta	[14] [15] [16] [17] [18] [21] [22] [23] [24] [25] [26] [27] [28] [30] [33]
13	Yerang Hur	[4] [9]
14	Himanshu Jain	[14] [24]
15	Niraj K. Jha	[31]
16	Guofei Jiang	[29]
17	Vineet Kahlon	[17]
18	Jesung Kim	[11]
19	Vijay Kumar	[4] [5] [9]
20	Insup Lee	[4] [9] [11]
21	Ashutosh Malaviya	[1]
22	Dimitris N. Metaxas	[2] [6] [8]
23	Pradyumna Mishra	[4] [9]
24	George J. Pappas	[4] [9]
25	Liliane Peters	[1]
26	Martin Rötteler	[31]
27	Harvey Rubin	[5]
28	Sriram Sankaranarayanan	[21] [27] [29] [32] [33]
29	Jonathan Schug	[5]
30	Ilya Shlyakhter	[16] [18] [21] [24]
31	Muzaffer O. Simsir	[31]
32	Oleg Sokolsky	[4] [5] [9] [11]
33	Harold C. Sun	[8]
34	Chao Wang	[15] [22] [23] [24] [25] [26] [28] [30]
35	Jonathan Webb	[5]
36	Zijiang Yang	[18] [22] [23] [25] [26] [30]

Colors in the list of coauthors