Applying formal methods such as model checking and concepts from artificial intelligence, especially preference reasoning techniques, to address problems in requirements analysis for component-based and other compositional systems.
- Developing more efficient techniques for identifying conflicting preferences in a conditional importance network (CI-net). Collaborators: Samik Basu (Iowa State), Ganesh Ram Santhanam (Iowa State).
- Visualizing software requirement preferences and conflicts as modeled in a conditional importance network (CI-net). Past collaborators: Josh Leinberger (UW-W student), Pablo Martinez (UW-W student). Previously supported in part by UW-Whitewater Strategic Initiative grant (Lopamudra Mukherjee, PI).
- Efficient Satisfiability Verification for Conditional Importance Networks, 5th International Conference on Algorithmic Decision Theory (ADT 2017). To appear. (preprint version to be posted soon)
- Scalable Modeling and Analysis of Qualitative Preferences: A Qualitative Approach using CI-Nets: paper with Ganesh Ram Santhanam and Samik Basu, RE:Next! track of RE 2015 (published version at IEEE Xplore, preprint version)
- Reasoning with Qualitative Preferences to Develop Optimal Component-Based Systems: ACM Student Research Competition at ICSE 2013.
- Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure: paper with Ganesh Ram Santhanam, Samik Basu, and Vasant Honavar, FACS 2012
Read more about my research interests