Author of the publication

Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems.

, , , and . Electron. Notes Theor. Comput. Sci., (2008)

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.

 

Other publications of authors with the same name

Efficient schedulability tests for real-time embedded systems with urgent routines., , and . Des. Autom. Embed. Syst., 18 (1-2): 19-38 (2014)Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time., , , , , and . IEEE Embed. Syst. Lett., 9 (3): 69-72 (2017)Dynamic power management under the RUN scheduling algorithm: a slack filling approach., , , and . Real Time Syst., 57 (4): 443-484 (2021)Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems., , and . Innov. Syst. Softw. Eng., 6 (1-2): 29-37 (2010)Dealing with Soft Aperiodic Tasks in RUN., and . SBESC, page 1-6. IEEE, (2023)Heterogeneous Quasi-Partitioned Scheduling., , , and . RTSS, page 266-278. IEEE, (2021)Uma Ferramenta para Análise de Sentimentos em Redes Sociais Utilizando o SenticNet., and . SBSI, page 517-522. (2013)Multiprocessor Real-Time Scheduling with a Few Migrating Tasks., , , and . RTSS, page 170-181. IEEE Computer Society, (2013)A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling., and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 175-183. IEEE Computer Society, (2010)Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look., , and . ECRTS, page 200-211. IEEE Computer Society, (2016)