Samik Basu

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 16

Top Venues

CoRR

CISRC

UAI

IEEE BigData

Publications

Yanhui Zhu, Samik Basu, A. Pavan
Improved Evolutionary Algorithms for Submodular Maximization with Cost Constraints. CoRR (2024)
Samik Basu, Vasant G. Honavar, Ganesh Ram Santhanam, Jia Tao
Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. ECAI (2023)
Guanyu Nie, Yanhui Zhu, Yididiya Y. Nadew, Samik Basu, A. Pavan, Christopher John Quinn
Size-constrained k-submodular maximization in near-linear time. UAI (2023)
Samik Basu, Vasant G. Honavar, Ganesh Ram Santhanam, Jia Tao
Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. CoRR (2023)
Madhavan R. Padmanabhan, Yanhui Zhu, Samik Basu, Aduri Pavan
Maximizing submodular functions under submodular constraints. UAI (2023)
Xiaoyun Fu, Rishabh Rajendra Bhatt, Samik Basu, Aduri Pavan
Multi-Objective Submodular Optimization with Approximate Oracles and Influence Maximization. IEEE BigData (2021)
Xiaoyun Fu, Madhavan R. Padmanabhan, Raj Gaurav Kumar, Samik Basu, Shawn Dorius, A. Pavan
Measuring the impact of influence on individuals: roadmap to quantifying attitude. Soc. Netw. Anal. Min. 11 (1) (2021)
Samik Basu, Ratnesh Kumar
Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting. IEEE CAA J. Autom. Sinica 8 (5) (2021)
Raj Gaurav Kumar, Preeti Bhardwaj, Samik Basu, Aduri Pavan
Disrupting Diffusion: Critical Nodes in Network. WI/IAT (2020)
Xiaoyun Fu, Madhavan Rajagopal Padmanabhan, Raj Gaurav Kumar, Samik Basu, Shawn Dorius, Aduri Pavan
Measuring the Impact of Influence on Individuals: Roadmap to Quantifying Attitude. CoRR (2020)
Xiaoyun Fu, Madhavan R. Padmanabhan, Raj Gaurav Kumar, Samik Basu, Shawn Dorius, Aduri Pavan
Measuring the Impact of Influence on Individuals: Roadmap to Quantifying Attitude. ASONAM (2020)
Madhavan R. Padmanabhan, Naresh Somisetty, Samik Basu, A. Pavan
Influence Maximization in Social Networks With Non-Target Constraints. IEEE BigData (2018)
Maheedhar Gunasekharan, Samik Basu, Ganesh Ram Santhanam
Selecting the minimal set of preferred responses to counter detected intrusions. CISRC (2017)
Chris Strasburg, Samik Basu, Johnny S. Wong
A Cross-Domain Comparable Measurement Framework to Quantify Intrusion Detection Effectiveness. CISRC (2016)
Samik Basu, Tevfik Bultan
On deciding synchronizability for asynchronously communicating systems. Theor. Comput. Sci. 656 (2016)
Samik Basu, Tevfik Bultan
Automated Choreography Repair. FASE (2016)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu
Scalable modeling and analysis of requirements preferences: A qualitative approach using CI-Nets. RE (2015)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
CRISNER: A Practically Efficient Reasoner for Qualitative Preferences. CoRR (2015)
Ganesh Ram Santhanam, Gopalakrishnan Sivaprakasam, Giora Slutzki, Samik Basu
A Knowledge Based Framework for Case-specific Diagnosis. ICAART (2) (2015)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Representing and Reasoning with Qualitative Preferences for Compositional Systems. CoRR (2014)
Tanmoy Sarkar, Samik Basu, Johnny Wong
iConSMutate: Concolic Testing of Database Applications Using Existing Database States Guided by SQL Mutants. ITNG (2014)
Karthik Hanumanthaiah, Samik Basu
Iterative Counter-Example Guided Robustness Verification for Neural Networks. SAIV (2014)
Samik Basu, Tevfik Bultan
Automatic verification of interactions in asynchronous systems with unbounded buffers. ASE (2014)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Verifying Preferential Equivalence and Subsumption via Model Checking. ADT (2013)
Ganesh Ram Santhanam, Zachary J. Oster, Samik Basu
Identifying a preferred countermeasure strategy for attack graphs. CSIIRW (2013)
Michelle Ruse, Samik Basu
Detecting Cross-Site Scripting Vulnerability Using Concolic Testing. ITNG (2013)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Preference Based Service Adaptation Using Service Substitution. Web Intelligence (2013)
Chris Strasburg, Samik Basu, Johnny S. Wong
S-MAIDS: A Semantic Model for Automated Tuning, Correlation, and Response Selection in Intrusion Detection Systems. COMPSAC (2013)
Tanmoy Sarkar, Samik Basu, Johnny Wong
SynConSMutate: Concolic Testing of Database Applications via Synthetic Data Guided by SQL Mutants. ITNG (2013)
Natalia Stakhanova, Chris Strasburg, Samik Basu, Johnny S. Wong
Towards cost-sensitive assessment of intrusion response selection. J. Comput. Secur. 20 (2-3) (2012)
Tanmoy Sarkar, Samik Basu, Johnny S. Wong
ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications. ICFEM (2012)
Roopak Sinha, Partha S. Roop, Zoran Salcic, Samik Basu
Correct-by-construction multi-component SoC design. DATE (2012)
Paul Jennings, Arka P. Ghosh, Samik Basu
A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems. ACM Trans. Softw. Eng. Methodol. 21 (3) (2012)
Samik Basu, Tevfik Bultan, Meriem Ouederni
Deciding choreography realizability. POPL (2012)
Zachary J. Oster, Syed Adeel Ali, Ganesh Ram Santhanam, Samik Basu, Partha S. Roop
A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis. ICSOC (2012)
Samik Basu, Tevfik Bultan, Meriem Ouederni
Synchronizability for Verification of Asynchronously Communicating Systems. VMCAI (2012)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure. FACS (2012)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu
Automating analysis of qualitative preferences in goal-oriented requirements engineering. ASE (2011)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Identifying Sustainable Designs Using Preferences over Sustainability Attributes. AAAI Spring Symposium: Artificial Intelligence and Sustainable Design (2011)
Jing Liu, Samik Basu, Robyn R. Lutz
Compositional model checking of software product lines using variation point obligations. Autom. Softw. Eng. 18 (1) (2011)
Samik Basu, Tevfik Bultan
Choreography conformance via synchronizability. WWW (2011)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu
Identifying Optimal Composite Services by Decomposing the Service Composition Problem. ICWS (2011)
Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant G. Honavar
Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. AAAI (2011)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Representing and Reasoning with Qualitative Preferences for Compositional Systems. J. Artif. Intell. Res. 42 (2011)
Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, Huaiqing Wu
A bounded statistical approach for model checking of unbounded until properties. ASE (2010)
Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan
Automating Cut-off for Multi-parameterized Systems. ICFEM (2010)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Dominance Testing via Model Checking. AAAI (2010)
Natalia Stakhanova, Samik Basu, Johnny Wong
On the symbiosis of specification-based and anomaly-based detection. Comput. Secur. 29 (2) (2010)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu
Decomposing the Service Composition Problem. ECOWS (2010)
Dinanath Nadkarni, Samik Basu, Vasant G. Honavar, Robyn R. Lutz
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. WS-FM (2010)
Michelle Ruse, Tanmoy Sarkar, Samik Basu
Analysis & Detection of SQL Injection Vulnerabilities via Automatic Test Case Generation of Programs. SAINT (2010)
Chris Strasburg, Sandeep Krishnan, Karin S. Dorman, Samik Basu, Johnny S. Wong
Masquerade Detection in Network Environments. SAINT (2010)
Igors Svecs, Tanmoy Sarkar, Samik Basu, Johnny S. Wong
XIDR: A Dynamic Framework Utilizing Cross-Layer Intrusion Detection for Effective Response Deployment. COMPSAC Workshops (2010)
Hongyu Sun, Samik Basu, Vasant G. Honavar, Robyn R. Lutz
Automata-Based Verification of Security Requirements of Composite Web Services. ISSRE (2010)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Efficient Dominance Testing for Unconditional Preferences. KR (2010)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Web Service Substitution Based on Preferences Over Non-functional Attributes. IEEE SCC (2009)
Hongyu Sun, Robyn R. Lutz, Samik Basu
Product-line-based requirements customization for web service compositions. SPLC (2009)
Chris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong
Intrusion response cost assessment methodology. AsiaCCS (2009)
Samik Basu, Arka P. Ghosh, Ru He
Approximate Model Checking of PCTL Involving Unbounded Path Properties. ICFEM (2009)
Youssef Hanna, Samik Basu, Hridesh Rajan
Behavioral automata composition for automatic topology independent verification of parameterized systems. ESEC/SIGSOFT FSE (2009)
Xia Wang, Johnny S. Wong, Fred Stanley, Samik Basu
Cross-Layer Based Anomaly Detection in Wireless Mesh Networks. SAINT (2009)
Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic
Multi-clock Soc design using protocol conversion. DATE (2009)
Chris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong
A Framework for Cost Sensitive Assessment of Intrusion Response Selection. COMPSAC (1) (2009)
Zachary J. Oster, Samik Basu
Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers. ICTAI (2009)
Saayan Mitra, Ratnesh Kumar, Samik Basu
A Framework for Optimal Decentralized Service-Choreography. ICWS (2009)
Roopak Sinha, Partha S. Roop, Samik Basu
SoC Design Approach Using Convertibility Verification. EURASIP J. Embed. Syst. 2008 (2008)
Natalia Stakhanova, Chris Strasburg, Samik Basu, Johnny S. Wong
On Evaluation of Response Cost for Intrusion Response Systems. RAID (2008)
Roopak Sinha, Partha S. Roop, Samik Basu
A Model Checking Approach to Protocol Conversion. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Saayan Mitra, Ratnesh Kumar, Samik Basu
Optimum Decentralized Choreography for Web Services Composition. IEEE SCC (2) (2008)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. SERVICES I (2008)
Jyotishman Pathak, Samik Basu, Vasant G. Honavar
Composing Web Services through Automatic Reformulation of Service Specifications. IEEE SCC (1) (2008)
Roopak Sinha, Partha S. Roop, Samik Basu
A Module Checking Based Converter Synthesis Approach for SoCs. VLSI Design (2008)
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar
MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. Int. J. Artif. Intell. Tools 17 (1) (2008)
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences. ICSOC (2008)
Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xia Wang, Johnny Wong
Specification Synthesis for Monitoring and Analysis of MANET Protocols. AINA Workshops (1) (2007)
Jyotishman Pathak, Samik Basu, Vasant G. Honavar
On Context-Specific Substitutability of Web Services. ICWS (2007)
Samik Basu, Partha S. Roop, Roopak Sinha
Local Module Checking for CTL Specifications. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Samik Basu, Ratnesh Kumar
Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications. CDC (2007)
Flavian Vasile, Samik Basu
Cost-based Analysis of Multiple Counter-Examples. SEKE (2007)
Saayan Mitra, Samik Basu, Ratnesh Kumar
Local and On-the-fly Choreography-based Web Service Composition. Web Intelligence (2007)
Samik Basu, Scott A. Smolka
Model checking the Java metalocking algorithm. ACM Trans. Softw. Eng. Methodol. 16 (3) (2007)
Saayan Mitra, Ratnesh Kumar, Samik Basu
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. ICWS (2007)
Natalia Stakhanova, Samik Basu, Johnny Wong
A Cost-Sensitive Model for Preemptive Intrusion Response Systems. AINA (2007)
Natalia Stakhanova, Samik Basu, Johnny Wong
A taxonomy of intrusion response systems. Int. J. Inf. Comput. Secur. 1 (1/2) (2007)
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar
MoSCoE: A Framework for Modeling Web Service Composition and Execution. ICDE Workshops (2006)
Ratnesh Kumar, Changyan Zhou, Samik Basu
Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. ACC (2006)
Jyotishman Pathak, Samik Basu, Vasant G. Honavar
Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. ICSOC (2006)
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. ECOWS (2006)
Samik Basu, C. R. Ramakrishnan
Compositional analysis for verification of parameterized systems. Theor. Comput. Sci. 354 (2) (2006)
Samik Basu, Ratnesh Kumar
Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications. CDC (2006)
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. ICTAI (2006)
Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. DASC (2006)
Andrew S. Miner, Samik Basu
Verification of software via integration of design and implementation. IPDPS (2006)
Ping Yang, Samik Basu, C. R. Ramakrishnan
Parameterized Verification of pi-Calculus Systems. TACAS (2006)
Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. TACAS (2005)
Natalia Stakhanova, Samik Basu, Johnny Wong, Oleg Stakhanov
Trust Framework for P2P Networks Using Peer-Profile Based Anomaly Technique. ICDCS Workshops (2005)
Prem Uppuluri, Samik Basu
LASE: Layered Approach for Sensor Security and Efficiency. ICPP Workshops (2004)
Samik Basu, Prem Uppuluri
Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection. ICDCIT (2004)
Samik Basu, Diptikalyan Saha, Scott A. Smolka
Localizing Program Errors for Cimple Debugging. FORTE (2004)
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka
Generation of All Counter-Examples for Push-Down Systems. FORTE (2003)

Samik Basu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Samik Basu