Daniel Welch

Affiliations:
  • Clemson University, South Carolina, USA


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails.
Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

2018
Formalization Integrated Development Environments: The Current Landscape.
ACM SIGSOFT Softw. Eng. Notes, 2018

2017
Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Engineering and Employing Reusable Software Components for Modular Verification.
Proceedings of the Mastering Scale and Complexity in Software Reuse, 2017

Formalization IDEs Integrated with a Verifying Compiler.
Proceedings of the 12th Workshop on Implementation, 2017

2015
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

2014
A web-integrated verifying compiler for RESOLVE: a research perspective.
Proceedings of the 7th India Software Engineering Conference, Chennai, 2014


  Loading...