SAMIK BASU
Associate 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. Samik Basu, Arka P. Ghosh and Ru He
    Approximate Model Checking of PCTL involving Unbounded Path Properties. International Conference on Formal Engineering Methods 2009.

  2. Zachary J. Oster and Samik Basu
    Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffer. IEEE International Conference on Tools with Artificial Intelligence 2009.

  3. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar
    Web Service Substitution Based on Preferences Over Non-Functional Attributes. IEEE International Conference on Services Computing 2009.

  4. Youssef Hanna, Samik Basu and Hridesh Rajan
    Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. ACM Symposium on the Foundations of Software Engineering 2009.

  5. Saayan Mitra, Ratnesh Kumar and Samik Basu
    A Framework for Optimal Decentralized Service Choreography. International Conference on Web Services 2009.

  6. Hongyu Sun, Robyn Lutz and Samik Basu
    Product-Line Based Requirements Customization for Web Service Compositions. International Software Product Line Conference 2009.

  7. Chris Strasburg, Natalia Stakhanova, Samik Basu and Johnny Wong
    A Framework for Cost Sensitive Assessment of Intrusion Response Selection (Short paper). IEEE Computer Software and Applications Conference 2009.

  8. Xia Wang, Fred Stanley, Samik Basu and Johnny Wong
    Cross Layer Based Anomaly Detection in Wireless Mesh Networks. International Symposium on Applications and the Internet 2009.

  9. Roopak Sinha, Partha S. Roop, Samik Basu and Zoran Salcic
    Multiclock SoC Design using Protocol Convertion. Design, Automation & Test in Europe 2009.

  10. Chris Strasburg, Natalia Stakhanova, Samik Basu and Johnny S. Wong.
    Intrusion Response Cost Assessment Methodology (Short paper). ACM Symposium on Information, Computer and Communications Security 2009.

Current Students:
Paul Jennings (MS, Probabilistic Model Checking))
Ru He (PhD, Approximate Probabilistic Model Checking)
Junaid Babar (PhD)
Zachary Oster (MS, Web service substitution)
Michelle Ruse (PhD, Modeling and Verification of Security Properties of Web-based Applications)

Past Students:
Saayan Mitra (PhD 2009, Automata-theoretic Approach to Web Service Composition)
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 2009, Fall 2008, Fall 2007, Fall 2006, Fall 2005
  • ComS 512 Formal Methods in Software Engineering: Spring 2009, 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