Data | Título | Autor(es) | Tipo | Acesso |
2010 | Abordagem sistemática para o controlo seguro de sistemas aeroespaciais | Borges, Paulo André Mendes; Machado, José; Ferreira, João Amaro Oliveira, et al. | Artigo em ata de conferência | Acesso aberto |
Jun-2008 | Application-level fault tolerance in real-time embedded systems | Afonso, Francisco; Silva, Carlos A.; Tavares, Adriano, et al. | Artigo em ata de conferência | Acesso aberto |
Jul-2014 | Epileptic event detection algorithm for ambulatory monitoring platforms | Pinho, F.; Ferreira, João; Reis, Joana, et al. | Artigo em ata de conferência | Acesso restrito autor |
22-Fev-2023 | Exploring the arm MPAM extension for static partitioning virtualization | Freitas, Gonçalo Gonçalves | Dissertação de mestrado | Acesso aberto |
2010 | A formal approach for safe controllers analysis | Borges, Paulo; Machado, José Mendes; Seabra, Eurico, et al. | Artigo em ata de conferência | Acesso aberto |
Out-2017 | Formal verification considering a systematic modeling approach for function blocks | Machado, José; Galvão, Joel Maurício Rocha; Fernandes, Alexandre | Artigo | Acesso restrito autor |
2015 | HcM-FreeRTOS: hardware-centric FreeRTOS for ARM Multicore | Qaralleh, E.; Lima, D.; Gomes, Tiago Manuel Ribeiro, et al. | Artigo em ata de conferência | Acesso aberto |
1998 | A knowledge-based distributed system for supervision and control of wastewater treatment processes | Baeza, J. A.; Ferreira, Eugénio C.; Lafuente, J. | Artigo em ata de conferência | Acesso aberto |
Mai-2011 | Safe controllers design for industrial automation systems | Machado, José Manuel; Seabra, Eurico; Campos, J. Creissac, et al. | Artigo | Acesso restrito UMinho |
2017 | SMT-based schedulability analysis using RMTL-∫ | Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al. | Artigo | Acesso restrito UMinho |
Mar-2015 | Task-aware interrupt controller: priority space unification in real-time systems | Gomes, Tiago Manuel Ribeiro; Garcia, Paulo Fernando Rocha; Salgado, Filipe Alexandre Andrade, et al. | Artigo | Acesso restrito UMinho |
2020 | The IPIN 2019 indoor localisation competition-description and results | Potorti, Francesco; Park, Sangjoon; Crivello, Antonino, et al. | Artigo | Acesso aberto |
Jul-2021 | Virtual reality simulation of a quadrotor to monitor dependent people at home | Belmonte, Lidia M.; Garcia, Arturo S.; Segura, Eva, et al. | Artigo | Acesso aberto |