Paul Regnier

According to our database, Paul Regnier authored at least 10 papers between 2008 and 2022.

Collaborative distances:

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

2022

Practical Considerations in Optimal Multiprocessor Scheduling.

George Lima, Ernesto Massa, Paul Regnier

Proceedings of the Handbook of Real-Time Computing, 2022

2016

Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems.

Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt

Real Time Syst., 2016

From RUN to QPS: new trends for optimal real-time multiprocessor scheduling.

Ernesto Massa, George Lima, Paul Regnier

Int. J. Embed. Syst., 2016

2014

Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling.

Ernesto Massa, George Lima, Paul Regnier

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach.

Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2013

Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach.

Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt

Real Time Syst., 2013

2011

An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor

Paul Regnier, George Lima, Ernesto Massa

CoRR, 2011

RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor.

Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

2008

Evaluation of interrupt handling timeliness in real-time Linux operating systems.

Paul Regnier, George Lima, Luciano Barreto

ACM SIGOPS Oper. Syst. Rev., 2008

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.

Paul Regnier, George Lima, Aline Maria Santos Andrade

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008