| 2026 | KR | On Sufficient Conditions for Consistency Checking in CP-theory Preferences. | Erik Rauer, Samik Basu |
| 2026 | KSEM | Ranked Convictions: Multi-agent Qualitative Preference Reasoning. | Liwen Wang, Erik Rauer, Samik Basu |
| 2025 | AAAI | Checking Consistency of CP-Theory Preferences in Polynomial Time. | Erik Rauer, Samik Basu, Vasant G. Honavar |
| 2025 | IFM | CTL Model Checking Partially Specified Systems. | Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu |
| 2024 | CIKM | Regularized Unconstrained Weakly Submodular Maximization. | Yanhui Zhu, Samik Basu, A. Pavan |
| 2024 | IJCAI | Improved Evolutionary Algorithms for Submodular Maximization with Cost Constraints. | Yanhui Zhu, Samik Basu, A. Pavan |
| 2023 | ECAI | Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. | Samik Basu, Vasant G. Honavar, Ganesh Ram Santhanam, Jia Tao |
| 2023 | UAI | Size-constrained k-submodular maximization in near-linear time. | Guanyu Nie, Yanhui Zhu, Yididiya Y. Nadew, Samik Basu, A. Pavan, Christopher John Quinn |
| 2023 | UAI | Maximizing submodular functions under submodular constraints. | Madhavan R. Padmanabhan, Yanhui Zhu, Samik Basu, Aduri Pavan |
| 2016 | FASE | Automated Choreography Repair. | Samik Basu, Tevfik Bultan |
| 2015 | ICAART | A Knowledge Based Framework for Case-specific Diagnosis. | Ganesh Ram Santhanam, Gopalakrishnan Sivaprakasam, Giora Slutzki, Samik Basu |
| 2015 | RE | Scalable modeling and analysis of requirements preferences: A qualitative approach using CI-Nets. | Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu |
| 2013 | COMPSAC | S-MAIDS: A Semantic Model for Automated Tuning, Correlation, and Response Selection in Intrusion Detection Systems. | Chris Strasburg, Samik Basu, Johnny S. Wong |
| 2012 | DATE | Correct-by-construction multi-component SoC design. | Roopak Sinha, Partha S. Roop, Zoran Salcic, Samik Basu |
| 2012 | ICFEM | ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications. | Tanmoy Sarkar, Samik Basu, Johnny S. Wong |
| 2012 | ICSOC | 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, Partha S. Roop |
| 2012 | POPL | Deciding choreography realizability. | Samik Basu, Tevfik Bultan, Meriem Ouederni |
| 2012 | VMCAI | Synchronizability for Verification of Asynchronously Communicating Systems. | Samik Basu, Tevfik Bultan, Meriem Ouederni |
| 2011 | AAAI | Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. | Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant G. Honavar |
| 2011 | ICWS | Identifying Optimal Composite Services by Decomposing the Service Composition Problem. | Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu |
| 2011 | WWW | Choreography conformance via synchronizability. | Samik Basu, Tevfik Bultan |
| 2010 | AAAI | Dominance Testing via Model Checking. | Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar |
| 2010 | COMPSAC | XIDR: A Dynamic Framework Utilizing Cross-Layer Intrusion Detection for Effective Response Deployment. | Igors Svecs, Tanmoy Sarkar, Samik Basu, Johnny S. Wong |
| 2010 | ICFEM | Automating Cut-off for Multi-parameterized Systems. | Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan |
| 2010 | ISSRE | Automata-Based Verification of Security Requirements of Composite Web Services. | Hongyu Sun, Samik Basu, Vasant G. Honavar, Robyn R. Lutz |
| 2010 | KR | Efficient Dominance Testing for Unconditional Preferences. | Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar |
| 2009 | CCS | Intrusion response cost assessment methodology. | Chris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong |
| 2009 | COMPSAC | A Framework for Cost Sensitive Assessment of Intrusion Response Selection. | Chris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong |
| 2009 | DATE | Multi-clock Soc design using protocol conversion. | Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic |
| 2009 | ICFEM | Approximate Model Checking of PCTL Involving Unbounded Path Properties. | Samik Basu, Arka P. Ghosh, Ru He |
| 2009 | ICTAI | Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers. | Zachary J. Oster, Samik Basu |
| 2009 | ICWS | A Framework for Optimal Decentralized Service-Choreography. | Saayan Mitra, Ratnesh Kumar, Samik Basu |
| 2009 | SPLC | Product-line-based requirements customization for web service compositions. | Hongyu Sun, Robyn R. Lutz, Samik Basu |
| 2008 | ICSOC | TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences. | Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar |
| 2008 | RAID | On Evaluation of Response Cost for Intrusion Response Systems. | Natalia Stakhanova, Chris Strasburg, Samik Basu, Johnny S. Wong |
| 2008 | VLSID | A Module Checking Based Converter Synthesis Approach for SoCs. | Roopak Sinha, Partha S. Roop, Samik Basu |
| 2008 | SERVICES | On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. | Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar |
| 2007 | AINA | A Cost-Sensitive Model for Preemptive Intrusion Response Systems. | Natalia Stakhanova, Samik Basu, Johnny Wong |
| 2007 | AINA | Specification Synthesis for Monitoring and Analysis of MANET Protocols. | Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xia Wang, Johnny Wong |
| 2007 | ICWS | Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. | Saayan Mitra, Ratnesh Kumar, Samik Basu |
| 2007 | ICWS | On Context-Specific Substitutability of Web Services. | Jyotishman Pathak, Samik Basu, Vasant G. Honavar |
| 2007 | SEKE | Cost-based Analysis of Multiple Counter-Examples. | Flavian Vasile, Samik Basu |
| 2006 | DASC | Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. | Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong |
| 2006 | ICDE | MoSCoE: A Framework for Modeling Web Service Composition and Execution. | Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar |
| 2006 | ICSOC | Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. | Jyotishman Pathak, Samik Basu, Vasant G. Honavar |
| 2006 | ICTAI | Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. | Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar |
| 2006 | TACAS | Parameterized Verification of pi-Calculus Systems. | Ping Yang, Samik Basu, C. R. Ramakrishnan |
| 2005 | TACAS | FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. | Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka |
| 2004 | FORTE | Localizing Program Errors for Cimple Debugging. | Samik Basu, Diptikalyan Saha, Scott A. Smolka |
| 2004 | ICDCIT | Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection. | Samik Basu, Prem Uppuluri |
| 2003 | FORTE | Generation of All Counter-Examples for Push-Down Systems. | Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka |
| 2003 | SOSP | Model-carrying code: a practical approach for safe execution of untrusted applications. | R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney |
| 2003 | TACAS | Compositional Analysis for Verification of Parameterized Systems. | Samik Basu, C. R. Ramakrishnan |
| 2002 | TACAS | Resource-Constrained Model Checking of Recursive Programs. | Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan |
| 2001 | ICLP | Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. | Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma |