Samik Basu - RankMe

117 papers A* 11A 23B 11C 8Misc 2Journal 21Unranked 39

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