Specification and reasoning in SE projects using a Web IDE. - Charles T. Cook; Svetlana Drachova-Strang; Yu-Shan Sun; Murali Sitaraman; Jeffrey C. Carver; Joseph E. Hollingsworth (CSEE&T, 2013)

A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)

A web-integrated verifying compiler for RESOLVE: a research perspective. - Daniel Welch 001; Charles T. Cook; Yu-Shan Sun; Murali Sitaraman (ISEC, 2014)

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. - Nabil M. Kabbani; Daniel Welch 001; Caleb H. Priester; Stephen Schaub; Blair Durkee; Yu-Shan Sun; Murali Sitaraman (F-IDE, 2015)

Experience report: evolution of a web-integrated software development and verification environment. - Charles T. Cook; Yu-Shan Sun; Murali Sitaraman (Softw. Pract. Exp., 2015)

Tool-Assisted Loop Invariant Development and Analysis. - Caleb H. Priester; Yu-Shan Sun; Murali Sitaraman (CSEE&T, 2016)

Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. - Michelle Cook; Megan Fowler; Jason O. Hallstrom; Joseph E. Hollingsworth; Tim Schwab; Yu-Shan Sun; Murali Sitaraman (ITiCSE, 2018)

Reasoning About Reference Behavior with RESOLVE. - Yu-Shan Sun (ACM SIGSOFT Softw. Eng. Notes, 2018)

Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. - Megan Fowler; Michelle Cook; Kevin Plis; Tim Schwab; Yu-Shan Sun; Murali Sitaraman; Jason O. Hallstrom; Joseph E. Hollingsworth (SIGCSE, 2019)

Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. - Megan Fowler; Eileen T. Kraemer; Yu-Shan Sun; Murali Sitaraman; Jason O. Hallstrom; Joseph E. Hollingsworth (ECSEE, 2020)

F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails. - Yu-Shan Sun; Daniel Welch 001; Murali Sitaraman (AppFM@FM, 2021)

Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum. - Megan Fowler; Jason O. Hallstrom; Joseph E. Hollingsworth; Eileen T. Kraemer; Murali Sitaraman; Yu-Shan Sun; Jiadi Wang; Gloria J. Washington (Informatics Educ., 2021)

Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. - Nicodemus Msafiri John Mbwambo; Yu-Shan Sun; Joan Krone; Murali Sitaraman (SAI (1), 2022)