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)

Formalization IDEs Integrated with a Verifying Compiler. - Daniel Welch 001; Blair Durkee; Mike Kabbani; Murali Sitaraman (ICOOOLPS@ECOOP, 2017)

Engineering and Employing Reusable Software Components for Modular Verification. - Daniel Welch 001; Murali Sitaraman (ICSR, 2017)

Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software. - Daniel Welch 001 (SIGCSE, 2017)

Formalization Integrated Development Environments: The Current Landscape. - Daniel Welch 001 (ACM SIGSOFT Softw. Eng. Notes, 2018)

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)