A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. - Paul Regnier; George Lima 001; Aline Maria Santos Andrade (SBMF, 2008)

Evaluation of interrupt handling timeliness in real-time Linux operating systems. - Paul Regnier; George Lima 001; Luciano Barreto (ACM SIGOPS Oper. Syst. Rev., 2008)

RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. - Paul Regnier; George Lima 001; Ernesto Massa; Greg Levin; Scott A. Brandt (RTSS, 2011)

An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor - Paul Regnier; George Lima 001; Ernesto Massa (CoRR, 2011)

Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. - Paul Regnier; George Lima 001; Ernesto Massa; Greg Levin; Scott A. Brandt (Real Time Syst., 2013)

OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach. - Ernesto Massa; George Lima 001; Paul Regnier; Greg Levin; Scott A. Brandt (ECRTS, 2014)

Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling. - Ernesto Massa; George Lima 001; Paul Regnier (SBESC, 2014)

From RUN to QPS: new trends for optimal real-time multiprocessor scheduling. - Ernesto Massa; George Lima 001; Paul Regnier (Int. J. Embed. Syst., 2016)

Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems. - Ernesto Massa; George Lima 001; Paul Regnier; Greg Levin; Scott A. Brandt (Real Time Syst., 2016)

Practical Considerations in Optimal Multiprocessor Scheduling. - George Lima 001; Ernesto Massa; Paul Regnier (Handbook of Real-Time Computing, 2022)