Bibsonomy :: author  ::

bookmarks

publications

(38)

• 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  
• Assessment of stimulus preference and reinforcer value with profoundly retarded individuals.
  GM Pace and MT Ivancic and GL Edwards and BA Iwata and TJ Page Journal of Applied Behavior Analysis 18 249 (1985)
  to preference_assessment by dani on 2008-06-16 16:45:08
  | 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  
• Performance of End-to-End Mobility Management in Satellite IP Networks.
  Pulak K. Chowdhury and Mohammed Atiquzzaman and William Ivancic GLOBECOM (2006)
  to dblp by dblp on 2007-10-30 00:00:00
  | URL | BibTeX  
• State space exploration using feedback constraint generation and Monte-Carlo sampling.
  Sriram Sankaranarayanan and Richard M. Chang and Guofei Jiang and Franjo Ivancic ESEC/SIGSOFT FSE 321-330 (2007)
  to dblp by dblp on 2007-10-23 00:00:00
  | URL | BibTeX