Samik Basu

	2009
45		Chris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong: Intrusion response cost assessment methodology. ASIACCS 2009: 388-391
44		Chris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong: A Framework for Cost Sensitive Assessment of Intrusion Response Selection. COMPSAC (1) 2009: 355-360
43		Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic: Multi-clock Soc design using protocol conversion. DATE 2009: 123-128
42		Youssef Hanna, Samik Basu, Hridesh Rajan: Behavioral automata composition for automatic topology independent verification of parameterized systems. ESEC/SIGSOFT FSE 2009: 325-334
41		Samik Basu, Arka P. Ghosh, Ru He: Approximate Model Checking of PCTL Involving Unbounded Path Properties. ICFEM 2009: 326-346
40		Zachary J. Oster, Samik Basu: Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers. ICTAI 2009: 572-575
39		Saayan Mitra, Ratnesh Kumar, Samik Basu: A Framework for Optimal Decentralized Service-Choreography. ICWS 2009: 493-500
38		Ganesh Ram Santhanam, Samik Basu, Vasant Honavar: Web Service Substitution Based on Preferences Over Non-functional Attributes. IEEE SCC 2009: 210-217
37		Xia Wang, Johnny S. Wong, Fred Stanley, Samik Basu: Cross-Layer Based Anomaly Detection in Wireless Mesh Networks. SAINT 2009: 9-15
	2008
36		Ganesh Ram Santhanam, Samik Basu, Vasant Honavar: TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences. ICSOC 2008: 453-467
35		Jyotishman Pathak, Samik Basu, Vasant Honavar: Composing Web Services through Automatic Reformulation of Service Specifications. IEEE SCC (1) 2008: 361-369
34		Saayan Mitra, Ratnesh Kumar, Samik Basu: Optimum Decentralized Choreography for Web Services Composition. IEEE SCC (2) 2008: 395-402
33		Natalia Stakhanova, Chris Strasburg, Samik Basu, Johnny S. Wong: On Evaluation of Response Cost for Intrusion Response Systems. RAID 2008: 390-391
32		Ganesh Ram Santhanam, Samik Basu, Vasant Honavar: On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. SERVICES I 2008: 538-544
31		Roopak Sinha, Partha S. Roop, Samik Basu: A Module Checking Based Converter Synthesis Approach for SoCs. VLSI Design 2008: 492-501
30		Roopak Sinha, Partha S. Roop, Samik Basu: A Model Checking Approach to Protocol Conversion. Electr. Notes Theor. Comput. Sci. 203(4): 81-94 (2008)
29		Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. International Journal on Artificial Intelligence Tools 17(1): 109-138 (2008)
	2007
28		Natalia Stakhanova, Samik Basu, Johnny Wong: A Cost-Sensitive Model for Preemptive Intrusion Response Systems. AINA 2007: 428-435
27		Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xia Wang, Johnny Wong: Specification Synthesis for Monitoring and Analysis of MANET Protocols. AINA Workshops (1) 2007: 183-187
26		Jyotishman Pathak, Samik Basu, Vasant Honavar: On Context-Specific Substitutability of Web Services. ICWS 2007: 192-199
25		Saayan Mitra, Ratnesh Kumar, Samik Basu: Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. ICWS 2007: 364-371
24		Flavian Vasile, Samik Basu: Cost-based Analysis of Multiple Counter-Examples. SEKE 2007: 33-38
23		Saayan Mitra, Samik Basu, Ratnesh Kumar: Local and On-the-fly Choreography-based Web Service Composition. Web Intelligence 2007: 521-527
22		Jyotishman Pathak, Samik Basu, Vasant Honavar: Assembling Composite Web Services from Autonomous Components. Emerging Artificial Intelligence Applications in Computer Engineering 2007: 394-405
21		Samik Basu, Scott A. Smolka: Model checking the Java metalocking algorithm. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
20		Samik Basu, Partha S. Roop, Roopak Sinha: Local Module Checking for CTL Specifications. Electr. Notes Theor. Comput. Sci. 176(2): 125-141 (2007)
	2006
19		Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong: Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. DASC 2006: 333-340
18		Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. ECOWS 2006: 3-12
17		Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: MoSCoE: A Framework for Modeling Web Service Composition and Execution. ICDE Workshops 2006: 143
16		Jyotishman Pathak, Samik Basu, Vasant Honavar: Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. ICSOC 2006: 314-326
15		Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. ICTAI 2006: 445-454
14		Andrew S. Miner, Samik Basu: Verification of software via integration of design and implementation. IPDPS 2006
13		Ping Yang, Samik Basu, C. R. Ramakrishnan: Parameterized Verification of pi-Calculus Systems. TACAS 2006: 42-57
12		Samik Basu, C. R. Ramakrishnan: Compositional analysis for verification of parameterized systems. Theor. Comput. Sci. 354(2): 211-229 (2006)
	2005
11		Natalia Stakhanova, Samik Basu, Johnny Wong, Oleg Stakhanov: Trust Framework for P2P Networks Using Peer-Profile Based Anomaly Technique. ICDCS Workshops 2005: 203-209
10		Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka: FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. TACAS 2005: 563-569
	2004
9		Samik Basu, Diptikalyan Saha, Scott A. Smolka: Localizing Program Errors for Cimple Debugging. FORTE 2004: 79-96
8		Samik Basu, Prem Uppuluri: Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection. ICDCIT 2004: 353-362
7		Prem Uppuluri, Samik Basu: LASE: Layered Approach for Sensor Security and Efficiency. ICPP Workshops 2004: 346-353
	2003
6		Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka: Generation of All Counter-Examples for Push-Down Systems. FORTE 2003: 79-94
5		R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney: Model-carrying code: a practical approach for safe execution of untrusted applications. SOSP 2003: 15-28
4		Samik Basu, C. R. Ramakrishnan: Compositional Analysis for Verification of Parameterized Systems. TACAS 2003: 315-330
	2002
3		Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan: Resource-Constrained Model Checking of Recursive Programs. TACAS 2002: 236-250
	2001
2		Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma: Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. ICLP 2001: 166-180
	2000
1		Samik Basu, Scott A. Smolka, Orson R. Ward: Model Checking the Java Meta-Locking Algorithm. ECBS 2000: 342-350

Coauthor Index

1	Sandeep Bhatkar	[5]
2	Daniel C. DuVarney	[5]
3	Arka P. Ghosh	[41]
4	Youssef Hanna	[42]
5	Ru He	[41]
6	Vasant Honavar	[15] [16] [17] [18] [22] [26] [29] [32] [35] [36] [38]
7	Curtis W. Keller	[10]
8	K. Narayan Kumar	[3]
9	Ratnesh Kumar	[23] [25] [34] [39]
10	Yow-Jian Lin	[6]
11	Robyn R. Lutz	[15] [17] [18] [19] [29]
12	Andrew S. Miner	[14]
13	Saayan Mitra	[23] [25] [34] [39]
14	Madhavan Mukund	[2]
15	Zachary J. Oster	[40]
16	Jyotishman Pathak	[15] [16] [17] [18] [22] [26] [29] [35]
17	L. Robert Pokorny	[3]
18	Hridesh Rajan	[42]
19	C. R. Ramakrishnan	[2] [3] [4] [12] [13]
20	I. V. Ramakrishnan	[2]
21	Partha S. Roop	[20] [30] [31] [43]
22	Diptikalyan Saha	[6] [9] [10]
23	Zoran A. Salcic (Zoran Salcic)	[43]
24	Ganesh Ram Santhanam	[32] [36] [38]
25	R. Sekar	[5]
26	Roopak Sinha	[20] [30] [31] [43]
27	Scott A. Smolka	[1] [6] [9] [10] [21]
28	Oleg Stakhanov	[11]
29	Natalia Stakhanova	[11] [19] [27] [28] [33] [44] [45]
30	Fred Stanley	[37]
31	Chris Strasburg	[33] [44] [45]
32	Prem Uppuluri	[7] [8]
33	Flavian Vasile	[24]
34	V. N. Venkatakrishnan	[5]
35	Rakesh M. Verma	[2]
36	Xia Wang	[27] [37]
37	Orson R. Ward	[1]
38	Johnny S. Wong (Johnny Wong)	[11] [19] [27] [28] [33] [37] [44] [45]
39	Ping Yang	[13]
40	Wensheng Zhang	[27]

Colors in the list of coauthors