211 Atanasoff Hall
Ames, IA 50011-1040
Phone: 515-294-6045
Fax: 515-294-0258


Homepage
Publications (by Area)
Recent Publications
Students & Postdocs
Teaching
Calendar
FM Group
DBLP Entries, Publications By year
Publications on Verification, Preference Reasoning, Web Services, etc
The documents are made available to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each copyright.

Verification/Model Checking

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

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

  3. 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.
    ACM SIGSOFT Distinguished Paper Award

  4. Tanmoy Sarkar, Samik Basu and Johnny Wong.
    iConsMutate: Concolic Testing of Database Applications Using Existing Database States Guided by SQL Mutant s. 11th International Conference on Information Technology: New Generations. 2014.

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

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

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

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

  9. 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 2012. Web site

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

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

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

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

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

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

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

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

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

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

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

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

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

  23. Andrew S. Miner and Samik Basu
    Verification of Software via Integreation of Design and Implementation International Parallel and Distributed Processing Symposium (IPDPS) 2006

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

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

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

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

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

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

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

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

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

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

Preference Reasoning

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

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

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

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

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

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

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

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

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

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

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

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

Web Service

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Supervisory Control

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

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

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

Security

  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. Michelle Ruse and Samik Basu.
    Detecting Cross-Site Scripting Vulnerability using Concolic Testing. International Conference on Information Technology: New Generation 2013.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  20. Prem Uppuluri and Samik Basu
    LASE: Layered Approach for Sensor Security and Efficiency. International Workshop on Network and Distributed System Architecture 2004

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