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.
Samik Basu, Arka P. Ghosh and Ru He Approximate Model Checking of PCTL involving Unbounded Path Properties.
International Conference on Formal Engineering Methods 2009.
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.
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.
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.
Saayan Mitra, Ratnesh Kumar and Samik Basu A Framework for Optimal Decentralized Service ChoreographyInternational Conference on Web Services 2009.
Hongyu Sun, Robyn Lutz and Samik Basu Product-Line Based Requirements Customization for Web Service
Compositions.
International Software Product Line Conference 2009.
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.
Xia Wang, Fred Stanley, Samik Basu and Johnny Wong Cross Layer Based Anomaly Detection in Wireless Mesh NetworksInternational Symposium on Applications and the Internet 2009.
Roopak Sinha, Partha S. Roop, Samik Basu and Zoran Salcic Multiclock SoC Design using Protocol Convertion.Design, Automation & Test in Europe 2009.
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.
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.
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.
Saayan Mitra, Ratnesh Kumar and Samik Basu Optimum Decentralized Choreography for Web Service Composition.IEEE International Conference on Services Computing 2008.
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.
Roopak Sinha, Partha S. Roop, Samik Basu and Zoran Salcic A Module Checking Based Converter Synthesis Approach for SoCsIEEE Conference on VLSI Design 2008.
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
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)
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
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