Home Research-feed Channel Rankings GCT THU AI TR Open Data Must Reading

views: 1

Sebastian Niller

Technische Universität Ilmenau, Germany

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers4 papers

Sort

By YearBy Citation

Copilot: monitoring embedded systems

Lee Pike,Nis Wegmann,Sebastian Niller,Alwyn Goodloe

ISSE, no. 4 (2013): 235-255

Cited by25EIBibtex

Experience report: a do-it-yourself high-assurance compiler

Lee Pike,Nis Wegmann,Sebastian Niller,Alwyn Goodloe

ICFP, no. 9 (2012): 335-340

Cited by12EIBibtex

Runtime verification for ultra-critical systems

Lee Pike,Sebastian Niller,Nis Wegmann

RV, pp.310-324, (2011)

Cited by57EIBibtex

Copilot: a hard real-time runtime monitor

Lee Pike,Alwyn Goodloe,Robin Morisset,Sebastian Niller

RV, pp.345-359, (2010)

Cited by65EIBibtex

View All

Base Info Papers Patents Projects