SAMIK BASU
Assistant Professor
Department of Computer Science
Iowa State University
210 Atanasoff Hall
Ames, IA 50011-1040
Phone: 515-294-6045
Fax: 515-294-0258
E-mail: (sbasu@cs.iastate.edu)
Schedule: Google Calendar

Education

Research

Complete list of Publications and CV.

My main research interests include model checking, open system verification, program verification and counter-example analysis. I have been involved in projects on the application of formal methods in intrusion detection, control of discrete event systems, Web services, and software product-line verification .

Some of my recent publications:

  1. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar
    TCP-Compose* - A TCP-net based Algorithm for Efficient Composition of Web Services Based on Qualitative Preferences. International Conference on Service Oriented Computing 2008.

  2. Jyotishman Pathak, Samik Basu and Vasant Honavar
    Composing Web Services through Automatic Reformulation of Service Specifications. IEEE International Conference on Services Computing 2008.

  3. Saayan Mitra, Ratnesh Kumar and Samik Basu
    Optimum Decentralized Choreography for Web Service Composition. IEEE International Conference on Services Computing 2008.

  4. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar
    On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. Workshop on Service Composition and Adaptation held in conjunction with IEEE International Conference on Services Computing 2008.

  5. Roopak Sinha, Partha S. Roop, Samik Basu and Zoran Salcic
    A Module Checking Based Converter Synthesis Approach for SoCs IEEE Conference on VLSI Design 2008.

Current Students:
Ru He (PhD, Probabilistic Model Checking)
Junaid Babar (PhD)
Zachary Oster (MS)
Saayan Mitra (PhD, Automata-theoretic Approach to Web Service Composition)
Michelle Ruse (PhD)

Past Students:
Lucas Witt (MS, 2008, Authenticated Authorization without Identification: A Formal Approach)
Natalia Stakhanova (PhD, 2007, Adaptive, Cost-Sensitive Intrusion Detection and Response System)
Curt Keller (MS, 2005, Tool for Verification and Counterexample Analysis of sequential C programs)

Events

Teaching

  • ComS 319 Software Construction: Fall 2008, Fall 2007, Fall 2006, Fall 2005
  • ComS 512 Formal Methods in Software Engineering: Spring 2008, Spring 2007, Spring 2006, Spring 2005
  • Seminar on Semantic Web and Service Composition: Fall 2008, Summer 2008, Spring 2008, Fall 2007
  • ComS 227 Introduction to Object-oriented Programming: Spring 2006
  • ComS 228 Introduction to Data Structures using C++: Spring 2004

Misc