2009 |
36 | EE | Chris Strasburg,
Natalia Stakhanova,
Samik Basu,
Johnny S. Wong:
Intrusion response cost assessment methodology.
ASIACCS 2009: 388-391 |
2008 |
35 | EE | 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 |
34 | EE | Jyotishman Pathak,
Samik Basu,
Vasant Honavar:
Composing Web Services through Automatic Reformulation of Service Specifications.
IEEE SCC (1) 2008: 361-369 |
33 | EE | Saayan Mitra,
Ratnesh Kumar,
Samik Basu:
Optimum Decentralized Choreography for Web Services Composition.
IEEE SCC (2) 2008: 395-402 |
32 | EE | Natalia Stakhanova,
Chris Strasburg,
Samik Basu,
Johnny S. Wong:
On Evaluation of Response Cost for Intrusion Response Systems.
RAID 2008: 390-391 |
31 | EE | Roopak Sinha,
Partha S. Roop,
Samik Basu:
A Module Checking Based Converter Synthesis Approach for SoCs.
VLSI Design 2008: 492-501 |
30 | EE | 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 | EE | 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 | EE | Natalia Stakhanova,
Samik Basu,
Johnny Wong:
A Cost-Sensitive Model for Preemptive Intrusion Response Systems.
AINA 2007: 428-435 |
27 | EE | 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 | EE | Jyotishman Pathak,
Samik Basu,
Vasant Honavar:
On Context-Specific Substitutability of Web Services.
ICWS 2007: 192-199 |
25 | EE | 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 | EE | 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 | EE | Samik Basu,
Scott A. Smolka:
Model checking the Java metalocking algorithm.
ACM Trans. Softw. Eng. Methodol. 16(3): (2007) |
20 | EE | 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 | EE | Natalia Stakhanova,
Samik Basu,
Robyn R. Lutz,
Johnny Wong:
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring.
DASC 2006: 333-340 |
18 | EE | Jyotishman Pathak,
Samik Basu,
Robyn R. Lutz,
Vasant Honavar:
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach.
ECOWS 2006: 3-12 |
17 | EE | Jyotishman Pathak,
Samik Basu,
Robyn R. Lutz,
Vasant Honavar:
MoSCoE: A Framework for Modeling Web Service Composition and Execution.
ICDE Workshops 2006: 143 |
16 | EE | Jyotishman Pathak,
Samik Basu,
Vasant Honavar:
Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements.
ICSOC 2006: 314-326 |
15 | EE | 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 | EE | Andrew S. Miner,
Samik Basu:
Verification of software via integration of design and implementation.
IPDPS 2006 |
13 | EE | Ping Yang,
Samik Basu,
C. R. Ramakrishnan:
Parameterized Verification of pi-Calculus Systems.
TACAS 2006: 42-57 |
12 | EE | Samik Basu,
C. R. Ramakrishnan:
Compositional analysis for verification of parameterized systems.
Theor. Comput. Sci. 354(2): 211-229 (2006) |
2005 |
11 | EE | 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 | EE | 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 | EE | Samik Basu,
Diptikalyan Saha,
Scott A. Smolka:
Localizing Program Errors for Cimple Debugging.
FORTE 2004: 79-96 |
8 | EE | Samik Basu,
Prem Uppuluri:
Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection.
ICDCIT 2004: 353-362 |
7 | EE | Prem Uppuluri,
Samik Basu:
LASE: Layered Approach for Sensor Security and Efficiency.
ICPP Workshops 2004: 346-353 |
2003 |
6 | EE | Samik Basu,
Diptikalyan Saha,
Yow-Jian Lin,
Scott A. Smolka:
Generation of All Counter-Examples for Push-Down Systems.
FORTE 2003: 79-94 |
5 | EE | 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 | EE | Samik Basu,
C. R. Ramakrishnan:
Compositional Analysis for Verification of Parameterized Systems.
TACAS 2003: 315-330 |
2002 |
3 | EE | Samik Basu,
K. Narayan Kumar,
L. Robert Pokorny,
C. R. Ramakrishnan:
Resource-Constrained Model Checking of Recursive Programs.
TACAS 2002: 236-250 |
2001 |
2 | EE | 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 | EE | Samik Basu,
Scott A. Smolka,
Orson R. Ward:
Model Checking the Java Meta-Locking Algorithm.
ECBS 2000: 342-350 |