Model Checking the Java Meta-Locking Algorithm. - Samik Basu 001; Scott A. Smolka; Orson R. Ward (ECBS, 2000)

Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. - Samik Basu 001; Madhavan Mukund; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Rakesh M. Verma (ICLP, 2001)

Resource-Constrained Model Checking of Recursive Programs. - Samik Basu 001; K. Narayan Kumar; L. Robert Pokorny; C. R. Ramakrishnan 001 (TACAS, 2002)

Generation of All Counter-Examples for Push-Down Systems. - Samik Basu 001; Diptikalyan Saha; Yow-Jian Lin; Scott A. Smolka (FORTE, 2003)

Model-carrying code: a practical approach for safe execution of untrusted applications. - R. Sekar 001; V. N. Venkatakrishnan; Samik Basu 001; Sandeep Bhatkar; Daniel C. DuVarney (SOSP, 2003)

Localizing Program Errors for Cimple Debugging. - Samik Basu 001; Diptikalyan Saha; Scott A. Smolka (FORTE, 2004)

Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection. - Samik Basu 001; Prem Uppuluri (ICDCIT, 2004)

LASE: Layered Approach for Sensor Security and Efficiency. - Prem Uppuluri; Samik Basu 001 (ICPP Workshops, 2004)

Trust Framework for P2P Networks Using Peer-Profile Based Anomaly Technique. - Natalia Stakhanova; Samik Basu 001; Johnny Wong 001; Oleg Stakhanov (ICDCS Workshops, 2005)

FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. - Curtis W. Keller; Diptikalyan Saha; Samik Basu 001; Scott A. Smolka (TACAS, 2005)

Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. - Ratnesh Kumar 001; Changyan Zhou; Samik Basu 001 (ACC, 2006)

Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications. - Samik Basu 001; Ratnesh Kumar 001 (CDC, 2006)

Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. - Natalia Stakhanova; Samik Basu 001; Robyn R. Lutz; Johnny Wong 001 (DASC, 2006)

Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. - Jyotishman Pathak; Samik Basu 001; Robyn R. Lutz; Vasant G. Honavar (ECOWS, 2006)

MoSCoE: A Framework for Modeling Web Service Composition and Execution. - Jyotishman Pathak; Samik Basu 001; Robyn R. Lutz; Vasant G. Honavar (ICDE Workshops, 2006)

Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. - Jyotishman Pathak; Samik Basu 001; Vasant G. Honavar (ICSOC, 2006)

Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. - Jyotishman Pathak; Samik Basu 001; Robyn R. Lutz; Vasant G. Honavar (ICTAI, 2006)

Verification of software via integration of design and implementation. - Andrew S. Miner; Samik Basu 001 (IPDPS, 2006)

Parameterized Verification of pi-Calculus Systems. - Ping Yang 002; Samik Basu 001; C. R. Ramakrishnan 001 (TACAS, 2006)

Local Module Checking for CTL Specifications. - Samik Basu 001; Partha S. Roop; Roopak Sinha (FESCA@ETAPS, 2006)

Compositional analysis for verification of parameterized systems. - Samik Basu 001; C. R. Ramakrishnan 001 (Theor. Comput. Sci., 2006)

A Cost-Sensitive Model for Preemptive Intrusion Response Systems. - Natalia Stakhanova; Samik Basu 001; Johnny Wong 001 (AINA, 2007)

Specification Synthesis for Monitoring and Analysis of MANET Protocols. - Natalia Stakhanova; Samik Basu 001; Wensheng Zhang 001; Xia Wang; Johnny Wong 001 (AINA Workshops (1), 2007)

Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications. - Samik Basu 001; Ratnesh Kumar 001 (CDC, 2007)

Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. - Saayan Mitra; Ratnesh Kumar 001; Samik Basu 001 (ICWS, 2007)

On Context-Specific Substitutability of Web Services. - Jyotishman Pathak; Samik Basu 001; Vasant G. Honavar (ICWS, 2007)

Cost-based Analysis of Multiple Counter-Examples. - Flavian Vasile; Samik Basu 001 (SEKE, 2007)

Local and On-the-fly Choreography-based Web Service Composition. - Saayan Mitra; Samik Basu 001; Ratnesh Kumar 001 (Web Intelligence, 2007)

A Model Checking Approach to Protocol Conversion. - Roopak Sinha; Partha S. Roop; Samik Basu 001 (SLA++P@ETAPS, 2007)

