Daniel Welch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2017
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ECOOP | Formalization IDEs Integrated with a Verifying Compiler. | Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman |
| 2017 | ICSR | Engineering and Employing Reusable Software Components for Modular Verification. | Daniel Welch, Murali Sitaraman |
| 2017 | SIGCSE | Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software. | Daniel Welch |
| 2009 | AICCSA | An extension of the Workflow Process Definition Language to validate time restrictions in SUBFLOW Activities and XOR SPLIT Attributes. | Narayan C. Debnath, Daniel Riesco, Gabriel Vilallonga, Robert Uzal, Daniel Welch, German Montejano, Sergio Gallina |