Samik Basu

Cited by

	All	Since 2019
Citations	3041	559
h-index	29	12
i10-index	75	18

280

140

210

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 21 28 37 49 105 147 166 169 161 216 264 245 247 218 185 128 114 134 86 75 95 55

Public access

View all

10 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Vasant G HonavarDorothy Foehr Huck and J. Lloyd Huck Chair in Biomedical Data Sciences and Artificial IntelligenceVerified email at psu.edu
Natalia StakhanovaCanada Research Chair in Security & Privacy, University of Saskatchewan, CanadaVerified email at cs.usask.ca
Partha RoopProfessor, Electrical, Computer and Software Engineering, The University of AucklandVerified email at auckland.ac.nz
Jyotishman PathakCornell UniversityVerified email at med.cornell.edu
Roopak SinhaDeakin UniversityVerified email at deakin.edu.au
Robyn LutzIowa State UniversityVerified email at iastate.edu
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraVerified email at cs.ucsb.edu
Ratnesh KumarIowa State UniversityVerified email at iastate.edu
Chris StrasburgPh.D. Candidate, Iowa State UniversityVerified email at iastate.edu
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Pavan AduriIowa State UniversityVerified email at cs.iastate.edu
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Dr. Tanmoy SarkarPhD, Iowa State University, 2013Verified email at microsoft.com
Saayan MitraPrincipal Research Scientist, AdobeVerified email at adobe.com
Sandeep BhatkarResearcherVerified email at talasecurity.io
R. SekarProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Meriem OuederniToulouse INP, IRIT, FranceVerified email at enseeiht.fr
Arka GhoshIowa State UniversityVerified email at iastate.edu
Diptikalyan SahaResearcher at IBM Research IndiaVerified email at in.ibm.com
VN VenkatakrishnanProfessor of Computer Science, University of Illinois at ChicagoVerified email at uic.edu

Samik Basu

Professor of Computer Science, Iowa State University

Verified email at iastate.edu - Homepage

Formal Methods Model Checking Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A taxonomy of intrusion response systems N Stakhanova, S Basu, J Wong International Journal of Information and Computer Security 1 (1-2), 169-184, 2007	284	2007
Model-carrying code: a practical approach for safe execution of untrusted applications R Sekar, VN Venkatakrishnan, S Basu, S Bhatkar, DC DuVarney ACM SIGOPS Operating Systems Review 37 (5), 15-28, 2003	281	2003
Deciding choreography realizability S Basu, T Bultan, M Ouederni ACM SIGPLAN Notices 47 (1), 191-202, 2012	190	2012
A cost-sensitive model for preemptive intrusion response systems N Stakhanova, S Basu, J Wong 21st International Conference on Advanced Information Networking and …, 2007	132	2007
Choreography conformance via synchronizability S Basu, T Bultan Proceedings of the 20th international conference on World wide web, 795-804, 2011	100	2011
Compositional model checking of software product lines using variation point obligations J Liu, S Basu, RR Lutz Automated Software Engineering 18, 39-76, 2011	70	2011
Automated choreographer synthesis for web services composition using i/o automata S Mitra, R Kumar, S Basu IEEE International Conference on Web Services (ICWS 2007), 364-371, 2007	68	2007
On context-specific substitutability of web services J Pathak, S Basu, V Honavar IEEE International Conference on Web Services (ICWS 2007), 192-199, 2007	68	2007
Analysis & detection of SQL injection vulnerabilities via automatic test case generation of programs M Ruse, T Sarkar, S Basu 2010 10th IEEE/IPSJ International Symposium on Applications and the Internet …, 2010	67	2010
Modeling web services by iterative reformulation of functional and non-functional requirements J Pathak, S Basu, V Honavar Service-Oriented Computing–ICSOC 2006: 4th International Conference, Chicago …, 2006	61	2006
A framework for cost sensitive assessment of intrusion response selection C Strasburg, N Stakhanova, S Basu, JS Wong 2009 33rd Annual IEEE international computer software and applications …, 2009	60	2009
Cross-layer based anomaly detection in wireless mesh networks X Wang, JS Wong, F Stanley, S Basu 2009 Ninth Annual International Symposium on Applications and the Internet, 9-15, 2009	59	2009
Parallel web service composition in moscoe: A choreography-based approach J Pathak, S Basu, R Lutz, V Honavar 2006 European Conference on Web Services (ECOWS'06), 3-12, 2006	54	2006
Intrusion response cost assessment methodology C Strasburg, N Stakhanova, S Basu, JS Wong Proceedings of the 4th International Symposium on Information, Computer, and …, 2009	48	2009
Synchronizability for Verification of Asynchronously Communicating Systems S Basu, T Bultan, M Ouederni Verification, Model Checking and Abstract Interpretation, 2012	46	2012
On the symbiosis of specification-based and anomaly-based detection N Stakhanova, S Basu, J Wong computers & security 29 (2), 253-268, 2010	44	2010
Trust framework for p2p networks using peer-profile based anomaly technique N Stakhanova, S Basu, J Wong, O Stakhanov 25th IEEE International Conference on Distributed Computing Systems …, 2005	43	2005
Dominance testing via model checking GR Santhanam, S Basu, V Honavar Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010	42	2010
Detecting cross-site scripting vulnerability using concolic testing ME Ruse, S Basu 2013 10th International Conference on Information Technology: New …, 2013	40	2013
Automated Choreography Repair S Basu, T Bultan International Conference on Fundamental Approaches to Software Engineering …, 2016	38	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors