Sebastian Niller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2010–2012
Best venue rank
B
Where they publish
Papers
3 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 |
| 2010 | RV | Copilot: A Hard Real-Time Runtime Monitor. | Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller |