dblp.uni-trier.dewww.uni-trier.de

Samik Basu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
38EEChris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong: Intrusion response cost assessment methodology. ASIACCS 2009: 388-391
37EERoopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic: Multi-clock Soc design using protocol conversion. DATE 2009: 123-128
36EEYoussef Hanna, Samik Basu, Hridesh Rajan: Behavioral automata composition for automatic topology independent verification of parameterized systems. ESEC/SIGSOFT FSE 2009: 325-334
2008
35EEGanesh 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
34EEJyotishman Pathak, Samik Basu, Vasant Honavar: Composing Web Services through Automatic Reformulation of Service Specifications. IEEE SCC (1) 2008: 361-369
33EESaayan Mitra, Ratnesh Kumar, Samik Basu: Optimum Decentralized Choreography for Web Services Composition. IEEE SCC (2) 2008: 395-402
32EENatalia Stakhanova, Chris Strasburg, Samik Basu, Johnny S. Wong: On Evaluation of Response Cost for Intrusion Response Systems. RAID 2008: 390-391
31EERoopak Sinha, Partha S. Roop, Samik Basu: A Module Checking Based Converter Synthesis Approach for SoCs. VLSI Design 2008: 492-501
30EERoopak Sinha, Partha S. Roop, Samik Basu: A Model Checking Approach to Protocol Conversion. Electr. Notes Theor. Comput. Sci. 203(4): 81-94 (2008)
29EEJyotishman 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
28EENatalia Stakhanova, Samik Basu, Johnny Wong: A Cost-Sensitive Model for Preemptive Intrusion Response Systems. AINA 2007: 428-435
27EENatalia Stakhanova, Samik Basu, Wensheng Zhang, Xia Wang, Johnny Wong: Specification Synthesis for Monitoring and Analysis of MANET Protocols. AINA Workshops (1) 2007: 183-187
26EEJyotishman Pathak, Samik Basu, Vasant Honavar: On Context-Specific Substitutability of Web Services. ICWS 2007: 192-199
25EESaayan 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
23EESaayan 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
21EESamik Basu, Scott A. Smolka: Model checking the Java metalocking algorithm. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
20EESamik Basu, Partha S. Roop, Roopak Sinha: Local Module Checking for CTL Specifications. Electr. Notes Theor. Comput. Sci. 176(2): 125-141 (2007)
2006
19EENatalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong: Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. DASC 2006: 333-340
18EEJyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. ECOWS 2006: 3-12
17EEJyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: MoSCoE: A Framework for Modeling Web Service Composition and Execution. ICDE Workshops 2006: 143
16EEJyotishman Pathak, Samik Basu, Vasant Honavar: Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. ICSOC 2006: 314-326
15EEJyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. ICTAI 2006: 445-454
14EEAndrew S. Miner, Samik Basu: Verification of software via integration of design and implementation. IPDPS 2006
13EEPing Yang, Samik Basu, C. R. Ramakrishnan: Parameterized Verification of pi-Calculus Systems. TACAS 2006: 42-57
12EESamik Basu, C. R. Ramakrishnan: Compositional analysis for verification of parameterized systems. Theor. Comput. Sci. 354(2): 211-229 (2006)
2005
11EENatalia Stakhanova, Samik Basu, Johnny Wong, Oleg Stakhanov: Trust Framework for P2P Networks Using Peer-Profile Based Anomaly Technique. ICDCS Workshops 2005: 203-209
10EECurtis 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
9EESamik Basu, Diptikalyan Saha, Scott A. Smolka: Localizing Program Errors for Cimple Debugging. FORTE 2004: 79-96
8EESamik Basu, Prem Uppuluri: Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection. ICDCIT 2004: 353-362
7EEPrem Uppuluri, Samik Basu: LASE: Layered Approach for Sensor Security and Efficiency. ICPP Workshops 2004: 346-353
2003
6EESamik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka: Generation of All Counter-Examples for Push-Down Systems. FORTE 2003: 79-94
5EER. 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
4EESamik Basu, C. R. Ramakrishnan: Compositional Analysis for Verification of Parameterized Systems. TACAS 2003: 315-330
2002
3EESamik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan: Resource-Constrained Model Checking of Recursive Programs. TACAS 2002: 236-250
2001
2EESamik 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
1EESamik Basu, Scott A. Smolka, Orson R. Ward: Model Checking the Java Meta-Locking Algorithm. ECBS 2000: 342-350

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)