Samik Basu - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Choreography conformance via synchronizabilitySamik Basu, Tevfik Bultan. WWW 2011: 795-804 [doi]

Compositional model checking of software product lines using variation point obligationsJing Liu, Samik Basu, Robyn R. Lutz. ASE, 18(1):39-76, 2011. [doi]

Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking ApproachGanesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar. AAAI 2011: [doi]

2010

Automating Cut-off for Multi-parameterized SystemsYoussef Hanna, David Samuelson, Samik Basu, Hridesh Rajan. icfem 2010: 338-354 [doi]

A bounded statistical approach for model checking of unbounded until propertiesRu He, Paul Jennings, Samik Basu, Arka P. Ghosh, Huaiqing Wu. kbse 2010: 225-234 [doi]

Failure Analysis for Composition of Web Services Represented as Labeled Transition SystemsDinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz. wsfm 2011: 161-175 [doi]

Analysis & Detection of SQL Injection Vulnerabilities via Automatic Test Case Generation of ProgramsMichelle Ruse, Tanmoy Sarkar, Samik Basu. saint 2010: 31-37 [doi]

Efficient Dominance Testing for Unconditional PreferencesGanesh Ram Santhanam, Samik Basu, Vasant Honavar. kr 2010: [doi]

Dominance Testing via Model CheckingGanesh Ram Santhanam, Samik Basu, Vasant Honavar. AAAI 2010: [doi]

On the symbiosis of specification-based and anomaly-based detectionNatalia Stakhanova, Samik Basu, Johnny Wong. compsec, 29(2):253-268, 2010. [doi]

Masquerade Detection in Network EnvironmentsChris Strasburg, Sandeep Krishnan, Karin S. Dorman, Samik Basu, Johnny S. Wong. saint 2010: 38-44 [doi]

Automata-Based Verification of Security Requirements of Composite Web ServicesHongyu Sun, Samik Basu, Vasant Honavar, Robyn R. Lutz. issre 2010: 348-357 [doi]

2009

Approximate Model Checking of PCTL Involving Unbounded Path PropertiesSamik Basu, Arka P. Ghosh, Ru He. icfem 2009: 326-346 [doi]

Behavioral automata composition for automatic topology independent verification of parameterized systemsYoussef Hanna, Samik Basu, Hridesh Rajan. FSE 2009: 325-334 [doi]

A Framework for Optimal Decentralized Service-ChoreographySaayan Mitra, Ratnesh Kumar, Samik Basu. icws 2009: 493-500 [doi]

Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message BuffersZachary J. Oster, Samik Basu. ictai 2009: 572-575 [doi]

Web Service Substitution Based on Preferences Over Non-functional AttributesGanesh Ram Santhanam, Samik Basu, Vasant Honavar. IEEEscc 2009: 210-217 [doi]

Multi-clock Soc design using protocol conversionRoopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic. date 2009: 123-128 [doi]

Intrusion response cost assessment methodologyChris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong. ccs 2009: 388-391 [doi]

A Framework for Cost Sensitive Assessment of Intrusion Response SelectionChris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong. compsac 2009: 355-360 [doi]

Product-line-based requirements customization for web service compositionsHongyu Sun, Robyn R. Lutz, Samik Basu. SPLC 2009: 141-150 [doi]

Cross-Layer Based Anomaly Detection in Wireless Mesh NetworksXia Wang, Johnny S. Wong, Fred Stanley, Samik Basu. saint 2009: 9-15 [doi]

2008

Optimum Decentralized Choreography for Web Services CompositionSaayan Mitra, Ratnesh Kumar, Samik Basu. IEEEscc 2008: 395-402 [doi]

Composing Web Services through Automatic Reformulation of Service SpecificationsJyotishman Pathak, Samik Basu, Vasant Honavar. IEEEscc 2008: 361-369 [doi]

MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional SpecificationsJyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ijait, 17(1):109-138, 2008. [doi]

TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative PreferencesGanesh Ram Santhanam, Samik Basu, Vasant Honavar. icsoc 2008: 453-467 [doi]

On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based ApproachGanesh Ram Santhanam, Samik Basu, Vasant Honavar. services 2008: 538-544 [doi]

SoC Design Approach Using Convertibility VerificationRoopak Sinha, Partha S. Roop, Samik Basu. ejes, 2008, 2008. [doi]

A Module Checking Based Converter Synthesis Approach for SoCsRoopak Sinha, Partha S. Roop, Samik Basu. vlsid 2008: 492-501 [doi]

