Supratik Mukhopadhyay

	2008
24		Ramesh Bharadwaj, Supratik Mukhopadhyay: A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC 2008: 227-230
23		Prabhdeep Singh, Fatih Gelgi, Hasan Davulcu, Stephen S. Yau, Supratik Mukhopadhyay: A Risk Reduction Framework for Dynamic Workflows. IEEE SCC (1) 2008: 381-388
	2007
22		Stephen 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
21		Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang: Preface. Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006)
	2005
20		Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh: Service Composition in a Secure Agent-Based Architecture. EEE 2005: 787-788
19		Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao: Adaptable Situation-Aware Secure Service-Based (AS3) Systems. ISORC 2005: 308-315
18		Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj: Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. WORDS 2005: 197-204
17		Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury: Preface. Electr. Notes Theor. Comput. Sci. 118: 1- (2005)
	2004
16		Lan Guo, Supratik Mukhopadhyay, Bojan Cukic: Does Your Result Checker Really Check? DSN 2004: 399-404
15		Ravishankar 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
13		Jean H. Gallier, Salvatore La Torre, Supratik Mukhopadhyay: Deterministic finite automata with recursive calls and DPDAs. Inf. Process. Lett. 87(4): 187-193 (2003)
12		Witold 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
11		Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay: Dynamic Message Sequence Charts. FSTTCS 2002: 253-264
10		Witold 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
8		Supratik Mukhopadhyay, Andreas Podelski: An Algebraic Framework for Abstract Model Checking. SARA 2002: 152-169
7		Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski: Compositional Termination Analysis of Symbolic Forward Analysis. VMCAI 2002: 109-125
	2001
6		Supratik Mukhopadhyay, Andreas Podelski: Accurate Widenings and Boundedness Properties of Timed Systems. Ershov Memorial Conference 2001: 79-94
5		Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: The Complexity of Model Checking Mobile Ambients. FoSSaCS 2001: 152-167
4		Supratik Mukhopadhyay, Andreas Podelski: Constraint Database Models Characterizing Timed Bisimilarity. PADL 2001: 245-258
3		Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski: Model Checking Communication Protocols. SOFSEM 2001: 160-170
	2000
2		Supratik Mukhopadhyay, Andreas Podelski: Model Checking for Timed Logic Processes. Computational Logic 2000: 598-612
	1999
1		Supratik Mukhopadhyay, Andreas Podelski: Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. FSTTCS 1999: 232-244

Coauthor Index

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

Colors in the list of coauthors