Search the dblp DataBase

Publications of Author

1. Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar
   F-Soft: Software Verification Platform. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:301-306 [Conf]
   
2. Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang
   Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:137-151 [Conf]
   
3. Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai
   Model Checking C Programs Using F-SOFT. [Citation Graph (0, 0)][DBLP]
   ICCD, 2005, pp:297-308 [Conf]
   
4. Daniel Jackson, Ian Schechter, Ilya Shlyakhter
   Alcoa: the alloy constraint analyzer. [Citation Graph (0, 0)][DBLP]
   ICSE, 2000, pp:730-733 [Conf]
   
5. Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
   Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. [Citation Graph (0, 0)][DBLP]
   ASE, 2003, pp:94-105 [Conf]
   
6. Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
   Static Analysis in Disjunctive Numerical Domains. [Citation Graph (0, 0)][DBLP]
   SAS, 2006, pp:3-17 [Conf]
   
7. Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
   A Case for Efficient Solution Enumeration. [Citation Graph (0, 0)][DBLP]
   SAT, 2003, pp:272-286 [Conf]
   
8. Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
   A micromodularity mechanism. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 2001, pp:62-73 [Conf]
   
9. Ilya Shlyakhter, Max Rozenoer, Julie Dorsey, Seth J. Teller
   Reconstructing 3D Tree Models from Instrumented Photographs. [Citation Graph (0, 0)][DBLP]
   IEEE Computer Graphics and Applications, 2001, v:21, n:3, pp:53-61 [Journal]
   
10. Ilya Shlyakhter
    Generating effective symmetry-breaking predicates for search problems. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2007, v:155, n:12, pp:1539-1548 [Journal]