Publications

DBLP Entries
By year

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Web Services

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

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

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

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

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

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

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

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

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

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

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

  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

Security

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

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

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

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

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

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

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

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