Supratik Mukhopadhyay

	2012
32		S. Sitharama Iyengar, Xin Li, Huanhuan Xu, Supratik Mukhopadhyay, N. Balakrishnan, Amit Sawant, Puneeth Iyengar: Toward More Precise Radiotherapy Treatment of Lung Tumors. IEEE Computer 45(1): 59-65 (2012)
	2011
31		Manuel Peralta, Supratik Mukhopadhyay: Code-Change Impact Analysis Using Counterfactuals. COMPSAC 2011: 694-699
30		Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya: 'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths. COMSNETS 2011: 1-10
29		Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu: Functional "AJAX" in Secure Synchronous Programming. HICSS 2011: 1-10
28		Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj: Counterfactually reasoning about security. SIN 2011: 223-226
	2010
27		Sukhamay Kundu, Supratik Mukhopadhyay: Approximation of CFL by Regular Languages for Concurrent Program Verification. COMPSAC Workshops 2010: 353-358
26		S. S. Iyengar, Supratik Mukhopadhyay, Christopher Steinmuller, Xin Li: Preventing Future Oil Spills with Software-Based Event Detection. IEEE Computer 43(8): 95-97 (2010)
	2008
25		Ramesh Bharadwaj, Supratik Mukhopadhyay: A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC 2008: 227-230
24		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
23		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)
22		Supratik Mukhopadhyay: A uniform constraint-based framework for the verification of infinite state systems. Saarland University 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	N. Balakrishnan	[32]
4	Ramesh Bharadwaj	[18] [20] [25] [28] [29] [30]
5	Ravishankar Boddu	[15]
6	Witold Charatonik	[5] [7] [10] [12]
7	Agostino Cortesi	[14]
8	Bojan Cukic	[15] [16]
9	Silvano Dal-Zilio	[5] [12]
10	Hasan Davulcu	[19] [23] [24] [29]
11	Giorgio Delzanno	[3]
12	Sandro Etalle	[17]
13	Jean H. Gallier	[13]
14	Fatih Gelgi	[23] [24]
15	Haishan Gong	[23]
16	Andrew D. Gordon (Andy Gordon)	[5] [12]
17	Lan Guo	[15] [16]
18	Dazhi Huang	[19] [23]
19	Puneeth Iyengar	[32]
20	S. Sitharama Iyengar (S. S. Iyengar)	[26] [32]
21	Sukhamay Kundu	[27]
22	Martin Leucker	[11]
23	Xin Li	[26] [32]
24	P. Madhusudan (Parthasarathy Madhusudan)	[11]
25	Gaurav Mangukiya	[30]
26	Aniello Murano	[9]
27	Nilay Padh	[20]
28	Manuel Peralta	[28] [31]
29	Andreas Podelski	[1] [2] [3] [4] [6] [7] [8] [10]
30	Mohammad Rabby	[30]
31	Kaliappa Nadar Ravindran (Kaliappa Ravindran)	[30]
32	Abhik Roychoudhury	[17] [21]
33	Amit Sawant	[32]
34	Prabhdeep Singh	[23] [24]
35	Christopher Steinmuller	[26]
36	Jean-Marc Talbot	[5] [12]
37	Salvatore La Torre	[9] [13]
38	Huanhuan Xu	[32]
39	Zijiang Yang	[21]
40	Yisheng Yao	[19]
41	Stephen S. Yau	[18] [19] [23] [24]
42	Lenore D. Zuck	[14]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page