Publications

Monographs

  1. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar. Representing & Reasoning with Qualitative Preferences: Tools & Applications. Publisher: Morgan & Claypool. Pages: 154. 2015.
  2. Roopak Sinha, Partha S. Roop and Samik Basu. Correct-by-Construction Approaches for SoC Design [Hardcover]. Publisher: Springer New York. ISBN: 978-1-4614-7863-8. Pages: 160. 2013.

 

Journal Articles & Book Chapters

  1. Samik Basu and Ratnesh Kumar.
    Control of Non-Deterministic Systems with mu-Calculus Specifications using Quotienting, IEEE/CAA Journal of Automatica Sinica 2021.
  2. Xiaoyun Fu, Madhavan R. Padmanabhan, Raj Gaurav Kumar, Samik Basu, Shawn Dorius and A. Pavan. 
  3. Measuring the impact of influence on individuals: roadmap to quantifying attitude. Social Network Analysis and Mining. Volume 11, No. 1. 2021.
  4. Samik Basu and Tevfik Bultan.
    On deciding synchronizability for asynchronously communicating systems. Theoretical Computer Science 2016.
  5. Paul Jennings, Arka P. Ghosh and Samik Basu
    A Two-phase Approximation for Model Checking Unbounded Until Properties of Probabilistic Systems. ACM Transactions on Software Engineering and Methodology 2011.
  6. Natalia Stakhanova, Chris Strasburg, Samik Basu and Johnny Wong
    Towards Cost-Sensitive Assessment of Intrusion Response Selection. Journal of Computer Security 2012.
  7. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar
    Representing and Reasoning with Qualitative Preferences for Compositional Systems. Journal of Artificial Intelligence Research 2011.
  8. Janet Liu, Samik Basu and Robyn Lutz
    Compositional Model Checking of Software Product Lines Using Variation Point Obligations. Automated Software Engineering Journal 2011.
  9. Natalia Stakhanova, Samik Basu and Johnny Wong
    On the Symbiosis of Specification-based and Anomaly-based Detection. Elsevier Journal on Computers and Security 2010.
  10. Samik Basu and Scott A. Smolka
    Model Checking the Java Meta-locking Algorithm. ACM Transactions on Software Engineering and Methodology (TOSEM)
  11. Roopak Sinha, Partha S. Roop and Samik Basu
    SoC Design Approach using Convertibility Verification. EURASIP Journal of Embedded Systems 2008.
  12. Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar
    MoSCoE: An Approach for Composing Web Services Through Iterative Reformulation of Functional Specifications. International Journal on Artificial Intelligent Tools 2007.
  13. Jyotishman Pathak, Samik Basu and Vasant Honavar
    Assembling Composite Web Services from Autonomous Components. Book Chapter in Emerging Artificial Intelligence Applications in Computer Engineering 2007.
  14. R. Sekar, V. N. Venkarakrishnan, Samik Basu, Sandeep Bhatkar and Daniel C. DuVarney.
    Model Carrying Code: A New Approach to Mobile Code Security. Book Chapter: New Methods for Protecting Against Cyber Threats. 2007.
  15. Samik Basu and C.R. Ramakrishnan
    Compositional Analysis for Verification of Parameterized Systems. Theoretical Computer Science (TCS) 2006
  16. Natalia Stakhanova, Samik Basu and Johnny Wong
    Taxonomy of Intrusion Response Systems . International Journal of Information and Computer Security 2006

 

