| 2011 |
|---|
| 1 |
Compositional 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 |
| 2 |
Verifying 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 |
| 3 |
Representing 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 |
|---|
| 1 |
Dominance Testing via Model Checking. Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. AAAI 2010. Web SearchBibTeXDownload |
| 2 |
On the symbiosis of specification-based and anomaly-based detection. Natalia Stakhanova, Samik Basu, Johnny Wong. Computers & Security (29): 253-268 (2010). Web SearchBibTeXDownload |
| 3 |
Efficient Dominance Testing for Unconditional Preferences. Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. KR 2010. Web SearchBibTeXDownload |
| 4 |
Automata-Based Verification of Security Requirements of Composite Web Services. Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. Lutz. ISSRE 2010, 348-357. Web SearchBibTeXDownload |
| 5 |
Failure 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 |
|---|
| 1 |
Web Service Substitution Based on Preferences Over Non-functional Attributes. Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. IEEE SCC 2009, 210-217. Web SearchBibTeXDownload |
| 2008 |
|---|
| 1 |
Composing Web Services through Automatic Reformulation of Service Specifications. Jyotishman Pathak, Samik Basu, Vasant Honavar. IEEE SCC (1) 2008, 361-369. Web SearchBibTeXDownload |
| 2 |
TCP-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 |
| 3 |
On 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 |
| 4 |
MOSCOE: 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 |
| 2007 |
|---|
| 1 |
A Cost-Sensitive Model for Preemptive Intrusion Response Systems. Natalia Stakhanova, Samik Basu, Johnny Wong. AINA 2007, 428-435. Web SearchBibTeXDownload |
| 2 |
Assembling Composite Web Services from Autonomous Components. Jyotishman Pathak, Samik Basu, Vasant Honavar. Emerging Artificial Intelligence Applications in Computer Engineering 2007, 394-405. Web SearchBibTeX |
| 3 |
On Context-Specific Substitutability of Web Services. Jyotishman Pathak, Samik Basu, Vasant Honavar. ICWS 2007, 192-199. Web SearchBibTeXDownload |
| 4 |
Specification 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 |
| 2006 |
|---|
| 1 |
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ECOWS 2006, 3-12. Web SearchBibTeXDownload |
| 2 |
Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. Jyotishman Pathak, Samik Basu, Vasant Honavar. ICSOC 2006, 314-326. Web SearchBibTeXDownload |
| 3 |
Compositional analysis for verification of parameterized systems. Samik Basu, C. R. Ramakrishnan. Theor. Comput. Sci. (354): 211-229 (2006). Web SearchBibTeXDownload |
| 4 |
Selecting 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 |
| 5 |
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong. DASC 2006, 333-340. Web SearchBibTeXDownload |
| 6 |
Parameterized Verification of pi-Calculus Systems. Ping Yang, Samik Basu, C. R. Ramakrishnan. TACAS 2006, 42-57. Web SearchBibTeXDownload |
| 7 |
MoSCoE: A Framework for Modeling Web Service Composition and Execution. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ICDE Workshops 2006, 143. Web SearchBibTeXDownload |
| 2005 |
|---|
| 1 |
Trust 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 |
|---|
| 1 |
Compositional Analysis for Verification of Parameterized Systems. Samik Basu, C. R. Ramakrishnan. TACAS 2003, 315-330. Web SearchBibTeXDownload |
| 2002 |
|---|
| 1 |
Resource-Constrained Model Checking of Recursive Programs. Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan. TACAS 2002, 236-250. Web SearchBibTeXDownload |
| 2001 |
|---|
| 1 |
Local 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 |
