Searching for authors named "Samik Basu" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Proxy-annotated control flow graphs: Deterministic context-sensitive monitoring for intrusion detection
- … Detection Samik Basu 1 and Prem Uppuluri 2 1 Dept. of Computer Science Iowa State University Ames IA 50011…
- Cited by 2 (0 self) – Add To MetaCart
-
M:
- …Model Checking Push-down Systems Verification of Infinite State Systems Samik Basu September 23…
- Add To MetaCart
-
Compositional Analysis for Verification of Parameterized Systems
- …Compositional Analysis for Verification of Parameterized Systems Samik Basu and C. R. Ramakrishnan…
- Cited by 6 (5 self) – Add To MetaCart
-
Quotient-based Control Synthesis for NonDeterministic Plants with Mu-Calculus Specifications
- … Samik Basu and Ratnesh Kumar Abstract— We study the control of a nondeterministic discrete event system…
- Cited by 2 (2 self) – Add To MetaCart
-
Trust Framework for P2P Networks using Peer-Profile based Anomaly Technique
- … ∗ Samik Basu ∗ ∗ Department of Computer Science Iowa State University Ames, IA 50011 USA {ndubrov, sbasu…
- Cited by 2 (0 self) – Add To MetaCart
-
Quotient-based Control Synthesis for Partially Observed Non-Deterministic Plants with Mu-Calculus Specifications
- …-Calculus Specifications Samik Basu and Ratnesh Kumar, Fellow IEEE Abstract— We study the control of a nondeterministic…
- Add To MetaCart
-
73] NASA Office of Safety and
- … response systems Natalia Stakhanova*, Samik Basu and Johnny Wong Department of Computer Science, Iowa State…
- Cited by 2 (1 self) – Add To MetaCart
-
On Context-Sensitive Substitutability of Web Services
- …On Context-Specific Substitutability of Web Services Jyotishman Pathak Samik Basu Vasant Honavar…
- Cited by 2 (1 self) – Add To MetaCart
-
Assembling Composite Web Services from Autonomous Components
- …, Samik BASU and Vasant HONAVAR Department of Computer Science Iowa State University Ames, IA 50011…
- Cited by 1 (1 self) – Add To MetaCart
-
A Model Checking Approach to Protocol Conversion
- … Roop Department of Electrical and Computer Engineering University of Auckland and Samik Basu Department…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
