Search the dblp DataBase

Publications of Author

1. Purandar Bhaduri, S. Ramesh
   Synthesis of Synchronous Interfaces. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:208-216 [Conf]
   
2. R. Venkatesh, Purandar Bhaduri, Mathai Joseph
   Formalizing Models and Meta-models for System Development. [Citation Graph (0, 0)][DBLP]
   APSEC, 2001, pp:155-0 [Conf]
   
3. Purandar Bhaduri
   Synthesis of Interface Automata. [Citation Graph (0, 0)][DBLP]
   ATVA, 2005, pp:338-353 [Conf]
   
4. S. Ramesh, Purandar Bhaduri
   Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study. [Citation Graph (0, 0)][DBLP]
   CAV, 1999, pp:84-95 [Conf]
   
5. Ulka Shrotri, Purandar Bhaduri, R. Venkatesh
   Model Checking Visual Specification of Requirements. [Citation Graph (0, 0)][DBLP]
   SEFM, 2003, pp:202-209 [Conf]
   
6. Purandar Bhaduri, S. Ramesh
   Model Checking of Statechart Models: Survey and Research Directions [Citation Graph (0, 0)][DBLP]
   CoRR, 2004, v:0, n:, pp:- [Journal]
   
7. Purandar Bhaduri, R. Venkatesh, Girish Keshav Palshikar
   Formal Techniques for Analysing Scenarios using Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
   
8. Girish Keshav Palshikar, Purandar Bhaduri
   Verification of Scenario-based Specifications using Templates. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:37-55 [Journal]
   
9. Mangala Gowri Nanda, Purandar Bhaduri, Sundeep Oberoi, Amitabha Sanyal
   An Application of Compiler Technology to the Year 2000 Problem. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 1999, v:29, n:4, pp:359-377 [Journal]
   
10. 
    A proposal for real-time interfaces in SPEEDS. [Citation Graph (, )][DBLP]
    
    
11. 
    Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus. [Citation Graph (, )][DBLP]
    
    
12. 
    Performance analysis of FlexRay-based systems using real-time calculus, revisited. [Citation Graph (, )][DBLP]