BibSonomy publications for /author/Ivancic http://www.bibsonomy.org/author/Ivancic BibSonomy RSS Feed for /author/Ivancic Efficient SAT-based bounded model checking for software verification. dblp http://www.bibsonomy.org/bibtex/275b3bd4e110052eb1e1746e6c2f448eb/dblp dblp 2008-11-18T00:00:00+01:00 dblp
Efficient SAT-based bounded model checking for software verification.
Franjo Ivancic and Zijiang Yang and Malay K. Ganai and Aarti Gupta and Pranav Ashar Theor. Comput. Sci. 404 256-274 (2008)
to dblp by dblp on 2008-11-18 00:00:00
]]> Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. dblp http://www.bibsonomy.org/bibtex/2788d23023bec936359776f908b452d35/dblp dblp 2008-09-19T00:00:00+02:00 dblp
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.
Aleksandr Zaks and Zijiang Yang and Ilya Shlyakhter and Franjo Ivancic and Srihari Cadambi and Malay K. Ganai and Aarti Gupta and Pranav Ashar IEEE Trans. on CAD of Integrated Circuits and Systems 27 1513-1517 (2008)
to dblp by dblp on 2008-09-19 00:00:00
]]> Efficient SAT-based Bounded Model Checking for Software Verification. dblp http://www.bibsonomy.org/bibtex/21d213afaa6a788628ccb206066f40d50/dblp dblp 2008-09-11T00:00:00+02:00 dblp
Efficient SAT-based Bounded Model Checking for Software Verification.
Pranav Ashar and Malay K. Ganai and Aarti Gupta and Franjo Ivancic and Zijiang Yang ISoLA (Preliminary proceedings) 157-164 (2004)
to dblp by dblp on 2008-09-11 00:00:00
]]> A Policy Iteration Technique for Time Elapse over Template Polyhedra. dblp http://www.bibsonomy.org/bibtex/299ecc2ed8e96acfe3e0cabe594e1a965/dblp dblp 2008-08-27T00:00:00+02:00 dblp
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
]]> SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. dblp http://www.bibsonomy.org/bibtex/2be2225e595f6b868825162518208a776/dblp dblp 2008-08-12T00:00:00+02:00 dblp
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
]]> Dynamic inference of likely data preconditions over predicates by tree learning. dblp http://www.bibsonomy.org/bibtex/285106b179fcc7cd26cc0c85245d1b37c/dblp dblp 2008-08-04T00:00:00+02:00 dblp
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
]]> RaceTM: detecting data races using transactional memory. dblp http://www.bibsonomy.org/bibtex/2e476c3cd1f4b35b30ecac237aa1afdc4/dblp dblp 2008-06-17T00:00:00+02:00 dblp
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
]]> Assessment of stimulus preference and reinforcer value with profoundly retarded individuals. http://www.bibsonomy.org/bibtex/29eaaeadc9032a1cea460f8edd6586f59/dani dani 2008-06-16T16:45:08+02:00 preference_assessment
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
]]> Mining library specifications using inductive logic programming. dblp http://www.bibsonomy.org/bibtex/25fd25f1b1531cc03f9ecddac565cec96/dblp dblp 2008-05-15T00:00:00+02:00 dblp
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
]]> Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. dblp http://www.bibsonomy.org/bibtex/27fa0a51340abd903523287ea489441ed/dblp dblp 2008-04-21T00:00:00+02:00 dblp
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
]]>