A Model Checking Approach to Protocol ConversionRoopak Sinha, Partha S. Roop, Samik Basu. ENTCS, 203(4):81-94, 2008. [doi]

On Evaluation of Response Cost for Intrusion Response SystemsNatalia Stakhanova, Chris Strasburg, Samik Basu, Johnny S. Wong. raid 2008: 390-391 [doi]

2007

Local Module Checking for CTL SpecificationsSamik Basu, Partha S. Roop, Roopak Sinha. ENTCS, 176(2):125-141, 2007. [doi]

Model checking the Java metalocking algorithmSamik Basu, Scott A. Smolka. TOSEM, 16(3), 2007. [doi]

Automated Choreographer Synthesis for Web Services Composition Using I/O AutomataSaayan Mitra, Ratnesh Kumar, Samik Basu. icws 2007: 364-371 [doi]

Local and On-the-fly Choreography-based Web Service CompositionSaayan Mitra, Samik Basu, Ratnesh Kumar. webist 2007: 521-527 [doi]

Assembling Composite Web Services from Autonomous ComponentsJyotishman Pathak, Samik Basu, Vasant Honavar. In Ilias Maglogiannis, Kostas Karpouzis, Manolis Wallace, John Soldatos, editors, Emerging Artificial Intelligence Applications in Computer Engineering - Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies. Volume 160 of Frontiers in Artificial Intelligence and Applications, pages 394-405, IOS Press, 2007.

On Context-Specific Substitutability of Web ServicesJyotishman Pathak, Samik Basu, Vasant Honavar. icws 2007: 192-199 [doi]

A Cost-Sensitive Model for Preemptive Intrusion Response SystemsNatalia Stakhanova, Samik Basu, Johnny Wong. aina 2007: 428-435 [doi]

Specification Synthesis for Monitoring and Analysis of MANET ProtocolsNatalia Stakhanova, Samik Basu, Wensheng Zhang, Xia Wang, Johnny Wong. aina 2007: 183-187 [doi]

Cost-based Analysis of Multiple Counter-ExamplesFlavian Vasile, Samik Basu. seke 2007: 33-38

2006

Compositional analysis for verification of parameterized systemsSamik Basu, C. R. Ramakrishnan. TCS, 354(2):211-229, 2006. [doi]

Verification of software via integration of design and implementationAndrew S. Miner, Samik Basu. ipps 2006: [doi]

Selecting and Composing Web Services through Iterative Reformulation of Functional SpecificationsJyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ictai 2006: 445-454 [doi]

Parallel Web Service Composition in MoSCoE: A Choreography-Based ApproachJyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ecows 2006: 3-12 [doi]

MoSCoE: A Framework for Modeling Web Service Composition and ExecutionJyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. icde 2006: 143 [doi]

Modeling Web Services by Iterative Reformulation of Functional and Non-functional RequirementsJyotishman Pathak, Samik Basu, Vasant Honavar. icsoc 2006: 314-326 [doi]

Automated Caching of Behavioral Patterns for Efficient Run-Time MonitoringNatalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong. dasc 2006: 333-340 [doi]

Parameterized Verification of pi-Calculus SystemsPing Yang, Samik Basu, C. R. Ramakrishnan. TACAS 2006: 42-57 [doi]

2005

FocusCheck: A Tool for Model Checking and Debugging Sequential C ProgramsCurtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka. TACAS 2005: 563-569 [doi]

Trust Framework for P2P Networks Using Peer-Profile Based Anomaly TechniqueNatalia Stakhanova, Samik Basu, Johnny Wong, Oleg Stakhanov. icdcsw 2005: 203-209 [doi]

2004

Localizing Program Errors for Cimple DebuggingSamik Basu, Diptikalyan Saha, Scott A. Smolka. forte 2004: 79-96 [doi]

Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion DetectionSamik Basu, Prem Uppuluri. icdcit 2004: 353-362 [doi]

LASE: Layered Approach for Sensor Security and EfficiencyPrem Uppuluri, Samik Basu. icppw 2004: 346-353 [doi]

2003

2002

Resource-Constrained Model Checking of Recursive ProgramsSamik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan. TACAS 2002: 236-250 [doi]

2001

Local and Symbolic Bisimulation Using Tabled Constraint Logic ProgrammingSamik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma. ICLP 2001: 166-180 [doi]

2000

Model Checking the Java Meta-Locking AlgorithmSamik Basu, Scott A. Smolka, Orson R. Ward. ECBS 2000: 342-350 [doi]