Concepedia

Samik Basu

SB

45

Publications

1.6K

Citations

22

H-Index

2003

Active since

Affiliations

Iowa State University(Current)

University of California, Santa Barbara

University of New Brunswick

Stony Brook University

California Institute of Technology

Samik Basu is an author at Iowa State University specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal VerificationFormal MethodsVerificationSoftware AnalysisSoftware EngineeringProgram AnalysisAutomated Reasoning

Publications per year

2003–2018

45

Publications

45

A taxonomy of intrusion response systems

Natalia Stakhanova, Samik Basu, Johnny Wong · International Journal of Information and Computer Security · 2007 · 171 citations

Engineering, Intrusion Detection System, Information Security +12

Model-carrying code

R. Sekar, V. N. Venkatakrishnan, Samik Basu et al. · ACM SIGOPS Operating Systems Review · 2003 · 161 citations

Engineering, Information Security, Verification +16

Deciding choreography realizability

Samik Basu, Tevfik Bultan, Meriem Ouederni · ACM SIGPLAN Notices · 2012 · 119 citations

Engineering, Software Engineering, Action Language +21

A Cost-Sensitive Model for Preemptive Intrusion Response Systems

Natalia Stakhanova, Samik Basu, Johnny Wong · Proceedings · 2007 · 82 citations

Engineering, Information Security, Intrusion Response +17

Choreography conformance via synchronizability

Samik Basu, Tevfik Bultan · 2011 · 78 citations

Cluster Computing, Choreography Conformance, Engineering +15

Rows per page

1–5 of 45