173 citations · 397 across the 28 of their papers we have counts for
Showing cs.OSShow all
2 papers · 1 filter
cs.OS2015★ 1 cited
Parallel and sequential reclaiming in multicore real-time global scheduling
Luca Abeni, Giuseppe Lipari, Andrea Parri +1
When integrating hard, soft and non-real-time tasks in general purpose operating systems, it is necessary to provide temporal isolation so that the timing properties of one task do…
cs.OS2014★ 5 cited
Toward Parametric Timed Interfaces for Real-Time Components
Youcheng Sun, Giuseppe Lipari, Étienne André +1
We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is…