Get started
Author

Samik Basu

Observed names: Basu, Samik, SAMIK BASU
ORCID: 0000-0002-3757-2227
Observed ORCID: 0000-0002-3757-2227
OpenAlex ID: A5103063258
A taxonomy of intrusion response systems
2007 · Natalia Stakhanova, Samik Basu, et al. · International Journal of Information and Computer Security · 176
Model-carrying code
2003 · R. Sekar, V.N. Venkatakrishnan, et al. · ACM SIGOPS Operating Systems Review · 160
Deciding choreography realizability
2012 · Samik Basu, Tevfik Bultan, et al. · ACM SIGPLAN Notices · 119
A Cost-Sensitive Model for Preemptive Intrusion Response Systems
2007 · Natalia Stakhanova, Samik Basu, et al. · Proceedings · 83
Choreography conformance via synchronizability
2011 · Samik Basu, Tevfik Bultan · International World Wide Web Conference (WWW) · 78
Deciding choreography realizability
2012 · Samik Basu, Tevfik Bultan, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 67
Model-carrying code
2003 · R. Sekar, V.N. Venkatakrishnan, et al. · 67
Compositional model checking of software product lines using variation point obligations
2010 · Jing Liu, Samik Basu, et al. · Automated Software Engineering · 55
On Context-Specific Substitutability of Web Services
2007 · Jyotishman Pathak, Samik Basu, et al. · IEEE International Conference on Web Services (ICWS) · 51
Cross-Layer Based Anomaly Detection in Wireless Mesh Networks
2009 · Xia Wang, Johnny S. Wong, et al. · International Symposium on Applications and the Internet (SAINT) · 50
A Framework for Cost Sensitive Assessment of Intrusion Response Selection
2009 · Chris Strasburg, Natalia Stakhanova, et al. · 45
Proceedings of the 11th International Conference on Service-Oriented Computing (ICSOC 2013)
2013 · Samik Basu, Cesare Pautasso, et al. · International Conference on Service Oriented Computing · 44
Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements
2006 · Jyotishman Pathak, Samik Basu, et al. · Lecture notes in computer science · 42
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
2007 · Saayan Mitra, Ratnesh Kumar, et al. · IEEE International Conference on Web Services (ICWS) · 41
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach
2006 · Jyotishman Pathak, Samik Basu, et al. · European Conference on Web Services · 40
Synchronizability for Verification of Asynchronously Communicating Systems
2012 · Samik Basu, Tevfik Bultan, et al. · Lecture notes in computer science · 34
Analysis & Detection of SQL Injection Vulnerabilities via Automatic Test Case Generation of Programs
2010 · Michelle Ruse, Tanmoy Sarkar, et al. · IEEE/IPSJ International Symposium on Applications and the Internet (SAINT) · 34
Web Service Substitution Based on Preferences Over Non-functional Attributes
2009 · Ganesh Ram Santhanam, Samik Basu, et al. · IEEE International Conference on Services Computing · 34
Dominance Testing via Model Checking
2010 · Ganesh Ram Santhanam, Samik Basu, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 33
Automated Choreography Repair
2016 · Samik Basu, Tevfik Bultan · Lecture notes in computer science · 32
PDF
On the symbiosis of specification-based and anomaly-based detection
2009 · Natalia Stakhanova, Samik Basu, et al. · Computers & Security · 28
Intrusion response cost assessment methodology
2009 · Chris Strasburg, Natalia Stakhanova, et al. · 27
A bounded statistical approach for model checking of unbounded until properties
2010 · Ru He, Paul Jennings, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 26
Compositional analysis for verification of parameterized systems
2005 · Samik Basu, C.R. Ramakrishnan · Theoretical Computer Science · 26
PDF
On deciding synchronizability for asynchronously communicating systems
2016 · Samik Basu, Tevfik Bultan · Theoretical Computer Science · 25
PDF
Works count: 141
Citation count: 2,146
H-index: 25
I10-index: 57
Year
Topic
Type