


Остановите войну!
for scientists:


default search action
Eduardo Tovar
Person information

- affiliation: Polytechnic of Porto, Portugal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j67]Radha Reddy
, Luís Almeida
, Miguel Gutiérrez-Gaitán
, Pedro M. Santos
, Eduardo Tovar:
Synchronous Management of Mixed Traffic at Signalized Intersections Toward Sustainable Road Transportation. IEEE Access 11: 64928-64940 (2023) - [c136]Radha Reddy
, Luís Almeida, Pedro Santos, Eduardo Tovar:
Waiting Time Analysis for a Network of Signalized Intersections. ANT/EDI40 2023: 503-510 - [c135]Marcia Cunha Rocha
, Enio Vasconcelos Filho
, Fernando Alves
, Sergio Penna
, Pedro M. Santos
, Eduardo Tovar
:
A WSSL Implementation for Critical Cyber-Physical Systems Applications. CPS-IoT Week Workshops 2023: 192-197 - [c134]Yousef Emami, Kai Li, Yong Niu, Eduardo Tovar:
AoI Minimization Using Multi-Agent Proximal Policy Optimization in UAVs-Assisted Sensor Networks. ICC 2023: 228-233 - [c133]Yilian Ribot González, Geoffrey Nelissen, Eduardo Tovar:
Traffic Injection Regulation Protocol Based on Free Time-Slots Requests. RTCSA 2023: 157-166 - [c132]Jatin Arora, Syed Aftab Rashid, Geoffrey Nelissen, Cláudio Maia, Eduardo Tovar:
Improved Bus Contention Analysis for 3-Phase Tasks. RTCSA 2023: 243-252 - [c131]Yilian Ribot González
, Geoffrey Nelissen
, Eduardo Tovar
:
IPDeN 2.0: Real-time NoC with selective flit deflection and buffering. RTNS 2023: 87-98 - [c130]Jingjing Zheng, Kai Li, Naram Mhaisen, Wei Ni, Eduardo Tovar, Mohsen Guizani:
Federated Learning for Online Resource Allocation in Mobile Edge Computing: A Deep Reinforcement Learning Approach. WCNC 2023: 1-6 - 2022
- [j66]Enio Vasconcelos Filho
, Pedro M. Santos
, Ricardo Severino, Anis Koubaa
, Eduardo Tovar:
Improving the Performance of Cooperative Platooning With Restricted Message Trigger Thresholds. IEEE Access 10: 45562-45575 (2022) - [j65]Rui Pinto
, Gil Gonçalves
, Jerker Delsing, Eduardo Tovar:
Enabling data-driven anomaly detection by design in cyber-physical production systems. Cybersecur. 5(1): 9 (2022) - [j64]Jingjing Zheng
, Kai Li, Naram Mhaisen, Wei Ni
, Eduardo Tovar, Mohsen Guizani
:
Exploring Deep-Reinforcement-Learning-Assisted Federated Learning for Online Resource Allocation in Privacy-Preserving EdgeIoT. IEEE Internet Things J. 9(21): 21099-21110 (2022) - [j63]Syed Aftab Rashid
, Geoffrey Nelissen
, Eduardo Tovar:
Tightening the CRPD bound for multilevel non-inclusive caches. J. Syst. Archit. 122: 102340 (2022) - [j62]Jatin Arora
, Cláudio Maia
, Syed Aftab Rashid, Geoffrey Nelissen
, Eduardo Tovar:
Bus-contention aware WCRT analysis for the 3-phase task model considering a work-conserving bus arbitration scheme. J. Syst. Archit. 122: 102345 (2022) - [j61]Ishfaq Hussain
, Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas
, Eduardo Tovar:
Response time analysis of memory-bandwidth-regulated multiframe mixed-criticality systems. J. Syst. Archit. 123: 102346 (2022) - [j60]Jatin Arora
, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen
, Eduardo Tovar:
Schedulability analysis for 3-phase tasks with partitioned fixed-priority scheduling. J. Syst. Archit. 131: 102706 (2022) - [c129]Syed Aftab Rashid, Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas
, Eduardo Tovar:
Cache-aware Schedulability Analysis of PREM Compliant Tasks. DATE 2022: 1269-1274 - [c128]Jatin Arora, Syed Aftab Rashid, Cláudio Maia, Eduardo Tovar:
Analyzing Fixed Task Priority Based Memory Centric Scheduler for the 3-Phase Task Model. RTCSA 2022: 51-60 - [c127]Yilian Ribot González, Geoffrey Nelissen, Eduardo Tovar:
IPDeN: Real-Time deflection-based NoC with in-order flits delivery. RTCSA 2022: 160-169 - [c126]Jatin Arora, Syed Aftab Rashid, Cláudio Maia, Geoffrey Nelissen, Eduardo Tovar:
Work-in-Progress: A Holistic Approach to WCRT Analysis for Multicore Systems. RTSS 2022: 511-514 - [c125]Radha Reddy
, Luís Almeida
, Pedro Santos, Eduardo Tovar:
Work-in-Progress: Exploring the Composition of Synchronous Intelligent Intersections. RTSS 2022: 523-526 - [c124]Ishfaq Hussain, Pedro F. Souto, Konstantinos Bletsas
, Muhammad Ali Awan, Eduardo Tovar:
Schedulability analysis for CAN bus messages of periodically-varying size. WFCS 2022: 1-8 - [i6]Jingjing Zheng, Kai Li, Naram Mhaisen, Wei Ni, Eduardo Tovar, Mohsen Guizani:
Exploring Deep Reinforcement Learning-Assisted Federated Learning for Online Resource Allocation in EdgeIoT. CoRR abs/2202.07391 (2022) - 2021
- [j59]Kai Li
, Wei Ni
, Eduardo Tovar, Mohsen Guizani
:
Joint Flight Cruise Control and Data Collection in UAV-Aided Internet of Things: An Onboard Deep Reinforcement Learning Approach. IEEE Internet Things J. 8(12): 9787-9799 (2021) - [j58]Harrison Kurunathan
, Ricardo Severino
, Eduardo Tovar:
A Comprehensive Worst Case Bounds Analysis of IEEE 802.15.7. J. Sens. Actuator Networks 10(2): 23 (2021) - [j57]Kai Li, Wei Ni, Jingjing Zheng, Eduardo Tovar, Mohsen Guizani
:
Confidentiality and Timeliness of Data Dissemination in Platoon-based Vehicular Cyber-Physical Systems. IEEE Netw. 35(4): 248-254 (2021) - [j56]Ishfaq Hussain
, Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas
, Benny Akesson, Eduardo Tovar:
Response time analysis of multiframe mixed-criticality systems with arbitrary deadlines. Real Time Syst. 57(1-2): 141-189 (2021) - [j55]Kai Li
, Ning Lu, Jingjing Zheng, Pei Zhang, Wei Ni, Eduardo Tovar:
BloothAir: A Secure Aerial Relay System Using Bluetooth Connected Autonomous Drones. ACM Trans. Cyber Phys. Syst. 5(3): 27:1-27:22 (2021) - [j54]Yousef Emami
, Bo Wei
, Kai Li
, Wei Ni
, Eduardo Tovar:
Joint Communication Scheduling and Velocity Control in Multi-UAV-Assisted Sensor Networks: A Deep Reinforcement Learning Approach. IEEE Trans. Veh. Technol. 70(10): 10986-10998 (2021) - [j53]Kai Li
, Wei Ni
, Eduardo Tovar, Abbas Jamalipour
:
Online Velocity Control and Data Capture of Drones for the Internet of Things: An Onboard Deep Reinforcement Learning Approach. IEEE Veh. Technol. Mag. 16(1): 49-56 (2021) - [c123]Alam Noor
, Kai Li, Adel Ammar, Anis Koubaa, Bilel Benjdira, Eduardo Tovar:
A Hybrid Deep Learning Model for UAVs Detection in Day and Night Dual Visions. CogMI 2021: 221-231 - [c122]Yilian Ribot González, Geoffrey Nelissen
, Eduardo Tovar:
nDimNoC: Real-Time D-dimensional NoC. ECRTS 2021: 5:1-5:22 - [c121]Yousef Emami
, Bo Wei, Kai Li, Wei Ni, Eduardo Tovar:
Deep Q-Networks for Aerial Data Collection in Multi-UAV-Assisted Wireless Sensor Networks. IWCMC 2021: 669-674 - [c120]Jingjing Zheng, Kai Li, Eduardo Tovar, Mohsen Guizani:
Federated Learning for Energy-balanced Client Selection in Mobile Edge Computing. IWCMC 2021: 1942-1947 - [c119]Harrison Kurunathan, Kai Li, Wei Ni, Eduardo Tovar, Falko Dressler:
Deep Reinforcement Learning for Persistent Cruise Control in UAV-aided Data Collection. LCN 2021: 347-350 - [c118]Jatin Arora
, Cláudio Maia
, Syed Aftab Rashid, Geoffrey Nelissen
, Eduardo Tovar:
Bus-Contention Aware Schedulability Analysis for the 3-Phase Task Model with Partitioned Scheduling. RTNS 2021: 123-133 - [c117]Radha Reddy
, Luís Almeida
, Miguel Gutiérrez Gaitán
, Harrison Kurunathan, Pedro M. Santos
, Eduardo Tovar:
Work-in-Progress: Worst-Case Response Time of Intersection Management Protocols. RTSS 2021: 556-559 - [c116]Rui Pinto
, Gil Gonçalves
, Jerker Delsing, Eduardo Tovar:
Incremental Dendritic Cell Algorithm for Intrusion Detection in Cyber-Physical Production Systems. SAI (3) 2021: 664-680 - [c115]Kai Li, Ning Lu, Jingjing Zheng, Pei Zhang, Wei Ni, Eduardo Tovar:
A Practical Secret Key Management for Multihop Drone Relay Systems based on Bluetooth Low Energy. SECON 2021: 1-2 - 2020
- [j52]Kai Li
, Wei Ni
, Bo Wei, Eduardo Tovar:
Onboard Double Q-Learning for Airborne Data Capture in Wireless Powered IoT Networks. IEEE Netw. Lett. 2(2): 71-75 (2020) - [j51]Kai Li
, Yousef Emami
, Wei Ni
, Eduardo Tovar, Zhu Han
:
Onboard Deep Deterministic Policy Gradients for Online Flight Resource Allocation of UAVs. IEEE Netw. Lett. 2(3): 106-110 (2020) - [j50]Kai Li
, Wei Ni, Yousef Emami
, Yiran Shen, Ricardo Severino
, David Pereira
, Eduardo Tovar:
Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems. ACM Trans. Cyber Phys. Syst. 4(2): 22:1-22:20 (2020) - [j49]Kai Li
, Wei Ni
, Eduardo Tovar, Mohsen Guizani
:
Optimal Rate-Adaptive Data Dissemination in Vehicular Platoons. IEEE Trans. Intell. Transp. Syst. 21(10): 4241-4251 (2020) - [c114]Syed Aftab Rashid, Geoffrey Nelissen
, Eduardo Tovar:
Cache Persistence-Aware Memory Bus Contention Analysis for Multicore Systems. DATE 2020: 442-447 - [c113]Rui Pinto
, Gil Gonçalves
, Eduardo Tovar, Jerker Delsing:
Attack Detection in Cyber-Physical Production Systems using the Deterministic Dendritic Cell Algorithm. ETFA 2020: 1552-1559 - [c112]Enio Vasconcelos Filho
, Nuno Guedes, Bruno Vieira, Miguel Mestre, Ricardo Severino
, Bruno Gonçalves, Anis Koubaa, Eduardo Tovar:
Towards a Cooperative Robotic Platooning Testbed. ICARSC 2020: 332-337 - [c111]Kai Li
, Wei Ni, Eduardo Tovar, Abbas Jamalipour:
Deep Q-Learning based Resource Management in UAV-assisted Wireless Powered IoT Networks. ICC 2020: 1-6 - [c110]Kai Li
, Ning Lu, Pei Zhang, Wei Ni, Eduardo Tovar:
Poster Abstract: Multi-Drone Assisted Internet of Things Testbed Based on Bluetooth 5 Communications. IPSN 2020: 345-346 - [c109]Radha Reddy
, Luís Almeida
, Pedro M. Santos, Eduardo Tovar:
Comparing the Ecological Footprint of Intersection Management Protocols for Human/Autonomous Scenarios. ITSC 2020: 1-6 - [c108]Kai Li
, Wei Ni, Eduardo Tovar, Mohsen Guizani
:
Deep Reinforcement Learning for Real-Time Trajectory Planning in UAV Networks. IWCMC 2020: 958-963 - [c107]Syed Aftab Rashid, Geoffrey Nelissen
, Eduardo Tovar:
Bounding Cache Persistence Reload Overheads for Set-Associative Caches. RTCSA 2020: 1-10 - [c106]Giann Spilere Nandi
, David Pereira, José Proença
, Eduardo Tovar:
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. RTSS 2020: 395-398 - [c105]Jatin Arora
, Cláudio Maia
, Syed Aftab Rashid, Geoffrey Nelissen
, Eduardo Tovar:
Work-In-Progress: WCRT Analysis for the 3-Phase Task Model in Partitioned Scheduling. RTSS 2020: 407-410 - [c104]Harrison Kurunathan
, Ricardo Severino
, Enio Vasconcelos Filho
, Eduardo Tovar:
WiCAR - Simulating Towards the Wireless Car. SAFECOMP Workshops 2020: 136-147 - [c103]Yousef Emami
, Kai Li
, Eduardo Tovar:
Buffer-Aware Scheduling for UAV Relay Networks with Energy Fairness. VTC Spring 2020: 1-5 - [c102]Walter Tiberti
, Bruno Vieira, Harrison Kurunathan
, Ricardo Severino
, Eduardo Tovar:
Tightening Up Security In Low Power Deterministic Networks. WFCS 2020: 1-7
2010 – 2019
- 2019
- [j48]Harrison Kurunathan
, Ricardo Severino, Anis Koubaa, Eduardo Tovar
:
DynaMO - Dynamic Multisuperframe Tuning for Adaptive IEEE 802.15.4e DSME Networks. IEEE Access 7: 122522-122535 (2019) - [j47]Anis Koubâa
, Basit Qureshi
, Mohamed-Foued Sriti, Azza Allouch, Yasir Javed
, Maram Alajlan, Omar Cheikhrouhou
, Mohamed Khalgui
, Eduardo Tovar
:
Dronemap Planner: A service-oriented cloud-based management system for the Internet-of-Drones. Ad Hoc Networks 86: 46-62 (2019) - [j46]Sana Ullah, Ki-Il Kim
, Kyong Hoon Kim, Muhammad Imran, Pervez Khan, Eduardo Tovar
, Farman Ali
:
UAV-enabled healthcare architecture: Issues and challenges. Future Gener. Comput. Syst. 97: 425-432 (2019) - [j45]Muhammad Ali Awan
, Pedro F. Souto
, Benny Akesson
, Konstantinos Bletsas
, Eduardo Tovar
:
Uneven memory regulation for scheduling IMA applications on multi-core platforms. Real Time Syst. 55(2): 248-292 (2019) - [j44]Xiaoming Wang, Demin Li
, Chang Guo
, Xiaolu Zhang, Salil S. Kanhere
, Kai Li
, Eduardo Tovar
:
Eavesdropping and Jamming Selection Policy for Suspicious UAVs Based on Low Power Consumption over Fading Channels. Sensors 19(5): 1126 (2019) - [j43]Harrison Kurunathan
, Ricardo Severino
, Anis Koubaa, Eduardo Tovar:
DynaMO: dynamically tuning DSME networks. SIGBED Rev. 16(4): 8-13 (2019) - [j42]Harrison Kurunathan
, Ricardo Severino
, Anis Koubaa, Eduardo Tovar:
Symphony: routing aware scheduling for DSME networks. SIGBED Rev. 16(4): 26-31 (2019) - [j41]João Loureiro
, Raghuraman Rangarajan, Borislav Nikolic, Leandro Soares Indrusiak, Eduardo Tovar:
Extensive Analysis of a Real-Time Dense Wired Sensor Network Based on Traffic Shaping. ACM Trans. Cyber Phys. Syst. 3(3): 27:1-27:27 (2019) - [j40]Muhammad Ali Awan
, Konstantinos Bletsas
, Pedro F. Souto, Benny Akesson, Eduardo Tovar:
Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets. ACM Trans. Embed. Comput. Syst. 18(5s): 109:1-109:23 (2019) - [j39]Kai Li
, Wei Ni
, Mehran Abolhasan
, Eduardo Tovar
:
Reinforcement Learning for Scheduling Wireless Powered Sensor Communications. IEEE Trans. Green Commun. Netw. 3(2): 264-274 (2019) - [j38]Kai Li
, Razvan Christian Voicu, Salil S. Kanhere
, Wei Ni
, Eduardo Tovar
:
Energy Efficient Legitimate Wireless Surveillance of UAV Communications. IEEE Trans. Veh. Technol. 68(3): 2283-2293 (2019) - [j37]Kai Li
, Lingyun Lu, Wei Ni
, Eduardo Tovar
, Mohsen Guizani
:
Secret Key Agreement for Data Dissemination in Vehicular Platoons. IEEE Trans. Veh. Technol. 68(9): 9060-9073 (2019) - [j36]Kai Li
, Wei Ni
, Eduardo Tovar
, Abbas Jamalipour
:
On-Board Deep Q-Network for UAV-Assisted Online Power Transfer and Data Collection. IEEE Trans. Veh. Technol. 68(12): 12215-12226 (2019) - [c101]Shashank Gaur
, Luís Almeida
, Eduardo Tovar
, Radha Reddy
:
CAP: Context-Aware Programming for Cyber Physical Systems. ETFA 2019: 1009-1016 - [c100]Kai Li
, Lingyun Lu, Wei Ni
, Eduardo Tovar
, Mohsen Guizani:
Cooperative Secret Key Generation for Platoon-Based Vehicular Communications. ICC 2019: 1-6 - [c99]Bruno Vieira, Ricardo Severino
, Enio Vasconcelos Filho
, Anis Koubaa, Eduardo Tovar:
COPADRIVe - A Realistic Simulation Framework for Cooperative Autonomous Driving Applications. ICCVE 2019: 1-6 - [c98]Kai Li
, Yousef Emami
, Eduardo Tovar
:
Privacy-preserving control message dissemination for PVCPS: poster abstract. IPSN 2019: 301-302 - [c97]Bruno Vieira, Ricardo Severino
, Anis Koubaa, Eduardo Tovar
:
Towards a Realistic Simulation Framework for Vehicular Platooning Applications. ISORC 2019: 93-94 - [c96]Kai Li
, Salil S. Kanhere
, Wei Ni, Eduardo Tovar
, Mohsen Guizani:
Proactive Eavesdropping via Jamming for Trajectory Tracking of UAVs. IWCMC 2019: 477-482 - [c95]Muhammad Ali Awan
, Pedro F. Souto
, Konstantinos Bletsas
, Benny Akesson, Eduardo Tovar
:
Memory Bandwidth Regulation for Multiframe Task Sets. RTCSA 2019: 1-11 - [c94]Ishfaq Hussain, Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas
, Benny Akesson, Eduardo Tovar:
Response time analysis of multiframe mixed-criticality systems. RTNS 2019: 8-18 - [c93]Radha Reddy
, Luís Almeida
, Eduardo Tovar:
Work-in-Progress: Synchronous Intersection Management Protocol for Mixed Traffic Flows. RTSS 2019: 576-579 - [c92]Shashank Gaur
, Luís Almeida
, Eduardo Tovar
:
AdaptC: programming adaptation policies for WSN applications. SAC 2019: 229-235 - [i5]Bruno Vieira, Ricardo Severino, Anis Koubaa, Eduardo Tovar:
Towards a Realistic Simulation Framework for Vehicular Platooning Applications. CoRR abs/1904.02994 (2019) - [i4]Kai Li, Wei Ni, Eduardo Tovar:
On-board Deep Q-Network for UAV-assisted Online Power Transfer and Data Collection. CoRR abs/1906.07064 (2019) - [i3]Kai Li, Wei Ni, Yousef Emami, Yiran Shen, Ricardo Severino, David Pereira, Eduardo Tovar:
Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-Physical Systems. CoRR abs/1911.07617 (2019) - 2018
- [j35]Sana Ullah
, Eduardo Tovar
, Ki-Il Kim
, Kyong Hoon Kim, Muhammad Imran:
Performance Analysis of Priority-Based IEEE 802.15.6 Protocol in Saturated Traffic Conditions. IEEE Access 6: 66198-66209 (2018) - [j34]Harrison Kurunathan
, Ricardo Severino
, Anis Koubaa, Eduardo Tovar
:
IEEE 802.15.4e in a Nutshell: Survey and Performance Evaluation. IEEE Commun. Surv. Tutorials 20(3): 1989-2010 (2018) - [j33]Muhammad Ali Awan
, Pedro F. Souto
, Konstantinos Bletsas, Benny Akesson, Eduardo Tovar
:
Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact). Dagstuhl Artifacts Ser. 4(2): 05:1-05:3 (2018) - [j32]Ramiro Sámano-Robles
, Júlio C. Viana
, Nelson Ferreira, João Loureiro
, Joao Cintra, André Rocha, Eduardo Tovar
:
Active flow control using dense wireless sensor and actuator networks. Microprocess. Microsystems 61: 279-295 (2018) - [j31]Alexandre Esper, Geoffrey Nelissen
, Vincent Nélis, Eduardo Tovar
:
An industrial view on the common academic understanding of mixed-criticality systems. Real Time Syst. 54(3): 745-795 (2018) - [j30]Eduardo Tovar
, Sonia Martínez:
Introduction to the Selected Papers from ICCPS 2016. ACM Trans. Cyber Phys. Syst. 2(1) (2018) - [c91]Muhammad Ali Awan
, Pedro F. Souto
, Konstantinos Bletsas
, Benny Akesson, Eduardo Tovar
:
Mixed-criticality scheduling with memory bandwidth regulation. DATE 2018: 1277-1282 - [c90]Muhammad Ali Awan
, Pedro F. Souto
, Konstantinos Bletsas
, Benny Akesson, Eduardo Tovar
:
Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers. ECRTS 2018: 2:1-2:22 - [c89]Imen Châari, Anis Koubaa, Basit Qureshi
, Habib Youssef, Ricardo Severino
, Eduardo Tovar
:
On the robot path planning using cloud computing for large grid maps. ICARSC 2018: 225-230 - [c88]Kai Li
, Wei Ni, Eduardo Tovar
, Mohsen Guizani:
LCD: Low Latency Command Dissemination for a Platoon of Vehicles. ICC 2018: 1-6 - [c87]Kai Li
, Harrison Kurunathan, Ricardo Severino
, Eduardo Tovar
:
Cooperative key generation for data dissemination in cyber-physical systems. ICCPS 2018: 331-332 - [c86]Harrison Kurunathan, Ricardo Severino
, Anis Koubâa, Eduardo Tovar
:
An efficient approach to multisuperframe tuning for DSME networks: poster abstract. IPSN 2018: 162-163 - [c85]Muhammad Ali Awan
, Konstantinos Bletsas
, Pedro F. Souto
, Benny Akesson, Eduardo Tovar
:
Mixed-Criticality Scheduling with Dynamic Memory Bandwidth Regulation. RTCSA 2018: 111-117 - [c84]Syed Aftab Rashid, Geoffrey Nelissen
, Eduardo Tovar
:
Trading Between Intra- and Inter-Task Cache Interference to Improve Schedulability. RTNS 2018: 125-136 - [i2]Kai Li, Wei Ni, Eduardo Tovar, Mohsen Guizani:
LCD: Low Latency Command Dissemination for A Platoon of Vehicles. CoRR abs/1801.06153 (2018) - 2017
- [j29]Oussama Karoui
, Mohamed Khalgui
, Anis Koubâa
, Emna Guerfala, Zhiwu Li, Eduardo Tovar
:
Dual mode for vehicular platoon safety: Simulation and formal verification. Inf. Sci. 402: 216-232 (2017) - [j28]Chang-Gun Lee, Eduardo Tovar
, Chenyang Lu:
Guest editorial: special issue on embedded and real-time computing systems and applications. Real Time Syst. 53(6): 855-856 (2017) - [j27]Tomás Bures, Danny Weyns, Bradley R. Schmerl, Eduardo Tovar, Eric Boden, Thomas Gabor, Ilias Gerostathopoulos, Pragya Gupta, Eunsuk Kang, Alessia Knauss, Pankesh Patel, Awais Rashid
, Ivan Ruchkin
, Roykrong Sukkerd, Christos Tsigkanos:
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. ACM SIGSOFT Softw. Eng. Notes 42(2): 19-24 (2017) - [j26]Ramiro Sámano-Robles
, Egons Lavendelis, Eduardo Tovar
:
Performance Analysis of MRC Receivers with Adaptive Modulation and Coding in Rayleigh Fading Correlated Channels with Imperfect CSIT. Wirel. Commun. Mob. Comput. 2017 (2017) - [c83]Muhammad Ali Awan
, Konstantinos Bletsas
, Pedro F. Souto
, Eduardo Tovar
:
Semi-partitioned Mixed-Criticality Scheduling. ARCS 2017: 205-218 - [c82]Muhammad Ali Awan
, Konstantinos Bletsas
, Pedro F. Souto
, Benny Akesson, Eduardo Tovar
:
Mixed-Criticality Scheduling with Dynamic Redistribution of Shared Cache. ECRTS 2017: 18:1-18:21 - [c81]Anis Koubaa
, Basit Qureshi
, Mohamed-Foued Sriti, Yasir Javed
, Eduardo Tovar
:
A service-oriented Cloud-based management system for the Internet-of-Drones. ICARSC 2017: 329-335 - [c80]Xiaoming Wang, Kai Li
, Salil S. Kanhere
, Demin Li, Xiaolu Zhang, Eduardo Tovar
:
PELE: Power efficient legitimate eavesdropping via jamming in UAV communications. IWCMC 2017: 402-408 - [c79]João Loureiro, Raghuraman Rangarajan
, Borislav Nikolic, Leandro Soares Indrusiak
, Eduardo Tovar
:
Real-time dense wired sensor network based on traffic shaping. RTCSA 2017: 1-10 - [c78]Syed Aftab Rashid, Geoffrey Nelissen
, Sebastian Altmeyer, Robert I. Davis, Eduardo Tovar
:
Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads. RTSS 2017: 188-198 - [c77]Fernando Silvano Goncalves, David Pereira
, Eduardo Tovar
, Leandro Buss Becker
:
Formal Verification of AADL Models Using UPPAAL. SBESC 2017: 117-124 - [c76]Harrison Kurunathan
, Ricardo Severino
, Anis Koubaa
, Eduardo Tovar
:
Worst-case bound analysis for the time-critical MAC behaviors of IEEE 802.15.4e. WFCS 2017: 1-9 - [c75]João Loureiro, Pedro Santos
, Raghuraman Rangarajan
, Eduardo Tovar
:
Simulation Module and Tools for XDense Sensor Network. WNS3 2017: 110-117 - [e4]Sonia Martínez, Eduardo Tovar, Chris Gill, Bruno Sinopoli:
Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. ACM 2017, ISBN 978-1-4503-4965-9 [contents] - [i1]Muhammad Ali Awan, Konstantinos Bletsas, Pedro F. Souto, Benny Akesson, Eduardo Tovar:
Mixed-criticality Scheduling with Dynamic Redistribution of Shared Cache. CoRR abs/1704.08876 (2017) - 2016
- [j25]Rihab Chaari, Fatma Ellouze, Anis Koubâa
, Basit Qureshi
, Nuno Pereira
, Habib Youssef, Eduardo Tovar
:
Cyber-physical systems clouds: A survey. Comput. Networks 108: 260-278 (2016) - [j24]