Journals  Conferences  Short Papers/Workshops  Main page

Journal Articles & Book Chapters

  1. Samik Basu and Tevfik Bultan.
    On deciding synchronizability for asynchronously communicating systems. Theoretical Computer Science 2016.

  2. 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. Web site

  3. Natalia Stakhanova, Chris Strasburg, Samik Basu and Johnny Wong
    Towards Cost-Sensitive Assessment of Intrusion Response Selection. Journal of Computer Security 2012.

  4. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar
    Representing and Reasoning with Qualitative Preferences for Compositional Systems. Journal of Artificial Intelligence Research 2011.

  5. Janet Liu, Samik Basu and Robyn Lutz
    Compositional Model Checking of Software Product Lines Using Variation Point Obligations. Automated Software Engineering Journal 2011.

  6. Natalia Stakhanova, Samik Basu and Johnny Wong
    On the Symbiosis of Specification-based and Anomaly-based Detection. Elsevier Journal on Computers and Security 2010.

  7. Samik Basu and Scott A. Smolka
    Model Checking the Java Meta-locking Algorithm. ACM Transactions on Software Engineering and Methodology (TOSEM)

  8. Roopak Sinha, Partha S. Roop and Samik Basu
    SoC Design Approach using Convertibility Verification. EURASIP Journal of Embedded Systems 2008.

  9. 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.

  10. 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.

  11. 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.

  12. Samik Basu and C.R. Ramakrishnan
    Compositional Analysis for Verification of Parameterized Systems. Theoretical Computer Science (TCS) 2006

  13. Natalia Stakhanova, Samik Basu and Johnny Wong
    Taxonomy of Intrusion Response Systems . International Journal of Information and Computer Security 2006


Conference Articles

  1. 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.

  2. Samik Basu and Tevfik Bultan.
    Automated Choreography Repair. 19th International Conference on Fundamental Approaches to Software Engineering. 2016.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar.
    Verifying Preferential Equivalence & Subsumption via Model Checking. 3rd International Conference on Algorithmic Decision Theory. 2013.

  9. Michelle Ruse and Samik Basu.
    Detecting Cross-Site Scripting Vulnerability using Concolic Testing. International Conference on Information Technology: New Generation 2013.

  10. 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.

  11. 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.

  12. 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.

  13. 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.

  14. Samik Basu, Tevfik Bultan, and Meriem Ouederni.
    Deciding Choreography Realizability. ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) 2012.

  15. 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.

  16. Roopak Sinha, Partha S. Roop, Zoran Salcic and Samik Basu.
    Correct-by-Construction Multi-Component SoC Design. Design, Automation and Test in Europe 2012.

  17. 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.

  18. 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.

  19. 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.

  20. 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.

  21. Samik Basu and Tevfik Bultan
    Choreography Conformance via Synchronizability. International World Wide Web Conference 2011.

  22. Zachary Oster, Ganesh Ram Santhanam and Samik Basu
    Decomposing the Service Composition Problem. European Conference on Web Services 2010.

  23. Youssef Hanna, David Samuelson, Samik Basu and Hridesh Rajan
    Automating Cut-off for Multiparameterized Systems. International Conference on Formal Engineering Methods 2010.

  24. 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.

  25. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar
    Dominance Testing via Model Checking. AAAI Conference on Artificial Intelligence 2010.

  26. 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.

  27. 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.

  28. 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.

  29. 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.

  30. Samik Basu, Arka P. Ghosh and Ru He
    Approximate Model Checking of PCTL involving Unbounded Path Properties. International Conference on Formal Engineering Methods 2009.

  31. 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.

  32. 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.

  33. 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.

  34. Saayan Mitra, Ratnesh Kumar and Samik Basu
    A Framework for Optimal Decentralized Service Choreography International Conference on Web Services 2009.

  35. Hongyu Sun, Robyn Lutz and Samik Basu
    Product-Line Based Requirements Customization for Web Service Compositions. International Software Product Line Conference 2009.

  36. 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.

  37. Roopak Sinha, Partha S. Roop, Samik Basu and Zoran Salcic
    Multiclock SoC Design using Protocol Convertion. Design, Automation & Test in Europe 2009.

  38. 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.

  39. Jyotishman Pathak, Samik Basu and Vasant Honavar
    Composing Web Services through Automatic Reformulation of Service Specifications. IEEE International Conference on Services Computing 2008.

  40. Saayan Mitra, Ratnesh Kumar and Samik Basu
    Optimum Decentralized Choreography for Web Service Composition. IEEE International Conference on Services Computing 2008.

  41. 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.

  42. 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.

  43. 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.

  44. Jyotishman Pathak, Samik Basu and Vasant Honavar
    On Context-Specific Substitutability of Web Services. IEEE International Conference on Web Services (ICWS) 2007.

  45. 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.

  46. Flavian Vasile and Samik Basu
    Cost-based Analysis of Multiple Counterexamples. International Conference on Software Engineering and Knowledge Engineering (SEKE) 2007.

  47. 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

  48. 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

  49. Samik Basu and Ratnesh Kumar
    Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications. IEEE Conference on Decision and Control 2006

  50. 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

  51. 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

  52. 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

  53. 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

  54. 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

  55. 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

  56. 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

  57. 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

  58. 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

  59. 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

  60. 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

  61. 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

  62. 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