Conference Articles

  1. Regularized Unconstrained Weakly Submodular Maximization. Yanhui Zhu, Samik Basu, A Pavan. 33rd ACM International Conference on Information and Knowledge Management 2024.
  2. Yanhui Zhu, Samik Basu, A. Pavan. Improved Evolutionary Algorithms for Submodular Maximization  with Cost Constraints. 33rd International Joint Conference on Artificial Intelligence 2024.
  3. Analysis of the Effects of Perception Inconsistency Among Interacting Vehicles in Partially Observable Environments. Md Rayhanul Islam, Tichakorn Wongpiromsarn, Samik Basu. 27th IEEE International Conference on Intelligent Transportation Systems 2024.
  4. Karthik Hanumanthaiah, Samik Basu. Iterative Counter-Example Guided Robustness Verification for Neural Networks. The 7th International Symposium on AI Verification. July 22–23, 2024.  
  5. Samik Basu, Vasant G. Honavar, Ganesh Ram Santhanam, Jia Tao. Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. European Conference on AI 2023. 
  6. Guanyu Nie, Yanhui Zhu, Yididiya Y. Nadew, Samik Basu, A. Pavan, Christopher John Quinn. Size-constrained k-submodular maximization in near-linear time. Uncertainty in AI 2023.
  7. Madhavan R. Padmanabhan, Yanhui Zhu, Samik Basu, Aduri Pavan.  Maximizing submodular functions under submodular constraints. Uncertainty in AI 2023.
  8. Xiaoyun Fu, Rishabh Bhatt, Samik Basu and A. Pavan. Multi-Objective Submodular Optimization with Approximate Oracles and Influence Maximization. IEEE International Conference on Big Data 2021.
  9. Raj Gaurav Kumar, Preeti Bhardwaj, Samik Basu and A. Pavan. Disrupting Diffusion: Critical Nodes in Network. IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology 2020.
  10. Xiaoyun Fu, Madhavan Rajagopal Padmanabhan, Raj Gaurav Kumar, Samik Basu, Shawn Dorius and A Pavan. Measuring the Impact of Influence on Individuals: Roadmap to Quantifying Attitude. IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2020.
  11. Madhavan R. Padmanabhan, Naresh Somisetty, Samik Basu, A. Pavan. Influence Maximization in Social Networks With Non-Target Constraints. BigData 2018.
  12. Maheedhar Gunasekharan, Samik Basu, Ganesh Ram Santhanam. Selecting the minimal set of preferred responses to counter detected intrusions. 12th Cyber and Information Security Research Conference 2017.
  13. Christopher Strasburg, Samik Basu and Johnny Wong. A Cross-Domain Comparable Measurement Framework to Quantify Intrusion Detection Effectiveness. 11th Cyber and Information Security Research Conference 2016.
  14. Samik Basu and Tevfik Bultan. Automated Choreography Repair. 19th International Conference on Fundamental Approaches to Software Engineering. 2016.
  15. Zachary Oster, Ganesh Ram Santhanam and Samik Basu. Scalable Modeling and Analysis of Requirements Preferences: A Qualitative Approach using CI-Nets. 23rd IEEE International Requirements Engineering Conference. 2015.
  16. Ganesh Ram Santhanam, Gopalakrishnan Sivaprakasam, Giora Slutzki and Samik Basu. A Knowledge Based Framework for Case-specific Diagnosis. 7th International Conference and Agents and Artificial Intelligence. 2015.
  17. Samik Basu and Tevfik Bultan. Automatic Verification of Interactions in Asynchronous Systems with Unbounded Buffers. 29th IEEE/ACM International Conference on Automated Software Engineering. 2014.
  18. Tanmoy Sarkar, Samik Basu and Johnny Wong. iConsMutate: Concolic Testing of Database Applications Using Existing Database States Guided by SQL Mutants. 11th International Conference on Information Technology: New Generations. 2014.
  19. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar. Preference based Service Adaptation using Service Substitution. IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology. 2013.
  20. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar. Verifying Preferential Equivalence & Subsumption via Model Checking. 3rd International Conference on Algorithmic Decision Theory. 2013.
  21. Michelle Ruse and Samik Basu. Detecting Cross-Site Scripting Vulnerability using Concolic Testing. International Conference on Information Technology: New Generation 2013.
  22. Tanmoy Sarkar, Samik Basu and Johnny Wong. SynConSMutate: Concolic Testing of Database Applications via Synthetic Data Guided by SQL Mutants. International Conference on Information Technology: New Generation 2013.
  23. Chris Strasburg, Samik Basu and Johnny Wong. S-MAIDS: A Semantic Model for Automated Tuning, Correlation, and Response Selection in Intrusion Detection Systems/ International Computer Software and Applications Conference 2013.
  24. Zachary Oster, Ganesh Ram Santhanam, Samik Basu and Vasant Honavar. Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure . International Symposium on Formal Aspects of Component Software (FACS) 2012.
  25. Tanmoy Sarkar, Samik Basu and Johnny Wong. ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications. International Conference on Formal Engineering Methods (ICFEM) 2012.
  26. Samik Basu, Tevfik Bultan, and Meriem Ouederni. Deciding Choreography Realizability. ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) 2012.
  27. Samik Basu, Tevfik Bultan, and Meriem Ouederni. Synchronizability for Verification of Asynchronously Communicating Systems. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2012.
  28. Roopak Sinha, Partha S. Roop, Zoran Salcic and Samik Basu. Correct-by-Construction Multi-Component SoC Design. Design, Automation and Test in Europe 2012.
  29. Zachary Oster, Syed Adeel Ali, Ganesh Ram Santhanam, Samik Basu and Partha Roop. A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis. International Confernece on Service-Oriented Computing 2012.
  30. Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu and Vasant Honavar Verifying Intervention Policies for Infection Propagation over Networks: A Model Checking Approach. AAAI Conference on Artificial Intelligence 2011.
  31. Ganesh Ram Santhanam Samik Basu and Vasant Honavar Identifying Sustainable Designs Using Preferences over Sustainability Attributes. AAAI Spring Symposium: Artificial Intelligence and Sustainable Design 2011.
  32. Zachary Oster, Ganesh Ram Santhanam and Samik Basu Identifying Optimal Composite Services by Decomposing the Service Composition Problem. IEEE International Conference on Web Services 2011.
  33. Samik Basu and Tevfik Bultan Choreography Conformance via Synchronizability. International World Wide Web Conference 2011.
  34. Zachary Oster, Ganesh Ram Santhanam and Samik Basu Decomposing the Service Composition Problem. European Conference on Web Services 2010.
  35. Youssef Hanna, David Samuelson, Samik Basu and Hridesh Rajan Automating Cut-off for Multiparameterized Systems. International Conference on Formal Engineering Methods 2010.
  36. Ru He, Paul Jennings, Samik Basu, Arka Ghosh and Huaiqing Wu A Bounded Statistical Approach for Model Checking of Unbounded Until Properties. IEEE/ACM International Conference on Automated Software Engineering 2010.
  37. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar Dominance Testing via Model Checking. AAAI Conference on Artificial Intelligence 2010.
  38. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar Efficient Dominance Testing for Unconditional Preferences. International Conference on the Principles of Knowledge Representation and Reasoning 2010.
  39. Hongyu Sun, Samik Basu, Vasant Honavar and Robyn Lutz Automata-Based Verification of Security Requirements of Composite Web Services. IEEE International Symposium on Software Reliability Engineering 2010.
  40. Michelle Ruse, Tanmoy Sarkar and Samik Basu Analysis & Detection of SQL Injection Vulnerabilites via Automatic Test Case Generation of Programs. International Symposium on Applications and the Internet 2010.
  41. Chris Strasburg, Sandeep Krishnan, Karin Dorman, Samik Basu and Johnny S. Wong Masquerade Detection in Network Environments. International Symposium on Applications and the Internet 2010.
  42. Samik Basu, Arka P. Ghosh and Ru He Approximate Model Checking of PCTL involving Unbounded Path Properties. International Conference on Formal Engineering Methods 2009.
  43. Zachary J. Oster and Samik Basu Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffer. IEEE International Conference on Tools with Artificial Intelligence 2009.
  44. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar Web Service Substitution Based on Preferences Over Non-Functional Attributes. IEEE International Conference on Services Computing 2009.
  45. Youssef Hanna, Samik Basu and Hridesh Rajan Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. ACM Symposium on the Foundations of Software Engineering 2009.
  46. Saayan Mitra, Ratnesh Kumar and Samik Basu A Framework for Optimal Decentralized Service Choreography International Conference on Web Services 2009.
  47. Hongyu Sun, Robyn Lutz and Samik Basu Product-Line Based Requirements Customization for Web Service Compositions. International Software Product Line Conference 2009.
  48. Xia Wang, Fred Stanley, Samik Basu and Johnny Wong Cross Layer Based Anomaly Detection in Wireless Mesh Networks International Symposium on Applications and the Internet 2009.
  49. Roopak Sinha, Partha S. Roop, Samik Basu and Zoran Salcic Multiclock SoC Design using Protocol Convertion. Design, Automation & Test in Europe 2009.
  50. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar TCP-Compose* - A TCP-net based Algorithm for Efficient Composition of Web Services Based on Qualitative Preferences. International Conference on Service Oriented Computing 2008.
  51. Jyotishman Pathak, Samik Basu and Vasant Honavar Composing Web Services through Automatic Reformulation of Service Specifications. IEEE International Conference on Services Computing 2008.
  52. Saayan Mitra, Ratnesh Kumar and Samik Basu Optimum Decentralized Choreography for Web Service Composition. IEEE International Conference on Services Computing 2008.
  53. Roopak Sinha, Partha S. Roop, Samik Basu and Zoran Salcic A Module Checking Based Converter Synthesis Approach for SoCs IEEE Conference on VLSI Design 2008.
  54. Samik Basu and Ratnesh Kumar Quotient-based Control Synthesis for Partially Observed Non-deterministic Plants with Mu-Calculus. IEEE Conference on Decision and Control (CDC) 2007.
  55. Saayan Mitra, Samik Basu and Ratnesh Kumar Local and On-the-fly Choreography-based Web Service Composition. IEEE/WIC/ACM International Conference on Web Intelligence (WI) 2007.
  56. Jyotishman Pathak, Samik Basu and Vasant Honavar On Context-Specific Substitutability of Web Services. IEEE International Conference on Web Services (ICWS) 2007.
  57. Saayan Mitra, Ratnesh Kumar and Samik Basu Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. IEEE International Conference on Web Services (ICWS) 2007.
  58. Flavian Vasile and Samik Basu Cost-based Analysis of Multiple Counterexamples. International Conference on Software Engineering and Knowledge Engineering (SEKE) 2007.
  59. Natalia Stakhanova, Samik Basu and Johnny Wong A Cost-Sensitive Model for Preemptive Intrusion Response Systems. International Conference on Advanced Information Networking and Applications (AINA) 2007
  60. Ping Yang, Samik Basu and C.R. Ramakrishnan Parameterized Verification of Pi-Calculus Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2006.
  61. Samik Basu and Ratnesh Kumar Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications. IEEE Conference on Decision and Control 2006.
  62. Ratnesh Kumar, Changyan Zhou and Samik Basu Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata with Variables. American Control Conference (ACC) 2006.
  63. Natalia Stakhanova, Samik Basu, Robyn R. Lutz and Johnny S. Wong Automated Caching of Behavioral Patterns for Efficient Run-time Monitoring . IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC) 2006
  64. Jyotishman Pathak, Samik Basu, and Vasant Honavar Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements. 4th International Conference on Service Oriented Computing 2006
  65. Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar Parallel Web Service Composition in MoSCOE: A Choreography-based Approach . 4th IEEE European Conference on Web Services 2006
  66. Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications . IEEE International Conference on Tools with Artificial Intelligence 2006
  67. Samik Basu, Diptikalyan Saha and Scott A. Smolka Localizing Program Errors for Cimple Debugging. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) 2004
  68. Samik Basu and Prem Uppuluri Proxi-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection . International Conference on Distributed Computing & Internet Technology (ICDCIT) 2004
  69. Samik Basu and C.R. Ramakrishnan Compositional Analysis for Verification of Parameterized Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2003
  70. Samik Basu, Diptikalyan Saha, Yow-Jian Lin and Scott A. Smolka Generation of All Counter-Examples for Push-Down Systems. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) 2003
  71. R. Sekar, V.N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar and Daniel C. DuVarney Model-Carrying Code: A Practical Approach for Safe Execution of Untrusted Applications . ACM Symposium on Operating Systems Principles (SOSP) 2003
  72. Samik Basu, K. Narayan Kumar, Robert L. Pokorny and C.R. Ramakrishan Resource Constrained Model Checking for Push-down Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2002
  73. Samik Basu, C.R. Ramakrishan, I.V. Ramakrishnan, M. Mukund and R.M. Verma Local and Symbolic Bisimulation using Tabled Constraint Logic Programming. International Conference on Logic Programming (ICLP) 2001
  74. Samik Basu, Scott A. Smolka and Orson R. Ward Model Checking the Java Meta-locking Algorithm. IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS) 2000.

 

