dblp.uni-trier.dewww.uni-trier.de

Supratik Mukhopadhyay Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
24EERamesh Bharadwaj, Supratik Mukhopadhyay: A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC 2008: 227-230
23EEPrabhdeep Singh, Fatih Gelgi, Hasan Davulcu, Stephen S. Yau, Supratik Mukhopadhyay: A Risk Reduction Framework for Dynamic Workflows. IEEE SCC (1) 2008: 381-388
2007
22EEStephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Haishan Gong, Prabhdeep Singh, Fatih Gelgi: Automated Situation-Aware Service Composition in Service-Oriented Computing. Int. J. Web Service Res. 4(4): 59-82 (2007)
2006
21EESupratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang: Preface. Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006)
2005
20EERamesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh: Service Composition in a Secure Agent-Based Architecture. EEE 2005: 787-788
19EEStephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao: Adaptable Situation-Aware Secure Service-Based (AS3) Systems. ISORC 2005: 308-315
18EEStephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj: Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. WORDS 2005: 197-204
17EESandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury: Preface. Electr. Notes Theor. Comput. Sci. 118: 1- (2005)
2004
16EELan Guo, Supratik Mukhopadhyay, Bojan Cukic: Does Your Result Checker Really Check? DSN 2004: 399-404
15EERavishankar Boddu, Lan Guo, Supratik Mukhopadhyay, Bojan Cukic: RETNA: From Requirements to Testing in a Natural Way. RE 2004: 262-271
2003
14 Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings Springer 2003
13EEJean H. Gallier, Salvatore La Torre, Supratik Mukhopadhyay: Deterministic finite automata with recursive calls and DPDAs. Inf. Process. Lett. 87(4): 187-193 (2003)
12EEWitold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: Model checking mobile ambients. Theor. Comput. Sci. 308(1-3): 277-331 (2003)
2002
11EEMartin Leucker, P. Madhusudan, Supratik Mukhopadhyay: Dynamic Message Sequence Charts. FSTTCS 2002: 253-264
10EEWitold Charatonik, Supratik Mukhopadhyay, Andreas Podelski: Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. ICLP 2002: 115-129
9 Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano: Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS 2002: 485-497
8EESupratik Mukhopadhyay, Andreas Podelski: An Algebraic Framework for Abstract Model Checking. SARA 2002: 152-169
7EEWitold Charatonik, Supratik Mukhopadhyay, Andreas Podelski: Compositional Termination Analysis of Symbolic Forward Analysis. VMCAI 2002: 109-125
2001
6EESupratik Mukhopadhyay, Andreas Podelski: Accurate Widenings and Boundedness Properties of Timed Systems. Ershov Memorial Conference 2001: 79-94
5EEWitold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: The Complexity of Model Checking Mobile Ambients. FoSSaCS 2001: 152-167
4EESupratik Mukhopadhyay, Andreas Podelski: Constraint Database Models Characterizing Timed Bisimilarity. PADL 2001: 245-258
3EEPablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski: Model Checking Communication Protocols. SOFSEM 2001: 160-170
2000
2EESupratik Mukhopadhyay, Andreas Podelski: Model Checking for Timed Logic Processes. Computational Logic 2000: 598-612
1999
1EESupratik Mukhopadhyay, Andreas Podelski: Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. FSTTCS 1999: 232-244

Coauthor Index

1Pablo Argón [3]
2Paul C. Attie [14]
3Ramesh Bharadwaj [18] [20] [24]
4Ravishankar Boddu [15]
5Witold Charatonik [5] [7] [10] [12]
6Agostino Cortesi [14]
7Bojan Cukic [15] [16]
8Silvano Dal-Zilio [5] [12]
9Hasan Davulcu [19] [22] [23]
10Giorgio Delzanno [3]
11Sandro Etalle [17]
12Jean H. Gallier [13]
13Fatih Gelgi [22] [23]
14Haishan Gong [22]
15Andrew D. Gordon (Andy Gordon) [5] [12]
16Lan Guo [15] [16]
17Dazhi Huang [19] [22]
18Martin Leucker [11]
19P. Madhusudan (Parthasarathy Madhusudan) [11]
20Aniello Murano [9]
21Nilay Padh [20]
22Andreas Podelski [1] [2] [3] [4] [6] [7] [8] [10]
23Abhik Roychoudhury [17] [21]
24Prabhdeep Singh [22] [23]
25Jean-Marc Talbot [5] [12]
26Salvatore La Torre [9] [13]
27Zijiang Yang [21]
28Yisheng Yao [19]
29Stephen S. Yau [18] [19] [22] [23]
30Lenore D. Zuck [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)