Publications

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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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