( en | de | ru )

 

Disambiguation of "de Oliveira, Rômulo Silva"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient Formal Verification for the Linux Kernel.

, , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 315-332. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ely de Oliveira

Maria Eugênia Olímpio de Oliveira Silva

Colin De Silva

Sheron Francisco de Oliveira

Sheron Francisco De Oliveira

 

Other publications of authors with the same name

Determination of the itinerary of imprecise mobile agents using an adaptive approach., , , , and . ETFA, page 1244-1251. IEEE, (2008)On the use of static branch prediction to reduce the worst-case execution time of real-time applications., , and . Real Time Syst., 54 (3): 537-561 (2018)A scheme for slot allocation of the FlexRay Static Segment based on response time analysis., , , and . Comput. Commun., (2015)Itinerary determination of imprecise mobile agents with firm deadline., , and . Web Intell. Agent Syst., 6 (4): 421-439 (2008)An adaptive approach for the determination of the itinerary of imprecise mobile agents with timing constraints., , and . Web Intell. Agent Syst., 9 (3): 257-268 (2011)Timing Analysis of hybrid FlexRay, CAN-FD and CAN vehicular networks., , , and . IECON, page 4725-4730. IEEE, (2016)Evaluation of a low overhead predication system for a deterministic VLIW architecture targeting real-time applications., , and . Microprocess. Microsystems, (2017)Design and implementation of a 6LoWPAN gateway for wireless sensor networks integration with the internet of things., , , and . Int. J. Embed. Syst., 8 (5/6): 380-390 (2016)On using adversary simulators to obtain tight lower bounds for response times., , and . SAC, page 1573-1579. ACM, (2012)Deadline missing predictor based on aperiodic server queue length for distributed systems., , and . Comput. Commun., 31 (17): 4167-4175 (2008)