Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. - Nabil Belala; Djamel-Eddine Saïdouni; Radja Boukharrou; Ahmed-Chawki Chaouche; A. Seraoui; A. Chachoua (Int. J. Embed. Real Time Commun. Syst., 2013)

Contextual-Timed Planning Management for Ambient Systems. - Radja Boukharrou; Ahmed-Chawki Chaouche; Jean-Michel Ilié; Djamel-Eddine Saïdouni (ICTAI, 2014)

Spatio-Temporal Planning for Mobile Ambient Agents. - Radja Boukharrou; Jean-Michel Ilié; Djamel-Eddine Saïdouni (FNC/MobiSPC, 2015)

Dealing with temporal failure in ambient systems: a dynamic revision of plans. - Radja Boukharrou; Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (J. Ambient Intell. Humaniz. Comput., 2015)

Contextual time reasoning for mobile ambient agents. - Radja Boukharrou; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Int. J. Wirel. Mob. Comput., 2016)

Time and Space Reasoning for Ambient Systems. - Radja Boukharrou; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Int. J. Ambient Comput. Intell., 2017)

Toward a Privacy Guard for Cloud-Based Home Assistants and IoT Devices. - Radja Boukharrou; Ahmed-Chawki Chaouche; Khaoula Mahdjar (MSPN, 2020)

Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. - Nadia Chabbat; Djamel-Eddine Saïdouni; Radja Boukharrou; Salim Ghanemi (Comput. Informatics, 2020)

A Decentralized Negotiation-based Protocol for Cooperative Smart Environments. - Mohammed-Lamine Daikha; Radja Boukharrou; Ahmed-Chawki Chaouche (PAIS, 2023)