Paul Regnier

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 2

Top Topics

Contract Algorithms

Multiprocessor Systems

Optimal Solution

Top Venues

Real Time Syst.

Int. J. Embed. Syst.

Publications

Ernesto Massa, George Lima, Paul Regnier
From RUN to QPS: new trends for optimal real-time multiprocessor scheduling. Int. J. Embed. Syst. 8 (5/6) (2016)
Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems. Real Time Syst. 52 (5) (2016)
Ernesto Massa, George Lima, Paul Regnier
Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling. SBESC (2014)
Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt
OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach. ECRTS (2014)
Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. Real Time Syst. 49 (4) (2013)
Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt
RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. RTSS (2011)
Paul Regnier, George Lima, Ernesto Massa
An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor CoRR (2011)
Paul Regnier, George Lima, Aline Maria Santos Andrade
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. Electron. Notes Theor. Comput. Sci. 240 (2009)
Paul Regnier, George Lima, Luciano Barreto
Evaluation of interrupt handling timeliness in real-time Linux operating systems. ACM SIGOPS Oper. Syst. Rev. 42 (6) (2008)