Daniel Welch

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 5

Top Topics

Development Environments

Automated Verification

Human Reasoning

Top Venues

Publications

Yu-Shan Sun, Daniel Welch, Murali Sitaraman
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails. AppFM@FM (2021)
Daniel Welch
Formalization Integrated Development Environments: The Current Landscape. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Daniel Welch, Murali Sitaraman
Engineering and Employing Reusable Software Components for Modular Verification. ICSR (2017)
Daniel Welch
Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software. SIGCSE (2017)
Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman
Formalization IDEs Integrated with a Verifying Compiler. ICOOOLPS@ECOOP (2017)
Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. F-IDE (2015)
Daniel Welch, Charles T. Cook, Yu-Shan Sun, Murali Sitaraman
A web-integrated verifying compiler for RESOLVE: a research perspective. ISEC (2014)