Samik Basu
Associate Professor

Office: 210 Atanasoff Phone: (515) 294-6045 Fax: (515)294-0258 Email: sbasu@cs.iastate.edu Homepage: http://www.cs.iastate.edu/~sbasu

Research Interests

Formal verification methods, model checking, program analysis

Research Areas

Software Engineering, Software Systems, Information Security

Education

Ph.D.   Computer Science, State University of New York at Stony Brook   2003
M.S.   Computer Science, State university of New York at Stony Brook   2001
B.E.   Computer Science & Engineering, Jadavpur University, Calcutta, India   1998

Honors and Awards

Best Paper Award due to distinguished high scientific contribution  "Local Module Checking for CTL Specifications", Formal Foundations of Embedded Software And Component-Based Software, 2006

Best Paper Award  "Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications", IEEE International Conference on Tools with Artificial Intelligence, 2006

Current Grants

Interactive and Verifiable Composition of Web Services to Satisfy End-User Goals. Samik Basu, Robyn Lutz and Vasant Honavar. NSF (2007-2010). $335,000.

REU-Supplement: Interactive and Verifiable Composition of Web Services to Satisfy End User Goals. Samik Basu, Robyn Lutz and Vasant Honavar. NSF (2007-2010). $12,000.

CRI:CRD: Collaborative Research: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research. Gary Leavens, Hridesh Rajan and Samik Basu. NSF (2007-2010). $275,000.

Response to Collaborative Attacks Against Network Vulnerability. Johnny Wong and Samik Basu. CIP (2009-2009). $20,000.

Representative Publications

Refereed Journal and Conference Publications

Samik Basu and Scott A. Smolka. Model Checking Java Meta-Locking Algorithm. Transactions of Software Engineering and Methodology, 2007.

Samik Basu and Ratnesh Kumar. Quotient-based Control Synthesis for Partially Observed Non-deterministic Plants with Mu-Calculus. IEEE Conference on Decision and Control, New Orleans, Accepted, 2007.

Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar. MoSCoE: An Approach for Composing Web Services Through Iterative Reformulation of Functional Specifications. International Journal on Artificial Intelligent Tools, Accepted, 2007.

Saayan Mitra, Ratnesh Kumar and Samik Basu. Choreography-based Web Service Composition Using I/O Automata. International Conference on Web Services, 2007.

Jyotishman Pathak, Samik Basu and Vasant Honavar. On Context-Specific Substitutability of Web Services. International Conference on Web Services, 2007.

Saayan Mitra, Samik Basu and Ratnesh Kumar. Local and On-the-fly Choreography-based Web Service Composition. IEEE/WIC/ACM International Conference on Web Intelligence, Silicon Valley, Accepted, 2007.

Samik Basu and C.R. Ramakrishnan. Compositional Analysis for Verification of Parameterized Systems. Special Issue of Theoretical Computer Science, 2006.