Anna Lyons

According to our database, Anna Lyons authored at least 3 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Mixed-Criticality Scheduling and Resource Sharing for High-Assurance Operating Systems.

Anna Lyons

PhD thesis, 2018

Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time.

Anna Lyons, Kent McLeod, Hesham Almatary, Gernot Heiser

Proceedings of the Thirteenth EuroSys Conference, 2018

2016

It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity.

Anna Lyons, Gernot Heiser

CoRR, 2016