Nis Wegmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2011–2012
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICFP | Experience report: a do-it-yourself high-assurance compiler. | Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe |
| 2011 | RV | Runtime Verification for Ultra-Critical Systems. | Lee Pike, Sebastian Niller, Nis Wegmann |