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 (submitted version).

Some of my recent publications:

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

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

  3. 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.

  4. 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.

  5. Samik Basu and Ratnesh Kumar
    Quotient-based Control Synthesis for Partially Observed Non-deterministic Plants with Mu-Calculus. IEEE Conference on Decision and Control (CDC) 2007.

  6. 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 (WI) 2007.

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

  8. Saayan Mitra, Ratnesh Kumar and Samik Basu
    Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. IEEE International Conference on Web Services (ICWS) 2007.

  9. Samik Basu and Scott A. Smolka
    Model Checking the Java Meta-locking Algorithm. ACM Transactions on Software Engineering and Methodology (TOSEM)

  10. 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 2007.

  11. Jyotishman Pathak, Samik Basu and Vasant Honavar
    Assembling Composite Web Services from Autonomous Components. Book Chapter in Emerging Artificial Intelligence Applications in Computer Engineering 2007.

  12. Flavian Vasile and Samik Basu
    Cost-based Analysis of Multiple Counterexamples. International Conference on Software Engineering and Knowledge Engineering (SEKE) 2007.

  13. Natalia Stakhanova, Samik Basu and Johnny Wong
    A Cost-Sensitive Model for Preemptive Intrusion Response Systems. International Conference on Advanced Information Networking and Applications (AINA) 2007

  14. Natalia Stakhanova, Samik Basu, WenSheng Zhang, Xia Wang and Johnny Wong
    Specification Synthesis for Monitoring and Analysis of MANET Protocols. International Symposium on Frontiers in Networking with Applications (FINA) 2007

  15. Roopak Sinha, Partha S. Roop and Samik Basu
    A Model Checking Approach to Protocol Conversion. Workshop on Model-driven High-level Programming of Embedded Systems 2007

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

Past Student:
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

Courses

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

Misc