Anthony Narkawicz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2018
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FM | From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. | Csar A. Muoz, Anthony Narkawicz, Aaron Dutle |
| 2018 | WoLLIC | Formalization of the Undecidability of the Halting Problem for a Functional Language. | Thiago Mendona Ferreira Ramos, Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
| 2015 | TAP | Software Validation via Model Animation. | Aaron Dutle, Csar A. Muoz, Anthony Narkawicz, Ricky W. Butler |