logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Samik Basu

Iowa State University

25H-index
202Paper Count
2.2KCitation Count
Published Papers 4
Publication Date
logo
Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting
errIEEE-CAA JOURNAL OF AUTOMATICA SINICA
IF19.2
err2021-05-01
err4
PREAI
errBasu, Samik; Kumar, Ratnesh
errShare
errSave
A Two-Phase Approximation for Model Checking Probabilistic Unbounded Until Properties of Probabilistic Systems
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2012-07-03
err2
PREAI
errJennings, Paul; Ghosh, Arka P.; Basu, Samik
errShare
errSave
On the symbiosis of specification-based and anomaly-based detection
errCOMPUTERS & SECURITY
IF5.4
err2010-03-01
err19
PREAI
errStakhanova, Natalia; Basu, Samik; Wong, Johnny
errShare
errSave
Model checking the Java metalocking algorithm
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2007-07-01
err1
PREAI
errBasu, Samik; Smolka, Scott A.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Ratnesh Kumar
H-index: 47 · Papers: 403
S
Scott A. Smolka
H-index: 42 · Papers: 325
P
Paul C. Jennings
H-index: 35 · Papers: 129
J
Johnny Wong
H-index: 27 · Papers: 237
N
Natalia Stakhanova
H-index: 23 · Papers: 93
View more