A taxonomy of intrusion response systems. - Natalia Stakhanova; Samik Basu 001; Johnny Wong 001 (Int. J. Inf. Comput. Secur., 2007)

Model checking the Java metalocking algorithm. - Samik Basu 001; Scott A. Smolka (ACM Trans. Softw. Eng. Methodol., 2007)

Assembling Composite Web Services from Autonomous Components. - Jyotishman Pathak; Samik Basu 001; Vasant G. Honavar (Emerging Artificial Intelligence Applications in Computer Engineering, 2007)

Optimum Decentralized Choreography for Web Services Composition. - Saayan Mitra; Ratnesh Kumar 001; Samik Basu 001 (IEEE SCC (2), 2008)

Composing Web Services through Automatic Reformulation of Service Specifications. - Jyotishman Pathak; Samik Basu 001; Vasant G. Honavar (IEEE SCC (1), 2008)

TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (ICSOC, 2008)

On Evaluation of Response Cost for Intrusion Response Systems. - Natalia Stakhanova; Chris Strasburg; Samik Basu 001; Johnny S. Wong (RAID, 2008)

On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (SERVICES I, 2008)

A Module Checking Based Converter Synthesis Approach for SoCs. - Roopak Sinha; Partha S. Roop; Samik Basu 001 (VLSI Design, 2008)

SoC Design Approach Using Convertibility Verification. - Roopak Sinha; Partha S. Roop; Samik Basu 001 (EURASIP J. Embed. Syst., 2008)

MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. - Jyotishman Pathak; Samik Basu 001; Robyn R. Lutz; Vasant G. Honavar (Int. J. Artif. Intell. Tools, 2008)

Web Service Substitution Based on Preferences Over Non-functional Attributes. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (IEEE SCC, 2009)

Intrusion response cost assessment methodology. - Chris Strasburg; Natalia Stakhanova; Samik Basu 001; Johnny S. Wong (AsiaCCS, 2009)

A Framework for Cost Sensitive Assessment of Intrusion Response Selection. - Chris Strasburg; Natalia Stakhanova; Samik Basu 001; Johnny S. Wong (COMPSAC (1), 2009)

Multi-clock Soc design using protocol conversion. - Roopak Sinha; Partha S. Roop; Samik Basu 001; Zoran Salcic (DATE, 2009)

Approximate Model Checking of PCTL Involving Unbounded Path Properties. - Samik Basu 001; Arka P. Ghosh; Ru He (ICFEM, 2009)

Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers. - Zachary J. Oster; Samik Basu 001 (ICTAI, 2009)

A Framework for Optimal Decentralized Service-Choreography. - Saayan Mitra; Ratnesh Kumar 001; Samik Basu 001 (ICWS, 2009)

Cross-Layer Based Anomaly Detection in Wireless Mesh Networks. - Xia Wang; Johnny S. Wong; Fred Stanley; Samik Basu 001 (SAINT, 2009)

Behavioral automata composition for automatic topology independent verification of parameterized systems. - Youssef Hanna; Samik Basu 001; Hridesh Rajan (ESEC/SIGSOFT FSE, 2009)

Product-line-based requirements customization for web service compositions. - Hongyu Sun 001; Robyn R. Lutz; Samik Basu 001 (SPLC, 2009)

Dominance Testing via Model Checking. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (AAAI, 2010)

XIDR: A Dynamic Framework Utilizing Cross-Layer Intrusion Detection for Effective Response Deployment. - Igors Svecs; Tanmoy Sarkar; Samik Basu 001; Johnny S. Wong (COMPSAC Workshops, 2010)

Decomposing the Service Composition Problem. - Zachary J. Oster; Ganesh Ram Santhanam; Samik Basu 001 (ECOWS, 2010)

Automating Cut-off for Multi-parameterized Systems. - Youssef Hanna; David Samuelson; Samik Basu 001; Hridesh Rajan (ICFEM, 2010)

Automata-Based Verification of Security Requirements of Composite Web Services. - Hongyu Sun 001; Samik Basu 001; Vasant G. Honavar; Robyn R. Lutz (ISSRE, 2010)

A bounded statistical approach for model checking of unbounded until properties. - Ru He; Paul Jennings; Samik Basu 001; Arka P. Ghosh; Huaiqing Wu (ASE, 2010)

