Daniel Schnetzer Fava
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2018–2020
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SEFM | Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods. | Daniel Schnetzer Fava |
| 2018 | FM | Operational Semantics of a Weak Memory Model with Channel Synchronization. | Daniel Schnetzer Fava, Martin Steffen, Volker Stolz |