| 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 | 166 | 2011 |
| 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 | 65 | 2008 |
| 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 | 31 | 2014 |
| 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, 566-597, 2016 | 30 | 2016 |
| Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach P Regnier, G Lima, E Massa, G Levin, S Brandt Real-Time Systems 49, 436-474, 2013 | 28 | 2013 |
| 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 | 12 | 2014 |
| 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 | 10 | 2009 |
| 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 | 10 | 2006 |
| Optimal multiprocessor real-time scheduling via reduction to uniprocessor PDE Regnier | 6 | 2013 |
| 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 | 5 | 2008 |
| Practical considerations in optimal multiprocessor scheduling G Lima, E Massa, P Regnier Handbook of real-time computing, 193-231, 2022 | 4 | 2022 |
| 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., 2017 | 4 | 2017 |
| 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 | 1 | 2016 |
| 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 | | |
