Login / Signup
Felix Kam
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Contingency Tables
Upper And Lower Bounds
Image Analysis
Operating System
Top Venues
Real Time Syst.
RTAS
</>
Publications
</>
Thomas Sewell
,
Felix Kam
,
Gernot Heiser
High-assurance timing analysis for a high-assurance real-time operating system.
Real Time Syst.
53 (5) (2017)
Thomas Sewell
,
Felix Kam
,
Gernot Heiser
Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis.
RTAS
(2016)