Eduardo Manuel de Médicis Tovar


AuthID: R-000-4FB

Confirmed Publications: 417



181
TITLE: Trading Between Intra- and Inter-Task Cache Interference to Improve Schedulability
AUTHORS: Syed Aftab Rashid; Geoffrey Nelissen; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: Proceedings of the 26th International Conference on Real-Time Networks and Systems, RTNS 2018, Chasseneuil-du-Poitou, France, October 10-12, 2018
INDEXED IN: DBLP
IN MY: DBLP
182
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
183
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
184
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
185
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
186
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
187
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
188
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
189
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
190
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
Page 19 of 42. Total results: 417.

footer slogan

Useful Links

Get Help

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