Follow
Paul Regnier
Paul Regnier
Professor, Departamento de Ciências da Computação (DCC), Universidade Federal de Bahia (UFBA)
Verified email at ufba.br
Title
Cited by
Cited by
Year
Run: Optimal multiprocessor real-time scheduling via reduction to uniprocessor
P Regnier, G Lima, E Massa, G Levin, S Brandt
2011 IEEE 32nd Real-Time Systems Symposium, 104-115, 2011
1602011
Evaluation of interrupt handling timeliness in real-time linux operating systems
P Regnier, G Lima, L Barreto
ACM SIGOPS Operating Systems Review 42 (6), 52-63, 2008
552008
Outstanding paper: Optimal and adaptive multiprocessor real-time scheduling: The quasi-partitioning approach
E Massa, G Lima, P Regnier, G Levin, S Brandt
2014 26th Euromicro Conference on Real-Time Systems, 291-300, 2014
312014
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems
E Massa, G Lima, P Regnier, G Levin, S Brandt
Real-Time Systems 52 (5), 566-597, 2016
272016
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach
P Regnier, G Lima, E Massa, G Levin, S Brandt
Real-Time Systems 49 (4), 436-474, 2013
262013
Deterministic integration of hard and soft real-time communication over shared-ethernet
P Regnier, G Lima
Proc. of Workshop of Tempo Real, Curitíba, Brazil, 2006
122006
Revealing the secrets of run and qps: New trends for optimal real-time multiprocessor scheduling
E Massa, G Lima, P Regnier
2014 Brazilian Symposium on Computing Systems Engineering, 150-155, 2014
82014
A TLA+ formal specification and verification of a new real-time communication protocol
P Regnier, G Lima, A Andrade
Electronic Notes in Theoretical Computer Science 240, 221-238, 2009
72009
Optimal multiprocessor real-time scheduling via reduction to uniprocessor
PDE Regnier
62012
Avaliação do determinismo temporal no tratamento de interrupções em plataformas de tempo real Linux
P Regnier, G Lima, L Barreto
5o Workshop de Sistemas Operacionais, 13-24, 2008
52008
Especificação formal, verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
PDE Regnier
Escola Politécnica/Instituto de Matemática., 2008
42008
Practical considerations in optimal multiprocessor scheduling
G Lima, E Massa, P Regnier
Handbook of real-time computing, 1-39, 2019
32019
From RUN to QPS: new trends for optimal real-time multiprocessor scheduling
E Massa, G Lima, P Regnier
International Journal of Embedded Systems 8 (5-6), 440-451, 2016
12016
An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor
P Regnier, G Lima, E Massa
arXiv preprint arXiv:1104.3523, 2011
2011
da dissertação ESPECIFICAÇÃO FORMAL, VERIFICAÇÃO E IMPLEMENTAÇÃO
PDE REGNIER
Trans. on Software Engineering 22, 181-201, 1996
1996
SBESC 2016
A Ferreira, A Sztajnberg, A Brito, AA Frohlich, A Macêdo, C Maziero, ...
An Ethernet DOuble RIng Service for Real-Time Systems
P Regnier, G Lima
Uma introduç ao a TLA
P Regnier
Reconhecimentos de objetos metálicos usando um dispositivo eletrônico de sensoriamento a efeito Hall
P Regnier, AJF Carvalho
DoRiS: Um Novo Protocolo de Comunicaç ao de Tempo Real sobre Ethernet e sua Implementaç ao em Linux/Xenomai
PDE Regnier, AM Carianha, G Lima
The system can't perform the operation now. Try again later.
Articles 1–20