The SCEAS System
Navigation Menu

Search the dblp DataBase


Purandar Bhaduri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002