I agree that this site is using cookies. You can find further informations here.
X
Silva de Oliveira, Rômulo
78  results:
Bookchapter (Online) X
Search for persons X
?
1

A Reliability Evaluation Method for Probabilistic WCET Esti..:

, In: 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC),
Arcaro, Luis Fernando ; Palma Silva, Karila ; Silva De Oliveira, Romulo - p. 196-200 , 2018
Link: https://doi.org/10.1109/..
 
?
2

On Using GEV or Gumbel Models When Applying EVT for Probabi..:

, In: 2017 IEEE Real-Time Systems Symposium (RTSS),
Silva, Karila Palma ; Arcaro, Luis Fernando ; Silva De Oliveira, Romulo - p. 220-230 , 2017
Link: https://doi.org/10.1109/..
 
?
3

Cloud IEC 61850: Architecture and Integration of Electrical..:

, In: 2014 Brazilian Symposium on Computing Systems Engineering,
Lo, Thiago Berticelli ; Mendes, Marcos Fonseca ; Samaniego, Hugo A. Larangeira. - p. 13-18 , 2014
Link: https://doi.org/10.1109/..
 
?
4

Cache Preemption Related Delay Accounting via Static Analys..:

, In: 2012 Brazilian Symposium on Computing System Engineering,
Starke, Renan Augusto ; Silva de Oliveira, Romulo - p. 149-152 , 2012
Link: https://doi.org/10.1109/..
 
?
5

A Study about New Variations for the Spin-Based Multiproces..:

, In: 2012 Brazilian Symposium on Computing System Engineering,
Carminati, Andreu ; Silva de Oliveira, Romulo - p. 137-142 , 2012
Link: https://doi.org/10.1109/..
 
?
6

Methods for Comparing Execution Times of Different Input Da..:

, In: 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC),
Silva, Karila Palma ; Arcaro, Luis Fernando ; de Oliveira, Romulo Silva - p. 1-8 , 2020
Link: https://doi.org/10.1109/..
 
?
7

Efficient Formal Verification for the Linux Kernel:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
de Oliveira, Daniel Bristot ; Cucinotta, Tommaso ; de Oliveira, Rômulo Silva - p. 315-332 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Cloud IEC 61850: DDS Performance in Virtualized Environment..:

, In: 2017 IEEE International Conference on Computer and Information Technology (CIT),
Ferreira, Roger Daniel Francisco ; De Oliveira, Romulo Silva - p. 231-236 , 2017
Link: https://doi.org/10.1109/..
 
?
9

Mapping of the synchronization mechanisms of the Linux kern..:

, In: Proceedings of the 29th Annual ACM Symposium on Applied Computing,
de Oliveira, Daniel Bristot ; de Oliveira, Romulo Silva - p. 1543-1544 , 2014
Link: https://dl.acm.org/doi/1..
 
?
10

On using adversary simulators to obtain tight lower bounds ..:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,
de Oliveira, Rômulo Silva ; Carminati, Andreu ; Starke, Renan Augusto - p. 1573-1579 , 2012
Link: https://dl.acm.org/doi/1..
 
?
11

Strategies for QoS improvement on the time-interval schedul..:

, In: Proceedings of the 2008 ACM symposium on Applied computing,
de la Rocha, Fábio Rodrigues ; de Oliveira, Rômulo Silva - p. 320-321 , 2008
Link: https://dl.acm.org/doi/1..
 
?
12

An environment for the rapid development of embedded file s..:

, In: Proceedings of the 2008 ACM symposium on Applied computing,
de la Rocha, Fábio Rodrigues ; de Oliveira, Rômulo Silva - p. 694-699 , 2008
Link: https://dl.acm.org/doi/1..
 
?
13

Mock Objects in Software Testing: An Analysis of Usage in O..:

, In: Proceedings of the XXII Brazilian Symposium on Software Quality,
De Almeida, Raphael ; Da Silva, Romulo Martins ; Serrano, Lucas Silveira.. - p. 72-79 , 2023
Link: https://dl.acm.org/doi/1..
 
?
14

What is the adoption level of automated support for testing..:

, In: Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing,
da Silva, Rômulo Martins ; Cruz, Cafer ; de S. Campos Junior, Heleno.. - p. 80-89 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

An environment for supporting automated electronic negotiat..:

, In: Proceedings of the 12th Brazilian Symposium on Multimedia and the web,
Silva, Alan ; Oliveira, Rômulo ; Ibert, Ig - p. 303-312 , 2006
Link: https://dl.acm.org/doi/1..
 
1-15