Efficient Dominance Testing for Unconditional Preferences. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (KR, 2010)

Analysis & Detection of SQL Injection Vulnerabilities via Automatic Test Case Generation of Programs. - Michelle Ruse; Tanmoy Sarkar; Samik Basu 001 (SAINT, 2010)

Masquerade Detection in Network Environments. - Chris Strasburg; Sandeep Krishnan; Karin S. Dorman; Samik Basu 001; Johnny S. Wong (SAINT, 2010)

Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. - Dinanath Nadkarni; Samik Basu 001; Vasant G. Honavar; Robyn R. Lutz (WS-FM, 2010)

On the symbiosis of specification-based and anomaly-based detection. - Natalia Stakhanova; Samik Basu 001; Johnny Wong 001 (Comput. Secur., 2010)

Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. - Ganesh Ram Santhanam; Yuly Suvorov; Samik Basu 001; Vasant G. Honavar (AAAI, 2011)

Identifying Sustainable Designs Using Preferences over Sustainability Attributes. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (AAAI Spring Symposium: Artificial Intelligence and Sustainable Design, 2011)

Identifying Optimal Composite Services by Decomposing the Service Composition Problem. - Zachary J. Oster; Ganesh Ram Santhanam; Samik Basu 001 (ICWS, 2011)

Automating analysis of qualitative preferences in goal-oriented requirements engineering. - Zachary J. Oster; Ganesh Ram Santhanam; Samik Basu 001 (ASE, 2011)

Choreography conformance via synchronizability. - Samik Basu 001; Tevfik Bultan (WWW, 2011)

Compositional model checking of software product lines using variation point obligations. - Jing Liu; Samik Basu 001; Robyn R. Lutz (Autom. Softw. Eng., 2011)

Representing and Reasoning with Qualitative Preferences for Compositional Systems. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (J. Artif. Intell. Res., 2011)

Correct-by-construction multi-component SoC design. - Roopak Sinha; Partha S. Roop; Zoran Salcic; Samik Basu 001 (DATE, 2012)

Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure. - Zachary J. Oster; Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (FACS, 2012)

ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications. - Tanmoy Sarkar; Samik Basu 001; Johnny S. Wong (ICFEM, 2012)

A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis. - Zachary J. Oster; Syed Adeel Ali; Ganesh Ram Santhanam; Samik Basu 001; Partha S. Roop (ICSOC, 2012)

Deciding choreography realizability. - Samik Basu 001; Tevfik Bultan; Meriem Ouederni (POPL, 2012)

Synchronizability for Verification of Asynchronously Communicating Systems. - Samik Basu 001; Tevfik Bultan; Meriem Ouederni (VMCAI, 2012)

Towards cost-sensitive assessment of intrusion response selection. - Natalia Stakhanova; Chris Strasburg; Samik Basu 001; Johnny S. Wong (J. Comput. Secur., 2012)

A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems. - Paul Jennings; Arka P. Ghosh; Samik Basu 001 (ACM Trans. Softw. Eng. Methodol., 2012)

Verifying Preferential Equivalence and Subsumption via Model Checking. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (ADT, 2013)

S-MAIDS: A Semantic Model for Automated Tuning, Correlation, and Response Selection in Intrusion Detection Systems. - Chris Strasburg; Samik Basu 001; Johnny S. Wong (COMPSAC, 2013)

Identifying a preferred countermeasure strategy for attack graphs. - Ganesh Ram Santhanam; Zachary J. Oster; Samik Basu 001 (CSIIRW, 2013)

Detecting Cross-Site Scripting Vulnerability Using Concolic Testing. - Michelle Ruse; Samik Basu 001 (ITNG, 2013)

SynConSMutate: Concolic Testing of Database Applications via Synthetic Data Guided by SQL Mutants. - Tanmoy Sarkar; Samik Basu 001; Johnny Wong 001 (ITNG, 2013)

Preference Based Service Adaptation Using Service Substitution. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (Web Intelligence, 2013)

iConSMutate: Concolic Testing of Database Applications Using Existing Database States Guided by SQL Mutants. - Tanmoy Sarkar; Samik Basu 001; Johnny Wong 001 (ITNG, 2014)

Automatic verification of interactions in asynchronous systems with unbounded buffers. - Samik Basu 001; Tevfik Bultan (ASE, 2014)

