Telephone:
- Home +55 71 32 47 86 10
- Cel. +55 71 96 14 36 06
Email:
paulaup at gmail point br
Skype:
pauldeloin
Activities
Main Publications
- RUN: Optimal multiprocessor real-time scheduling
via reduction to uniprocessor.
- Paul Regnier, George Lima, Ernesto Massa, Greg Levin and Scott Brandt (2011)
- IEEE RTSS'11 - Best Paper Award. RTSS'11 Slides.
- Relatório de viagem
- A TLA+ formal specification and verification
of a new real-time communication protocol.
- Paul Regnier, George Lima, Aline Andrade (2009): ENTCS.
- Evaluation of interrupt handling timeliness
in real-time Linux operating systems.
- Paul Regnier, George Lima, Luciano Barreto (2008): SIGOPS Oper. Syst. Rev.
- Others
PhD - 2012
- Announce - Slides -
Thesis
- Programa
Multiinstitucional de Pós-Graduação em Ciência da Computação
Adviser George Lima, PhD.
Curriculum Vitae
- CV Lattes
- Short English CV
Miscellaneous
As a citizen, member of
Faces do Brasil e Afirme-Se
French Portrait
Protected area
