Eduardo Manuel de Médicis Tovar


AuthID: R-000-4FB

Publicações Confirmadas: 351



131
TÍTULO: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact)
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2018, FONTE: Dagstuhl Artifacts Ser., VOLUME: 4, NÚMERO: 2
INDEXADO EM: DBLP Handle
132
TÍTULO: A Service-Oriented Cloud-Based Management System for the Internet-of-Drones
AUTORES: Koubaa, Anis; Qureshi, Basit; Sriti, Mohamed Foued; Javed, Yasir; Tovar, Eduardo ;
PUBLICAÇÃO: 2017, FONTE: 17th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2017 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC)
INDEXADO EM: Scopus WOS DBLP CrossRef: 64 Handle
NO MEU: ORCID
133
TÍTULO: Dual mode for vehicular platoon safety: Simulation and formal verification
AUTORES: Karoui, O; Khalgui, M; Koubâa, A; Guerfala, E; Li, ZW; Tovar, E ;
PUBLICAÇÃO: 2017, FONTE: INFORMATION SCIENCES, VOLUME: 402
INDEXADO EM: Scopus WOS DBLP CrossRef: 49 Handle
NO MEU: ORCID
134
TÍTULO: Experiments with XDense: A Dense Grid Sensor Network for Distributed Feature Extraction
AUTORES: Loureiro, Joao; Rangarajan, Raghuraman; Tovar, Eduardo ;
PUBLICAÇÃO: 2017, FONTE: 4th Workshop on Communication in Critical Embedded Systems (WoCCES) in COMMUNICATION IN CRITICAL EMBEDDED SYSTEMS, WOCCES 2016, VOLUME: 702
INDEXADO EM: Scopus WOS CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
135
TÍTULO: Formal Verification of AADL Models Using UPPAAL
AUTORES: Gonçalves, FS; Pereira, D ; Tovar, E ; Becker, LB;
PUBLICAÇÃO: 2017, FONTE: 7th Brazilian Symposium on Computing Systems Engineering (SBESC) in 2017 VII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), VOLUME: 2017-November
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle
NO MEU: ORCID
136
TÍTULO: Guest editorial: special issue on embedded and real-time computing systems and applications
AUTORES: Lee, CG; Tovar, E ; Lu, CY;
PUBLICAÇÃO: 2017, FONTE: REAL-TIME SYSTEMS, VOLUME: 53, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
137
TÍTULO: Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads
AUTORES: Rashid, SA; Nelissen, G; Altmeyer, S; Davis, RI; Tovar, E ;
PUBLICAÇÃO: 2017, FONTE: 38th IEEE Real-Time Systems Symposium (RTSS) in 2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2018-January
INDEXADO EM: Scopus WOS DBLP CrossRef: 11 Handle
NO MEU: ORCID
138
TÍTULO: Message from the ICCPS 2017 general and program co-chairs
AUTORES: Martinez, S; Sinopoli, B; Gill, C; Tovar, E ;
PUBLICAÇÃO: 2017, FONTE: 8th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2017 in Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week)
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
139
TÍTULO: Mixed-Criticality Scheduling with Dynamic Redistribution of Shared Cache
AUTORES: Muhammad Ali Awan; Konstantinos Bletsas; Pedro F Souto ; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2017, FONTE: ECRTS, VOLUME: 76
INDEXADO EM: Scopus DBLP Handle
NO MEU: ORCID
140
TÍTULO: Mixed-Criticality Systems with Partial Lockdown and Cache Reclamation Upon Mode Change
AUTORES: Konstantinos Bletsas; Muhammad A Awan; Pedro Souto; Benny Åkesson; Eduardo Tovar ;
PUBLICAÇÃO: 2017, FONTE: 29th Euromicro Conference on Real-Time Systems
INDEXADO EM: Handle
Página 14 de 36. Total de resultados: 351.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service