Search

João F. Ferreira

João F. Ferreira

Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities

Light Dark Automatic

Guanhua He

Latest

Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK

© 2006—2024 João F. Ferreira. All opinions are personal and do not necessarily represent the entities I am affiliated with.

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite