Radja Boukharrou

Orcid: 0000-0002-2003-3024

According to our database1, Radja Boukharrou authored at least 9 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Decentralized Negotiation-based Protocol for Cooperative Smart Environments.
Proceedings of the 5th International Conference on Pattern Analysis and Intelligent Systems, 2023

2020
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model.
Comput. Informatics, 2020

Toward a Privacy Guard for Cloud-Based Home Assistants and IoT Devices.
Proceedings of the Mobile, Secure, and Programmable Networking, 2020

2017
Time and Space Reasoning for Ambient Systems.
Int. J. Ambient Comput. Intell., 2017

2016
Contextual time reasoning for mobile ambient agents.
Int. J. Wirel. Mob. Comput., 2016

2015
Dealing with temporal failure in ambient systems: a dynamic revision of plans.
J. Ambient Intell. Humaniz. Comput., 2015

Spatio-Temporal Planning for Mobile Ambient Agents.
Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

2014
Contextual-Timed Planning Management for Ambient Systems.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2013
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model.
Int. J. Embed. Real Time Commun. Syst., 2013


  Loading...