Daniel Welch

According to our database, Daniel Welch authored at least 7 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails.

Yu-Shan Sun, Daniel Welch, Murali Sitaraman

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

2018

Formalization Integrated Development Environments: The Current Landscape.

Daniel Welch

ACM SIGSOFT Softw. Eng. Notes, 2018

2017

Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software.

Daniel Welch

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Engineering and Employing Reusable Software Components for Modular Verification.

Daniel Welch, Murali Sitaraman

Proceedings of the Mastering Scale and Complexity in Software Reuse, 2017

Formalization IDEs Integrated with a Verifying Compiler.

Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman

Proceedings of the 12th Workshop on Implementation, 2017

2015

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.

Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

2014

A web-integrated verifying compiler for RESOLVE: a research perspective.

Daniel Welch, Charles T. Cook, Yu-Shan Sun, Murali Sitaraman

Proceedings of the 7th India Software Engineering Conference, Chennai, 2014