Anna Lyons - Google Scholar

Get my own profile

Cited by

	All	Since 2019
Citations	80	59
h-index	3	3
i10-index	2	1

0

16

8

20122013201420152016201720182019202020212022202320241 2 6 6 6 9 9 9 15 7 10

Co-authors

Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
Kent McleodData61 CSIROVerified email at data61.csiro.au
Felipe CerqueiraPh.D. Student, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
Manohar VangaBell LabsVerified email at nokia-bell-labs.com

Anna Lyons

Anna Lyons

Ghost

Verified email at gh.st

operating systems real time scheduling microkernels L4


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Scheduling-context capabilities: A principled, light-weight OS mechanism for managing time A Lyons, K McLeod, H Almatary, G Heiser EuroSys Conference. ACM, Porto, Portugal, Article 26, 16, 2018	52*	2018
Mixed-Criticality Support in a High-Assurance, General-Purpose Microkernel A Lyons, G Heiser Proc. 2nd Workshop on Mixed Criticality Systems (WMC), RTSS, 9-14, 2014	19	2014
Mixed-Criticality Scheduling and Resource Sharing for High-Assurance Operating Systems. A Lyons University of New South Wales, Sydney, Australia, 2018	4	2018
Flare: Efficient capability semantics for timely processor access M Vanga, F Cerqueira, A Lyons, G Heiser	3	2013
Efficient concurrency control for high-performance microkernels A Lyons BSc thesis, School of Computer Science and Engineering, University of NSW …, 2011	2	2011

The system can't perform the operation now. Try again later.

Articles 1–5