211 Atanasoff Hall
Ames, IA 50011-1040
Phone: 515-294-6045
Fax: 515-294-0258

Publications (by Area)
Recent Publications
Students & Postdocs
FM Group



DBLP Entries; Complete list of Publications

My main research is in the area of verification, model checking and qualitative preference reasoning. 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.

Visit our Formal Methods Group page.
New Book: Representating and Reasoning with Qualitative Preferences

Selected recent publications:

  1. Samik Basu and Tevfik Bultan.
    On deciding synchronizability for asynchronously communicating systems. Theoretical Computer Science 2016.

  2. Christopher Strasburg, Samik Basu and Johnny Wong.
    A Cross-Domain Comparable Measurement Framework to Quantify Intrusion Detection Effectiveness. 11th Cyber and Information Security Research Conference 2016.

  3. Samik Basu and Tevfik Bultan.
    Automated Choreography Repair. 19th International Conference on Fundamental Approaches to Software Engineering. 2016.

  4. Zachary Oster, Ganesh Ram Santhanam and Samik Basu.
    Scalable Modeling and Analysis of Requirements Preferences: A Qualitative Approach using CI-Nets. 23rd IEEE International Requirements Engineering Conference. 2015.

  5. Ganesh Ram Santhanam, Gopalakrishnan Sivaprakasam, Giora Slutzki and Samik Basu.
    A Knowledge Based Framework for Case-specific Diagnosis. 7th International Conference and Agents and Artificial Intelligence. 2015.

  6. Samik Basu and Tevfik Bultan.
    Automatic Verification of Interactions in Asynchronous Systems with Unbounded Buffers. 29th IEEE/ACM International Conference on Automated Software Engineering. 2014.
    ACM SIGSOFT Distinguished Paper Award

Current Students & Postdocs:
Naresh Somisetty (PhD)
Chris Strausburg (PhD, IDS; co-advisor: Johnny Wong)
Shiva Nalla (MS)
Sai-Sravanthi Nudurupati (MS)
Maheedhar Gunasekharan (MS)

Past Students:
Priyanka Thyagarajan (MS 2016, Non-termination in Multi-threaded Programs)
Ganesh Ram Santhanam (Postdoc, Qualitative Preferences)
Swapnanjan Chatterjee (MS 2014, Attack Graph Analysis)
Sneha Banker (MS 2014, Asynchronous System Verification)

Yuly Suvorov (MS 2011, Propagation Problem Analysis)
Paul Jennings (MS 2010, Probabilistic Model Checking)
Zachary Oster (MS 2009, Web service substitution)
Fred Philip Stanley (MS 2009)
Lucas Witt (MS 2008, Authenticated Authorization without Identification: A Formal Approach)
Curt Keller (MS 2005, Tool for Verification and Counterexample Analysis of sequential C programs)

Zachary Oster (PhD, 2013, Qualitative Preferences & Component-based Software Development)
Michelle Ruse (PhD, 2013, Modeling and Verification of Security Properties of Web-based Applications)
Tanmoy Sarkar (PhD, 2013, Security in Database Applications; co-advisor: Johnny Wong)
Saayan Mitra (PhD 2009, I/O Automata-based Formal Approach to Web Service Choreography)
Natalia Stakhanova (PhD 2007, Adaptive, Cost-Sensitive Intrusion Detection and Response System)