Eduardo Manuel de Médicis Tovar


AuthID: R-000-4FB

Confirmed Publications: 351



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

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service