A Knowledge Based Framework for Case-specific Diagnosis. - Ganesh Ram Santhanam; Gopalakrishnan Sivaprakasam; Giora Slutzki; Samik Basu 001 (ICAART (2), 2015)

Scalable modeling and analysis of requirements preferences: A qualitative approach using CI-Nets. - Zachary J. Oster; Ganesh Ram Santhanam; Samik Basu 001 (RE, 2015)

CRISNER: A Practically Efficient Reasoner for Qualitative Preferences. - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (CoRR, 2015)

A Cross-Domain Comparable Measurement Framework to Quantify Intrusion Detection Effectiveness. - Chris Strasburg; Samik Basu 001; Johnny S. Wong (CISRC, 2016)

Automated Choreography Repair. - Samik Basu 001; Tevfik Bultan (FASE, 2016)

On deciding synchronizability for asynchronously communicating systems. - Samik Basu 001; Tevfik Bultan (Theor. Comput. Sci., 2016)

Representing and Reasoning with Qualitative Preferences: Tools and Applications - Ganesh Ram Santhanam; Samik Basu 001; Vasant G. Honavar (Representing and Reasoning with Qualitative Preferences, 2016)

Selecting the minimal set of preferred responses to counter detected intrusions. - Maheedhar Gunasekharan; Samik Basu 001; Ganesh Ram Santhanam (CISRC, 2017)

Influence Maximization in Social Networks With Non-Target Constraints. - Madhavan R. Padmanabhan; Naresh Somisetty; Samik Basu 001; A. Pavan 001 (IEEE BigData, 2018)

Disrupting Diffusion: Critical Nodes in Network. - Raj Gaurav Kumar; Preeti Bhardwaj; Samik Basu 001; Aduri Pavan (WI/IAT, 2020)

Multi-Objective Submodular Optimization with Approximate Oracles and Influence Maximization. - Xiaoyun Fu; Rishabh Rajendra Bhatt; Samik Basu 001; Aduri Pavan (IEEE BigData, 2021)

Control of Non-Deterministic Systems With $ mu$-Calculus Specifications Using Quotienting. - Samik Basu 001; Ratnesh Kumar 001 (IEEE CAA J. Autom. Sinica, 2021)

Measuring the impact of influence on individuals: roadmap to quantifying attitude. - Xiaoyun Fu; Madhavan R. Padmanabhan; Raj Gaurav Kumar; Samik Basu 001; Shawn F. Dorius; A. Pavan 001 (Soc. Netw. Anal. Min., 2021)

Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. - Samik Basu 001; Vasant G. Honavar; Ganesh Ram Santhanam; Jia Tao 001 (ECAI, 2023)

Size-constrained k-submodular maximization in near-linear time. - Guanyu Nie; Yanhui Zhu; Yididiya Y. Nadew; Samik Basu 001; A. Pavan 001; Christopher John Quinn (UAI, 2023)

Maximizing submodular functions under submodular constraints. - Madhavan R. Padmanabhan; Yanhui Zhu; Samik Basu 001; Aduri Pavan (UAI, 2023)

Fairness in Monotone k-submodular Maximization: Algorithms and Applications. - Yanhui Zhu; Samik Basu 001; Aduri Pavan (IEEE Big Data, 2024)

Regularized Unconstrained Weakly Submodular Maximization. - Yanhui Zhu; Samik Basu 001; A. Pavan 001 (CIKM, 2024)

Improved Evolutionary Algorithms for Submodular Maximization with Cost Constraints. - Yanhui Zhu; Samik Basu 001; A. Pavan 001 (IJCAI, 2024)

Analysis of the Effects of Perception Inconsistency Among Interacting Vehicles in Partially Observable Environments. - Md Rayhanul Islam; Tichakorn Wongpiromsarn; Samik Basu 001 (ITSC, 2024)

Iterative Counter-Example Guided Robustness Verification for Neural Networks. - Karthik Hanumanthaiah; Samik Basu 001 (SAIV, 2024)

DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems. - Le Chang; Saitej Yavvari; Rance Cleaveland; Samik Basu 001; Liyi Li 002 (CoRR, 2024)

Fairness in Monotone k-submodular Maximization: Algorithms and Applications. - Yanhui Zhu; Samik Basu 001; A. Pavan 001 (CoRR, 2024)

Checking Consistency of CP-Theory Preferences in Polynomial Time. - Erik Rauer; Samik Basu 001; Vasant G. Honavar (AAAI, 2025)