Time petri nets with action duration: a true concurrency real-time model N Belala, DE Saїdouni, R Boukharrou, AC Chaouche, A Seraoui, ... International Journal of Embedded and Real-Time Communication Systems …, 2013 | 17 | 2013 |
Dealing with temporal failure in ambient systems: a dynamic revision of plans R Boukharrou, AC Chaouche, A El Fallah Seghrouchni, JM Ilié, ... Journal of Ambient Intelligence and Humanized Computing 6, 325-336, 2015 | 16 | 2015 |
Toward a privacy guard for cloud-based home assistants and iot devices R Boukharrou, AC Chaouche, K Mahdjar Mobile, Secure, and Programmable Networking: 6th International Conference …, 2021 | 5 | 2021 |
Time and space reasoning for ambient systems RR Boukharrou, JM Ilié, DE Saidouni International Journal of Ambient Computing and Intelligence (IJACI) 8 (3), 38-57, 2017 | 5 | 2017 |
Contextual-timed planning management for ambient systems R Boukharrou, AC Chaouche, JM Ilié, DE Saïdouni 2014 IEEE 26th International Conference on Tools with Artificial …, 2014 | 5 | 2014 |
Spatio-temporal planning for mobile ambient agents R Boukharrou, JM Ilié, DE Saïdouni Procedia Computer Science 56, 96-103, 2015 | 4 | 2015 |
Contextual time reasoning for mobile ambient agents R Boukharrou, JM Ilié, DE Saidouni International Journal of Wireless and Mobile Computing 10 (3), 250-260, 2016 | 2 | 2016 |
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model N Chabbat, DE Saidouni, R Boukharrou, S Ghanemi Computing and Informatics 39 (5), 1022–1060-1022–1060, 2020 | 1 | 2020 |
A Decentralized Negotiation-based Protocol for Cooperative Smart Environments ML Daikha, R Boukharrou, AC Chaouche 2023 5th International Conference on Pattern Analysis and Intelligent …, 2023 | | 2023 |
A Privacy Guard Mechanism for Cloud-Based Home Assistants K Mahdjar, R Boukharrou, AC Chaouche International Conference on Managing Business Through Web Analytics, 295-306, 2022 | | 2022 |