☰

Samik Basu - Publications

Affiliations: 
Computer Science Iowa State University, Ames, IA, United States 
Area:
Model Checking
Website:
https://www.cs.iastate.edu/sbasu
Tree Info Grants Similar researchers PubMed Report error

8 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Basu S, Bultan T. On deciding synchronizability for asynchronously communicating systems Theoretical Computer Science. 656: 60-75. DOI: 10.1016/J.Tcs.2016.09.023  0.331
2012 Stakhanova N, Strasburg C, Basu S, Wong JS. Towards cost-sensitive assessment of intrusion response selection Journal of Computer Security. 20: 169-198. DOI: 10.3233/Jcs-2011-0436  0.569
2010 Stakhanova N, Basu S, Wong J. On the symbiosis of specification-based and anomaly-based detection Computers and Security. 29: 253-268. DOI: 10.1016/J.Cose.2009.08.007  0.575
2008 Sinha R, Roop PS, Basu S. SoC design approach using convertibility verification Eurasip Journal On Embedded Systems. 2008: 1-19. DOI: 10.1155/2008/296206  0.361
2008 Sinha R, Roop PS, Basu S. A Model Checking Approach to Protocol Conversion Electronic Notes in Theoretical Computer Science. 203: 81-94. DOI: 10.1016/J.Entcs.2008.05.012  0.327
2007 Stakhanova N, Basu S, Wong J. A taxonomy of intrusion response systems International Journal of Information and Computer Security. 1: 169-184. DOI: 10.1504/Ijics.2007.012248  0.581
2007 Basu S, Roop PS, Sinha R. Local Module Checking for CTL Specifications Electronic Notes in Theoretical Computer Science. 176: 125-141. DOI: 10.1016/J.Entcs.2006.02.035  0.382
2006 Basu S, Ramakrishnan CR. Compositional analysis for verification of parameterized systems Theoretical Computer Science. 354: 211-229. DOI: 10.1016/J.Tcs.2005.11.016  0.516
Show low-probability matches.