| 2020 | ECRTS | Demystifying the Real-Time Linux Scheduling Latency. | Daniel Bristot de Oliveira, Daniel Casini, Rmulo Silva de Oliveira, Tommaso Cucinotta |
| 2020 | RTSS | Reliability Test based on a Binomial Experiment for Probabilistic Worst-Case Execution Times. | Luis Fernando Arcaro, Karila Palma Silva, Rmulo Silva de Oliveira, Lus Almeida |
| 2019 | ISORC | Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel. | Daniel Bristot de Oliveira, Rmulo Silva de Oliveira, Tommaso Cucinotta |
| 2019 | SEFM | Efficient Formal Verification for the Linux Kernel. | Daniel Bristot de Oliveira, Tommaso Cucinotta, Rmulo Silva de Oliveira |
| 2018 | ETFA | Cloud IEC 61850 A Case Study of a Software Defined Protection, Automation & Control System. | Roger Daniel Francisco Ferreira, Rmulo Silva de Oliveira |
| 2018 | ETFA | An Empirical Study on the Adequacy of MBPTA for Tasks Executed on a Complex Computer Architecture with Linux. | Karila Palma Silva, Luis Fernando Arcaro, Daniel Bristot de Oliveira, Rmulo Silva de Oliveira |
| 2017 | ETFA | Automata-based modeling of interrupts in the Linux PREEMPT RT kernel. | Daniel Bristot de Oliveira, Rmulo Silva de Oliveira, Tommaso Cucinotta, Luca Abeni |
| 2017 | RTSS | On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET Estimation. | Karila Palma Silva, Luis Fernando Arcaro, Rmulo Silva de Oliveira |
| 2016 | IECON | Timing Analysis of hybrid FlexRay, CAN-FD and CAN vehicular networks. | Rodrigo Lange, Alexsandro Cristovo Bonatto, Francisco Vasques, Rmulo Silva de Oliveira |
| 2015 | INDIN | Lessons learned from the development of an ARINC 653 compatible Operating System. | Luis Fernando Arcaro, Rmulo Silva de Oliveira |
| 2015 | INDIN | Value analysis for the determination of memory instruction latency in a WCET tool. | Karila Palma Silva, Renan Augusto Starke, Rmulo Silva de Oliveira |
| 2015 | INDIN | Investigating a four-issue deterministic VLIW architecture for real-time systems. | Renan Augusto Starke, Andreu Carminati, Rmulo Silva de Oliveira |
| 2014 | INDIN | Probabilistic scheduling of the FlexRay dynamic segment. | Rodrigo Lange, Rmulo Silva de Oliveira |
| 2014 | SAC | Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model. | Daniel Bristot de Oliveira, Rmulo Silva de Oliveira |
| 2014 | SIMULTECH | A necessary test for fixed-priority real-time multiprocessor systems based on lazy-adversary simulation. | Rmulo Silva de Oliveira, Andreu Carminati, Renan Augusto Starke |
| 2013 | DAC | Reconciling real-time guarantees and energy efficiency through unlocked-cache prefetching. | Emilio Wuerges, Rmulo Silva de Oliveira, Luiz C. V. dos Santos |
| 2012 | ETFA | On variations of the suspension-based multiprocessor priority ceiling syncronization protocol. | Andreu Carminati, Rmulo Silva de Oliveira |
| 2012 | SAC | On using adversary simulators to obtain tight lower bounds for response times. | Rmulo Silva de Oliveira, Andreu Carminati, Renan Augusto Starke |
| 2012 | WFCS | Guaranteeing real-time message deadlines in the FlexRay static segment using a on-line scheduling approach. | Rodrigo Lange, Francisco Vasques, Paulo Portugal, Rmulo Silva de Oliveira |
| 2010 | ETFA | Using intelligent mobile agents to dynamically determine itineraries with time constraints. | Alex Magalhes, Luciana Rech, Lau Cheuk Lung, Rmulo Silva de Oliveira |
| 2009 | ETFA | On the Use of Hash Tables in Real-time Applications. | Rmulo Silva de Oliveira, Carlos Montez, Rodrigo Lange |
| 2008 | ETFA | A mechanism for deadline missing prediction in systems based on distributed threads. | Patricia Della Ma Plentz, Carlos Montez, Rmulo Silva de Oliveira |
| 2008 | ETFA | Determination of the itinerary of imprecise mobile agents using an adaptive approach. | Luciana Rech, Carlos Montez, Rmulo Silva de Oliveira, Fbio Reis Cecin, Cludio Fernando Resin Geyer |
| 2008 | SAC | Strategies for QoS improvement on the time-interval scheduling. | Fbio Rodrigues de la Rocha, Rmulo Silva de Oliveira |
| 2008 | SAC | An environment for the rapid development of embedded file systems. | Fbio Rodrigues de la Rocha, Rmulo Silva de Oliveira |
| 2007 | ETFA | Introducing the modeling and verification process in SysML. | Marcos Vinicius Linhares, Rmulo Silva de Oliveira, Jean-Marie Farines, Franois Vernadat |
| 2007 | ETFA | Prediction of end-to-end deadline missing in distributed threads systems. | Patricia Della Ma Plentz, Carlos Montez, Rmulo Silva de Oliveira |
| 2007 | ETFA | Uniprocessor scheduling under time-interval constraints. | Fbio Rodrigues de la Rocha, Rmulo Silva de Oliveira |
| 2007 | EUC | Real-Time Scheduling Under Time-Interval Constraints. | Fbio Rodrigues de la Rocha, Rmulo Silva de Oliveira |
| 2007 | ISORC | Real-Time Dynamic Guarantee in Component-Based Middleware. | Cssia Yuri Tatibana, Carlos Montez, Rmulo Silva de Oliveira |
| 2006 | ETFA | Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit. | Marcos Vinicius Linhares, Alexandre Jose da Silva, Rmulo Silva de Oliveira |
| 2006 | ETFA | A Clone-Pair Approach for the Determination of the Itinerary of Imprecise Mobile Agents with Firm Deadlines. | Luciana Rech, Carlos Montez, Rmulo Silva de Oliveira |
| 2006 | IRI | A new model for the itinerary definition of real-time imprecise mobile agents. | Luciana Rech, Carlos Montez, Rmulo Silva de Oliveira |
| 2006 | SMC | An Empirical Study of SysML in the Modeling of Embedded Systems. | Alexandre Jose da Silva, Marcos Vinicius Linhares, Rafael Sangoi Padilha, Nestor Roqueiro, Rmulo Silva de Oliveira |
| 2005 | ETFA | Scheduling of the distributed thread abstraction with timing constraints using RTSJ. | Patricia Della Ma Plentz, Rmulo Silva de Oliveira, Carlos Montez |
| 2005 | ETFA | Dynamic guarantee in component-based distributed real-time systems. | Cssia Yuri Tatibana, Rmulo Silva de Oliveira, Carlos Montez |
| 2002 | CoopIS | An Adaptive Scheduling Service for Real-Time CORBA. | Alexandre Cervieri, Rmulo Silva de Oliveira, Cludio F. R. Geyer |
| 2001 | ISORC | Scheduling Imprecise Tasks in Real-Time Distributed Systems. | Rmulo Silva de Oliveira, Joni da Silva Fraga, Jean-Marie Farines |
| 2000 | ISPASS | Performance evaluation of real-time scheduling on a multicomputer architecture. | Lus Fernando Friedrich, Rafael Luiz Cancian, Rmulo Silva de Oliveira, Thadeu B. Corso |
| 1999 | ISORC | An Adaptive Scheduling Approach in Real-Time CORBA. | Carlos Montez, Joni da Silva Fraga, Jean-Marie Farines, Rmulo Silva de Oliveira |