Eduardo Manuel de Médicis Tovar


AuthID: R-000-4FB

Confirmed Publications: 416



181
TITLE: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers  Full Text
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: 30th Euromicro Conference on Real-Time Systems, ECRTS 2018 in 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain, VOLUME: 106
INDEXED IN: Scopus DBLP Handle
IN MY: ORCID | DBLP
182
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: DARTS, VOLUME: 4, ISSUE: 2
INDEXED IN: DBLP Handle
IN MY: DBLP
183
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: WOS DBLP
184
TITLE: A service-oriented Cloud-based management system for the Internet-of-Drones
AUTHORS: Koubaa, A; Qureshi, B; Sriti, MF; Javed, Y; Tovar, E ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017 in 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017
INDEXED IN: Scopus CrossRef: 64 Handle
IN MY: ORCID
185
TITLE: Dual mode for vehicular platoon safety: Simulation and formal verification  Full Text
AUTHORS: Karoui, O; Khalgui, M; Koubaa, A; Guerfala, E; Li, ZW; Tovar, E ;
PUBLISHED: 2017, SOURCE: INFORMATION SCIENCES, VOLUME: 402
INDEXED IN: Scopus WOS DBLP CrossRef: 47 Handle
IN MY: ORCID | DBLP
186
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
187
TITLE: Formal Verification of AADL Models Using UPPAAL
AUTHORS: Goncalves, 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 | DBLP
188
TITLE: Guest editorial: special issue on embedded and real-time computing systems and applications  Full Text
AUTHORS: Lee, CG; Tovar, E ; Lu, CY;
PUBLISHED: 2017, SOURCE: REAL-TIME SYSTEMS, VOLUME: 53, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
189
TITLE: Guest editorial: special issue on embedded and real-time computing systems and applications
AUTHORS: Chang Gun Lee; Eduardo Tovar ; Chenyang Lu;
PUBLISHED: 2017, SOURCE: Real-Time Systems, VOLUME: 53, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
190
TITLE: Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads  Full Text
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: 10 Handle
IN MY: ORCID | DBLP
Page 19 of 42. Total results: 416.

footer slogan

Useful Links

Get Help

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