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, 10th Workshop on Advances in Preference Handling (MPREF 2016) (presented version; papers are non-archival)
- 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
- A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis: paper with Syed Adeel Ali (Univ. of Auckland), Ganesh Ram Santhanam, Samik Basu, and Partha S. Roop (Univ. of Auckland), ICSOC 2012
Read more about my research interests