Nicholas Moore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2022
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TASE | A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. | Nicholas Moore, Mark Lawford |
| 2017 | ICSE | Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. | Nicholas Moore, Mark Lawford |
| 2007 | FCCM | Writing Portable Applications that Dynamically Bind at Run Time to Reconfigurable Hardware. | Nicholas Moore, Albert Conti, Miriam Leeser, Laurie A. Smith King |