Basu, Samik - Department of Computer Science, Iowa State University

Advanced Search

Basu, Samik - Department of Computer Science, Iowa State University

Model Checking the Java Meta-Locking Algorithm Samik Basu, Scott A. Smolka, Orson R. Ward
Generation of All Counter-Examples for Push-Down Systems
Department of Computer Science Phone: (515) 294-6045 Iowa State University Fax: (515) 294-0258
Composing Web Services through Automatic Reformulation of Service Specifications
Local and On-the-fly Choreography-based Web Service Composition Saayan Mitra1
On Context-Specific Substitutability of Web Services Jyotishman Pathak Samik Basu Vasant Honavar
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
A Cost-Sensitive Model for Preemptive Intrusion Response Systems Natalia Stakhanova Samik Basu Johnny Wong
Parameterized Verification of -Calculus Systems , Samik Basu2
Automated caching of behavioral patterns for efficient run-time monitoring Natalia Stakhanova1
Model-Carrying Code: A Practical Approach for Safe Execution of Untrusted Applications
Local Module Checking for CTL Specifications Samik Basu 1
A Module Checking based Converter Synthesis Approach for SoCs
Proxi-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for
International Journal on Artificial Intelligence Tools Vol. 17, No. 1 (2008) 109138
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications
MoSCoE: A Framework for Modeling Web Service Composition and Jyotishman Pathak1,2
Assembling Composite Web Services from Autonomous Components
Parallel Web Service Composition in MoSCoE: A Choreography-based Jyotishman Pathak1,2
Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata with Variables
Trust Framework for P2P Networks using Peer-Profile based Anomaly Technique Natalia Stakhanova
Theoretical Computer Science 354 (2006) 211229 www.elsevier.com/locate/tcs
Generating Variation-point Obligations for Compositional Model Checking of Software Product Lines
Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications
Parameterized Verification of -Calculus Systems , Samik Basu2
Modeling Web Service Composition using Symbolic Transition Systems Jyotishman Pathak and Samik Basu and Vasant Honavar
Model Checking the Java Metalocking Iowa State University
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
LASE: Layered Approach For Sensor Security and Efficiency Prem Uppuluri
Specification Synthesis for Monitoring and Analysis of MANET Protocols Natalia Stakhanova Samik Basu Wensheng Zhang Xia Wang Johnny Wong
Localizing Program Errors for Cimple Debugging Samik Basu1
Model Checking the Java Meta-Locking Algorithm Samik Basu, Scott A. Smolka, Orson R. Ward
Verification of Software via Integration of Design and Implementation Andrew S. Miner Samik Basu
Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements
Quotient-based Control Synthesis for Partially Observed Non-Deterministic Plants with Mu-Calculus Specifications