Samik Basu
Affiliations: | Computer Science | Iowa State University, Ames, IA, United States |
Area:
Model CheckingWebsite:
https://www.cs.iastate.edu/sbasuGoogle:
"Samik Basu"Bio:
https://www.proquest.com/openview/94b2a9655f097eb09ebac53328634e6a/1
Mean distance: 17811
Parents
Sign in to add mentor| C. R. Ramakrishnan | grad student | 2003 | SUNY Stony Brook (Computer Science Tree) | |
| (Techniques for verification of infinite state systems.) | ||||
Children
Sign in to add trainee| Natalia Stakhanova | grad student | 2007 | Iowa State |
| Saayan Mitra | grad student | 2009 | Iowa State |
| Zachary J. Oster | grad student | 2013 | Iowa State |
| Michelle E. Ruse | grad student | 2013 | Iowa State |
| Tanmoy Sarkar | grad student | 2013 | Iowa State |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Basu S, Bultan T. (2016) On deciding synchronizability for asynchronously communicating systems Theoretical Computer Science. 656: 60-75 |
| Stakhanova N, Strasburg C, Basu S, et al. (2012) Towards cost-sensitive assessment of intrusion response selection Journal of Computer Security. 20: 169-198 |
| Stakhanova N, Basu S, Wong J. (2010) On the symbiosis of specification-based and anomaly-based detection Computers and Security. 29: 253-268 |
| Sinha R, Roop PS, Basu S. (2008) SoC design approach using convertibility verification Eurasip Journal On Embedded Systems. 2008: 1-19 |
| Sinha R, Roop PS, Basu S. (2008) A Model Checking Approach to Protocol Conversion Electronic Notes in Theoretical Computer Science. 203: 81-94 |
| Stakhanova N, Basu S, Wong J. (2007) A taxonomy of intrusion response systems International Journal of Information and Computer Security. 1: 169-184 |
| Basu S, Roop PS, Sinha R. (2007) Local Module Checking for CTL Specifications Electronic Notes in Theoretical Computer Science. 176: 125-141 |
| Basu S, Ramakrishnan CR. (2006) Compositional analysis for verification of parameterized systems Theoretical Computer Science. 354: 211-229 |