Nils Fitinghoff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2019–2019
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | INDIN | Cargo-call-stack Static Call-stack Analysis for Rust. | Per Lindgren, Nils Fitinghoff, Jorge Aparicio Rivera |
| 2019 | INDIN | Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach. | Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren |