BibSonomy :: author  :: Ivancic ::

bookmarks

publications

(40)

• A Policy Iteration Technique for Time Elapse over Template Polyhedra.
  Sriram Sankaranarayanan and Thao Dang and Franjo Ivancic HSCC 654-657 (2008)
  to dblp by dblp on 2008-08-27 00:00:00
  | URL | BibTeX  
• SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.
  Gogul Balakrishnan and Sriram Sankaranarayanan and Franjo Ivancic and Ou Wei and Aarti Gupta SAS 238-254 (2008)
  to dblp by dblp on 2008-08-12 00:00:00
  | URL | BibTeX  
• Dynamic inference of likely data preconditions over predicates by tree learning.
  Sriram Sankaranarayanan and Swarat Chaudhuri and Franjo Ivancic and Aarti Gupta ISSTA 295-306 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• RaceTM: detecting data races using transactional memory.
  Shantanu Gupta and Florin Sultan and Srihari Cadambi and Franjo Ivancic and Martin Rötteler SPAA 104-106 (2008)
  to dblp by dblp on 2008-06-17 00:00:00
  | URL | BibTeX  
• Mining library specifications using inductive logic programming.
  Sriram Sankaranarayanan and Franjo Ivancic and Aarti Gupta ICSE 131-140 (2008)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.
  Sriram Sankaranarayanan and Thao Dang and Franjo Ivancic TACAS 188-202 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture.
  Muzaffer O. Simsir and Srihari Cadambi and Franjo Ivancic and Martin Rötteler and Niraj K. Jha VLSI Design 435-440 (2008)
  to dblp by dblp on 2008-04-03 00:00:00
  | URL | BibTeX  
• Induction in CEGAR for Detecting Counterexamples.
  Chao Wang and Aarti Gupta and Franjo Ivancic FMCAD 77-84 (2007)
  to dblp by dblp on 2008-02-11 00:00:00
  | URL | BibTeX  
• An automatic rule base generation method for fuzzy pattern recognition with multiphased clustering.
  Franjo Ivancic and Ashutosh Malaviya and Liliane Peters KES (3) 66-75 (1998)
  to dblp by dblp on 2008-02-08 00:00:00
  | URL | BibTeX  
• Disjunctive image computation for software verification.
  Chao Wang and Zijiang Yang and Franjo Ivancic and Aarti Gupta ACM Trans. Design Autom. Electr. Syst. 12 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX