The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Supratik Mukhopadhyay: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Supratik Mukhopadhyay, Andreas Podelski
    Model Checking for Timed Logic Processes. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:598-612 [Conf]
  2. Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
    Does Your Result Checker Really Check? [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:399-404 [Conf]
  3. Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh
    Service Composition in a Secure Agent-Based Architecture. [Citation Graph (0, 0)][DBLP]
    EEE, 2005, pp:787-788 [Conf]
  4. Supratik Mukhopadhyay, Andreas Podelski
    Accurate Widenings and Boundedness Properties of Timed Systems. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:79-94 [Conf]
  5. Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
    The Complexity of Model Checking Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:152-167 [Conf]
  6. Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay
    Dynamic Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2002, pp:253-264 [Conf]
  7. Supratik Mukhopadhyay, Andreas Podelski
    Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:232-244 [Conf]
  8. Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
    Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:115-129 [Conf]
  9. Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano
    Optimal-Reachability and Control for Acyclic Weighted Timed Automata. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:485-497 [Conf]
  10. Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao
    Adaptable Situation-Aware Secure Service-Based (AS3) Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:308-315 [Conf]
  11. Supratik Mukhopadhyay, Andreas Podelski
    Constraint Database Models Characterizing Timed Bisimilarity. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:245-258 [Conf]
  12. Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
    RETNA: From Requirements to Testing in a Natural Way. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:262-271 [Conf]
  13. Supratik Mukhopadhyay, Andreas Podelski
    An Algebraic Framework for Abstract Model Checking. [Citation Graph (0, 0)][DBLP]
    SARA, 2002, pp:152-169 [Conf]
  14. Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski
    Model Checking Communication Protocols. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2001, pp:160-170 [Conf]
  15. Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
    Compositional Termination Analysis of Symbolic Forward Analysis. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:109-125 [Conf]
  16. Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj
    Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:197-204 [Conf]
  17. Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:1-0 [Journal]
  18. Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:1- [Journal]
  19. Jean H. Gallier, Salvatore La Torre, Supratik Mukhopadhyay
    Deterministic finite automata with recursive calls and DPDAs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:87, n:4, pp:187-193 [Journal]
  20. Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
    Model checking mobile ambients. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:277-331 [Journal]

  21. A Risk Reduction Framework for Dynamic Workflows. [Citation Graph (, )][DBLP]


  22. A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. [Citation Graph (, )][DBLP]


  23. Preventing Future Oil Spills with Software-Based Event Detection. [Citation Graph (, )][DBLP]


Search in 0.021secs, Finished in 0.022secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002