Sebastian Niller

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Embedded Real Time Systems

Consumer Electronics

Computing Power

Top Venues

Innov. Syst. Softw. Eng.

Publications

Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe
Copilot: monitoring embedded systems. Innov. Syst. Softw. Eng. 9 (4) (2013)
Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe
Experience report: a do-it-yourself high-assurance compiler. ICFP (2012)
Lee Pike, Sebastian Niller, Nis Wegmann
Runtime Verification for Ultra-Critical Systems. RV (2011)
Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller
Copilot: A Hard Real-Time Runtime Monitor. RV (2010)