Samik Basu

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
28Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar. AAAI 2011. Web SearchBibTeXDownload
27Compositional model checking of software product lines using variation point obligations. Jing Liu, Samik Basu, Robyn R. Lutz. Autom. Softw. Eng. (18): 39-76 (2011). Web SearchBibTeXDownload
26Representing and Reasoning with Qualitative Preferences for Compositional Systems. Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. J. Artif. Intell. Res. (JAIR) (42): 211-274 (2011). Web SearchBibTeXDownload
2010
25Dominance Testing via Model Checking. Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. AAAI 2010. Web SearchBibTeXDownload
24On the symbiosis of specification-based and anomaly-based detection. Natalia Stakhanova, Samik Basu, Johnny Wong. Computers & Security (29): 253-268 (2010). Web SearchBibTeXDownload
23Automata-Based Verification of Security Requirements of Composite Web Services. Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. Lutz. ISSRE 2010, 348-357. Web SearchBibTeXDownload
22Efficient Dominance Testing for Unconditional Preferences. Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. KR 2010. Web SearchBibTeXDownload
21Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz. WS-FM 2010, 161-175. Web SearchBibTeXDownload
2009
20Web Service Substitution Based on Preferences Over Non-functional Attributes. Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. IEEE SCC 2009, 210-217. Web SearchBibTeXDownload
2008
19TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences. Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. ICSOC 2008, 453-467. Web SearchBibTeXDownload
18Composing Web Services through Automatic Reformulation of Service Specifications. Jyotishman Pathak, Samik Basu, Vasant Honavar. IEEE SCC (1) 2008, 361-369. Web SearchBibTeXDownload
17MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. International Journal on Artificial Intelligence Tools (17): 109-138 (2008). Web SearchBibTeXDownload
16On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. SERVICES I 2008, 538-544. Web SearchBibTeXDownload
2007
15A Cost-Sensitive Model for Preemptive Intrusion Response Systems. Natalia Stakhanova, Samik Basu, Johnny Wong. AINA 2007, 428-435. Web SearchBibTeXDownload
14Specification Synthesis for Monitoring and Analysis of MANET Protocols. Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xia Wang, Johnny Wong. AINA Workshops (1) 2007, 183-187. Web SearchBibTeXDownload
13Assembling Composite Web Services from Autonomous Components. Jyotishman Pathak, Samik Basu, Vasant Honavar. Emerging Artificial Intelligence Applications in Computer Engineering 2007, 394-405. Web SearchBibTeX
12On Context-Specific Substitutability of Web Services. Jyotishman Pathak, Samik Basu, Vasant Honavar. ICWS 2007, 192-199. Web SearchBibTeXDownload
2006
11Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong. DASC 2006, 333-340. Web SearchBibTeXDownload
10Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ECOWS 2006, 3-12. Web SearchBibTeXDownload
9MoSCoE: A Framework for Modeling Web Service Composition and Execution. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ICDE Workshops 2006, 143. Web SearchBibTeXDownload
8Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. Jyotishman Pathak, Samik Basu, Vasant Honavar. ICSOC 2006, 314-326. Web SearchBibTeXDownload
7Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ICTAI 2006, 445-454. Web SearchBibTeXDownload
6Parameterized Verification of pi-Calculus Systems. Ping Yang, Samik Basu, C. R. Ramakrishnan. TACAS 2006, 42-57. Web SearchBibTeXDownload
5Compositional analysis for verification of parameterized systems. Samik Basu, C. R. Ramakrishnan. Theor. Comput. Sci. (354): 211-229 (2006). Web SearchBibTeXDownload
2005
4Trust Framework for P2P Networks Using Peer-Profile Based Anomaly Technique. Natalia Stakhanova, Samik Basu, Johnny Wong, Oleg Stakhanov. ICDCS Workshops 2005, 203-209. Web SearchBibTeXDownload
2003
3Compositional Analysis for Verification of Parameterized Systems. Samik Basu, C. R. Ramakrishnan. TACAS 2003, 315-330. Web SearchBibTeXDownload
2002
2Resource-Constrained Model Checking of Recursive Programs. Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan. TACAS 2002, 236-250. Web SearchBibTeXDownload
2001
1Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma. ICLP 2001, 166-180. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research