|
Search the dblp DataBase
Supratik Mukhopadhyay:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Supratik Mukhopadhyay, Andreas Podelski
Model Checking for Timed Logic Processes. [Citation Graph (0, 0)][DBLP] Computational Logic, 2000, pp:598-612 [Conf]
- Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
Does Your Result Checker Really Check? [Citation Graph (0, 0)][DBLP] DSN, 2004, pp:399-404 [Conf]
- 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]
- 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]
- 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]
- Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay
Dynamic Message Sequence Charts. [Citation Graph (0, 0)][DBLP] FSTTCS, 2002, pp:253-264 [Conf]
- Supratik Mukhopadhyay, Andreas Podelski
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP] FSTTCS, 1999, pp:232-244 [Conf]
- 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]
- 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]
- 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]
- Supratik Mukhopadhyay, Andreas Podelski
Constraint Database Models Characterizing Timed Bisimilarity. [Citation Graph (0, 0)][DBLP] PADL, 2001, pp:245-258 [Conf]
- 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]
- Supratik Mukhopadhyay, Andreas Podelski
An Algebraic Framework for Abstract Model Checking. [Citation Graph (0, 0)][DBLP] SARA, 2002, pp:152-169 [Conf]
- Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski
Model Checking Communication Protocols. [Citation Graph (0, 0)][DBLP] SOFSEM, 2001, pp:160-170 [Conf]
- Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
Compositional Termination Analysis of Symbolic Forward Analysis. [Citation Graph (0, 0)][DBLP] VMCAI, 2002, pp:109-125 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
A Risk Reduction Framework for Dynamic Workflows. [Citation Graph (, )][DBLP]
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. [Citation Graph (, )][DBLP]
Preventing Future Oil Spills with Software-Based Event Detection. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.303secs
|