Publications
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Thesis
Runtime Monitoring and Verification Framework for Autonomous Cyber-Physical Systems CISTER-TR-200206
Pedro José SantosMaster Thesis. 13, Feb, 2020. Porto.Presidente do Júri: Luis Almeida, FEUP Arguente: Artur Pereira, DETI /UA Orientador: Armando Sousa, FEUP
Pedro José SantosMaster Thesis. 13, Feb, 2020. Porto.Presidente do Júri: Luis Almeida, FEUP Arguente: Artur Pereira, DETI /UA Orientador: Armando Sousa, FEUP
PDFXDense: A Mesh Grid Sensor Network for Extreme Dense Sensing CISTER-TR-190802
João LoureiroPhD Thesis. 24, Jan, 2020. Porto.Presidente do Juri Doutor José Alfredo Ribeiro da Silva Matos, Professor Catedrático da FEUP
Vogais Doutor Leandro Soares Indrusiak, Professor do Department of Computer Science da The University of York, United Kingdom; Doutor Jean-Luc Scharbarg, Professor da IRIT-ENSEEIHT – l’École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications, Toulouse; Doutor Eduardo Manuel Medicis Tovar, Professor Coordenador do Instituto Superior de Engenharia do Porto (Orientador); Doutor João Manuel Paiva Cardoso, Professor Catedrático do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto, Doutor Paulo José Lopes Machado Portugal, Professor Associado do Departamento de Engenharia Eletrotécnica e de Computadores da Faculdade de Engenharia da Universidade do Porto.
João LoureiroPhD Thesis. 24, Jan, 2020. Porto.Presidente do Juri Doutor José Alfredo Ribeiro da Silva Matos, Professor Catedrático da FEUP
Vogais Doutor Leandro Soares Indrusiak, Professor do Department of Computer Science da The University of York, United Kingdom; Doutor Jean-Luc Scharbarg, Professor da IRIT-ENSEEIHT – l’École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications, Toulouse; Doutor Eduardo Manuel Medicis Tovar, Professor Coordenador do Instituto Superior de Engenharia do Porto (Orientador); Doutor João Manuel Paiva Cardoso, Professor Catedrático do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto, Doutor Paulo José Lopes Machado Portugal, Professor Associado do Departamento de Engenharia Eletrotécnica e de Computadores da Faculdade de Engenharia da Universidade do Porto.
Books & Book Chapters
Service-Oriented Computing in Robotic CISTER-TR-190201
Anis KoubâaChapter in "Encyclopedia of Robotics", Springer. 2020, pp 1-12.
Anis KoubâaChapter in "Encyclopedia of Robotics", Springer. 2020, pp 1-12.
Journal Papers
Onboard Double Q-learning for Airborne Data Capture in Wireless Powered IoT Networks CISTER-TR-200402
Kai Li, Wei Ni, Eduardo TovarIEEE Networking Letters, IEEE. 21, Apr, 2020, Volume 2, Issue 2, pp 71-75.
Kai Li, Wei Ni, Eduardo TovarIEEE Networking Letters, IEEE. 21, Apr, 2020, Volume 2, Issue 2, pp 71-75.
Enabling Ada and OpenMP Runtimes Interoperability through Template-based Execution CISTER-TR-191218
Sara Royuela, Luis Miguel Pinho, Eduardo QuiñonesJournal of Systems Architecture (JSA), Article No 101702, Elsevier. 14, Jan, 2020, Volume 105.
Sara Royuela, Luis Miguel Pinho, Eduardo QuiñonesJournal of Systems Architecture (JSA), Article No 101702, Elsevier. 14, Jan, 2020, Volume 105.
Optimal Rate-Adaptive Data Dissemination in Vehicular Platoons CISTER-TR-190909
Kai Li, Wei Ni, Eduardo Tovar, Mohsen GuizaniIEEE Transactions on Intelligent Transportation Systems, IEEE. 2020.Early Access Article
Kai Li, Wei Ni, Eduardo Tovar, Mohsen GuizaniIEEE Transactions on Intelligent Transportation Systems, IEEE. 2020.Early Access Article
On Feasibility of Multi-channel Reconfigurable Wireless Sensor Networks under Real-time and Energy Constraints CISTER-TR-190108
Yousra Ben Aissa, Abdelmalik Bachir, Mohamed Khalgui, Anis Koubâa, Zhiwu Li, Ting QuIEEE Transactions on Systems, Man, and Cybernetics: Systems, IEEE. 2020.Early Access Article
Yousra Ben Aissa, Abdelmalik Bachir, Mohamed Khalgui, Anis Koubâa, Zhiwu Li, Ting QuIEEE Transactions on Systems, Man, and Cybernetics: Systems, IEEE. 2020.Early Access Article
A Cloud Based Disaster Management System CISTER-TR-200207
Omar Cheikhrouhou, Anis Koubâa, Anis ZarradJournal of Sensor and Actuator Networks, Article No 6, MDPI. 2020, Volume 9, Issue 1, pp 1-23.
Omar Cheikhrouhou, Anis Koubâa, Anis ZarradJournal of Sensor and Actuator Networks, Article No 6, MDPI. 2020, Volume 9, Issue 1, pp 1-23.
Data-Efficient Domain Adaptation for Semantic Segmentation of Aerial Imagery Using Generative Adversarial Networks CISTER-TR-200208
Bilel Benjdira, Adel Ammar, Anis Koubâa, Kais OuniApplied Sciences, Article No 1092, MDPI. 2020, Volume 10, Issue 3, pp 1-24.
Bilel Benjdira, Adel Ammar, Anis Koubâa, Kais OuniApplied Sciences, Article No 1092, MDPI. 2020, Volume 10, Issue 3, pp 1-24.
A quadral-Fuzzy control approach to flight formation by a fleet of unmanned aerial vehicles CISTER-TR-200306
Marco António Simões Teixeira, Flávio Neves Juniór, Anis Koubâa, Lúcia Valéria Ramos de Arruda, André Schneider de OliveiraIEEE Access journal, IEEE. 2020, Volume 8, pp 64366-64381.
Marco António Simões Teixeira, Flávio Neves Juniór, Anis Koubâa, Lúcia Valéria Ramos de Arruda, André Schneider de OliveiraIEEE Access journal, IEEE. 2020, Volume 8, pp 64366-64381.
A Smart Energy-based Source Location Privacy Preservation (SESLPP) Model for IoT-based VANETs CISTER-TR-200307
Abizar Khalil, Haleem Farman, Bilal Jan, Zahid Khan, Anis KoubâaTransactions on Emerging Telecommunications Technologies, Wiley. 2020, pp 1-14.Special Issue Article
Abizar Khalil, Haleem Farman, Bilal Jan, Zahid Khan, Anis KoubâaTransactions on Emerging Telecommunications Technologies, Wiley. 2020, pp 1-14.Special Issue Article
Conference or Workshop Papers
ARx: Reactive Programming for Synchronous Connectors CISTER-TR-200701
José Proença, Guillermina CledouInternational Conference on Coordination Languages and Models (COORDINATION). 15 to 19, Jun, 2020, Coordination Languages, pp 39-56. Valletta, Malta.Part of the Lecture Notes in Computer Science book series (LNCS, volume 12134)
José Proença, Guillermina CledouInternational Conference on Coordination Languages and Models (COORDINATION). 15 to 19, Jun, 2020, Coordination Languages, pp 39-56. Valletta, Malta.Part of the Lecture Notes in Computer Science book series (LNCS, volume 12134)
Multi-Level Preemption in TSN: Feasibility and Requirements Analysis CISTER-TR-200310
Mubarak Ojewale, Patrick Meumeu Yomsi, Borislav Nikolic23rd IEEE International Symposium on Real-Time Distributed Computing (ISORC 2020). 19 to 21, May, 2020, Distributed computing and communication infrastructures, pp 47-55. Nashville, U.S.A..
Mubarak Ojewale, Patrick Meumeu Yomsi, Borislav Nikolic23rd IEEE International Symposium on Real-Time Distributed Computing (ISORC 2020). 19 to 21, May, 2020, Distributed computing and communication infrastructures, pp 47-55. Nashville, U.S.A..
Real-Time Communication Support for Over-water Wireless Multi-hop Networks CISTER-TR-200601
Miguel Gutiérrez Gaitán, Pedro Miguel Santos, Luís Almeida7th Barcelona Supercomputing Center Severo Ochoa Doctoral Symposium (BSC SO Doctoral Symposium 2020). 5, May, 2020, pp 52-53. Barcelona, Spain.
Miguel Gutiérrez Gaitán, Pedro Miguel Santos, Luís Almeida7th Barcelona Supercomputing Center Severo Ochoa Doctoral Symposium (BSC SO Doctoral Symposium 2020). 5, May, 2020, pp 52-53. Barcelona, Spain.
Tightening up security in low power deterministic networks CISTER-TR-200312
Walter Tiberti, Bruno Vieira, Harrison Kurunathan, Ricardo Severino, Eduardo Tovar16th IEEE International Conference on Factory Communication Systems (WFCS 2020). 27 to 29, Apr, 2020, pp 1-7. Porto, Portugal.
Walter Tiberti, Bruno Vieira, Harrison Kurunathan, Ricardo Severino, Eduardo Tovar16th IEEE International Conference on Factory Communication Systems (WFCS 2020). 27 to 29, Apr, 2020, pp 1-7. Porto, Portugal.
Work-in-Progress: Assessing supply/demand-bound based schedulability tests for wireless sensor-actuator networks CISTER-TR-200305
Miguel Gutiérrez Gaitán, Patrick Meumeu Yomsi, Pedro Miguel Santos, Luís AlmeidaWork in Progress Session, 16th IEEE International Conference on Factory Communication Systems (WFCS 2020). 27 to 29, Apr, 2020, pp 1-4. Porto, Portugal.
Miguel Gutiérrez Gaitán, Patrick Meumeu Yomsi, Pedro Miguel Santos, Luís AlmeidaWork in Progress Session, 16th IEEE International Conference on Factory Communication Systems (WFCS 2020). 27 to 29, Apr, 2020, pp 1-4. Porto, Portugal.
Towards a Cooperative Robotic Platooning Testbed CISTER-TR-200311
Ênio Filho, Nuno Guedes, Miguel Mestre, Bruno Vieira, Ricardo Severino, Anis Koubâa, Eduardo Tovar20th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC 2020). 15 to 16, Apr, 2020, pp 332-337. Ponta Delgada, Azores, Portugal.Highly Commended Paper Award
Ênio Filho, Nuno Guedes, Miguel Mestre, Bruno Vieira, Ricardo Severino, Anis Koubâa, Eduardo Tovar20th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC 2020). 15 to 16, Apr, 2020, pp 332-337. Ponta Delgada, Azores, Portugal.Highly Commended Paper Award
Building a Text Messaging-Based System to Support Low-Cost Automation in Household Agriculture CISTER-TR-200304
Fernando Lizana, Ricardo Tello, Miguel Gutiérrez Gaitán, David Ruete, Carlos Gomez Pantoja28º Congreso de Electricidad y Electrónica (INGELECTRA'2019). 1 to 3, Apr, 2020, pp 1-5. Santiago, Chile.INGELECTRA 2019 postponed from November 2019 to April 2020.
Fernando Lizana, Ricardo Tello, Miguel Gutiérrez Gaitán, David Ruete, Carlos Gomez Pantoja28º Congreso de Electricidad y Electrónica (INGELECTRA'2019). 1 to 3, Apr, 2020, pp 1-5. Santiago, Chile.INGELECTRA 2019 postponed from November 2019 to April 2020.
Cache Persistence-Aware Memory Bus Contention Analysis for Multicore Systems CISTER-TR-191102
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarDesign, Automation and Test in Europe Conference (DATE 2020). 9 to 13, Mar, 2020, pp 442-447. Grenoble, France.
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarDesign, Automation and Test in Europe Conference (DATE 2020). 9 to 13, Mar, 2020, pp 442-447. Grenoble, France.
Activity Monitoring of Islamic Prayer (Salat) Postures using Deep Learning CISTER-TR-200108
Anis Koubâa, Adel Ammar, Bilel Benjdira, Abdullatif Al Hadid, Belal Kawaf, Saleh Ali Al Yahri, Abdelrahman Babiker, Koutaiba Assaf, Mohannad Ba Ras6th International Conference on Data Science and Machine Learning Applications (CDMA 2020). 4 to 5, Mar, 2020. Riyadh, Saudi Arabia.
Anis Koubâa, Adel Ammar, Bilel Benjdira, Abdullatif Al Hadid, Belal Kawaf, Saleh Ali Al Yahri, Abdelrahman Babiker, Koutaiba Assaf, Mohannad Ba Ras6th International Conference on Data Science and Machine Learning Applications (CDMA 2020). 4 to 5, Mar, 2020. Riyadh, Saudi Arabia.
Synchronous Intersection Management Protocol for Mixed Traffic Flows CISTER-TR-191005
Radha Reddy, Luís Almeida, Eduardo TovarWork in Progress Session, 40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, pp 576-579. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Radha Reddy, Luís Almeida, Eduardo TovarWork in Progress Session, 40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, pp 576-579. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Thermal-Aware Schedulability Analysis for Fixed-Priority Non-Preemptive Real-Time Systems CISTER-TR-190903
Javier Pérez Rodríguez, Patrick Meumeu Yomsi40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, Real-Time System, pp 154-166. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Javier Pérez Rodríguez, Patrick Meumeu Yomsi40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, Real-Time System, pp 154-166. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C CISTER-TR-190905
Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, pp 167-180. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, pp 167-180. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Non-Preemptive Scheduling of Periodic Mixed-Criticality Real-Time Systems CISTER-TR-200303
Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, Zhishan Guo10th European Congress on Embedded Real-Time Systems (ERTS 2020). 29 to 31, Jan, 2020. Toulouse, France.
Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, Zhishan Guo10th European Congress on Embedded Real-Time Systems (ERTS 2020). 29 to 31, Jan, 2020. Toulouse, France.
Conference or Workshop Posters/Demos
Multi-Drone Assisted Internet of Things Testbed Based on Bluetooth 5 Communications CISTER-TR-200205
Kai Li, Ning Lu, Pei Zhang, Wei Ni, Eduardo TovarPoster presented in 19th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2020). 21 to 24, Apr, 2020. Sydney, Australia.
Kai Li, Ning Lu, Pei Zhang, Wei Ni, Eduardo TovarPoster presented in 19th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2020). 21 to 24, Apr, 2020. Sydney, Australia.
Wi-Fi-based network systems design over freshwater: Experimental evaluation using COTS devices CISTER-TR-200204
Miguel Gutiérrez Gaitán, Pedro Miguel Santos, Luis Pinto, Luís AlmeidaPoster presented in 15th Doctoral Symposium in Informatics Engineering (DSIE 2020). 11 to 12, Feb, 2020, Poster Session. Porto, Portugal.
Miguel Gutiérrez Gaitán, Pedro Miguel Santos, Luis Pinto, Luís AlmeidaPoster presented in 15th Doctoral Symposium in Informatics Engineering (DSIE 2020). 11 to 12, Feb, 2020, Poster Session. Porto, Portugal.
Short link for this page: www.cister.isep.ipp.pt/docs/Y2020/