Search the dblp DataBase

Publications of Author

1. Gurashish Singh Brar, Susmit Biswas, Sudipta Kundu, Arijit Mukhopadhyay, Pratik Worah, Anupam Basu
   OaSis: An Application Specific Operating System for an Embedded Environment. [Citation Graph (0, 0)][DBLP]
   VLSI Design, 2004, pp:776-779 [Conf]
   
2. 
   Validating High-Level Synthesis. [Citation Graph (, )][DBLP]
   
   
3. 
   Contessa: Concurrency Testing Augmented with Symbolic Analysis. [Citation Graph (, )][DBLP]
   
   
4. 
   Partial order reduction for scalable testing of systemC TLM designs. [Citation Graph (, )][DBLP]
   
   
5. 
   Symbolic Predictive Analysis for Concurrent Programs. [Citation Graph (, )][DBLP]
   
   
6. 
   Automated refinement checking of concurrent systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Proving optimizations correct using parameterized program equivalence. [Citation Graph (, )][DBLP]
   
   
8. 
   Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions. [Citation Graph (, )][DBLP]