Workshop Articles/Short Papers/Posters

  1. Zachary Oster, Ganesh Ram Santhanam and Samik Basu. Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering. IEEE/ACM International Conference on Automated Software Engineering (Short Paper) 2011.
  2. Dinanath Nadkarni, Samik Basu, Vasant Honavar and Robyn Lutz. Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. International Workshop on Web Services and Formal Methods 2010.
  3. Igor Svecs, Tanmoy Sarkar, Samik Basu and Johnny Wong. XIDR: A Dynamic Framework Utilizing Cross-Layer Intrusion Detection for Effective Response Deployment. IEEE International Workshop on Computer Forensics in Software Engineering. 2010.
  4. Chris Strasburg, Natalia Stakhanova, Samik Basu and Johnny Wong. A Framework for Cost Sensitive Assessment of Intrusion Response Selection (Short paper) IEEE Computer Software and Applications Conference 2009.
  5. Chris Strasburg, Natalia Stakhanova, Samik Basu and Johnny S. Wong. Intrusion Response Cost Assessment Methodology (Short paper). ACM Symposium on Information, Computer and Communications Security 2009.
  6. Chris Strasburg, Natalia Stakhanova, Samik Basu and Johnny Wong.
       On Evaluation of Response Cost for Intrusion Response Systems. Poster at 11th International Symposium on Recent Advances in Intrusion Detection. 2008.
  7. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar
       On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. Workshop on Service Composition and Adaptation held in conjunction with IEEE International Conference on Services Computing 2008.
  8. Roopak Sinha, Partha S. Roop and Samik Basu
       A Model Checking Approach to Protocol Conversion. Workshop on Model-driven High-level Programming of Embedded Systems 2007
  9. Natalia Stakhanova, Samik Basu, WenSheng Zhang, Xia Wang and Johnny Wong
       Specification Synthesis for Monitoring and Analysis of MANET Protocols. International Symposium on Frontiers in Networking with Applications (FINA) 2007
  10. Samik Basu, Partha S. Roop and Roopak Sinha
       Local Module Checking for CTL specifications. Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA) 2006 (Best Paper Award)
  11. Andrew S. Miner and Samik Basu
       Verification of Software via Integreation of Design and Implementation International Parallel and Distributed Processing Symposium (IPDPS) 2006
  12. Jyotishman Pathak, Samik Basu and Vasant Honavar
       Modeling Web Service Composition using Symbolic Transition Systems . AAAI Workshop on AI-Driven Technologies for Services-Oriented Computing 2006. 
  13. Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar
       MoSCoE: A Framework for Modeling Web Service Composition and Execution . Workshop at IEEE International Conference on Data Engineering 2006
  14. Curtis W. Keller, Diptikalyan Saha, Samik Basu and Scott A. Smolka
       FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2005
  15. Natalia Stakhanova, Samik Basu, Johnny Wong and Oleg Stakhanov
       Trust Framework for P2P Networks using Peer-Profile Based Anomaly Technique. International Workshop on Security in Distributed Computing Systems 2005
  16. Prem Uppuluri and Samik Basu
       LASE: Layered Approach for Sensor Security and Efficiency. International Workshop on Network and Distributed System Architecture 2004