Saidouni, Djamel Eddine



Date issued
Type
Fulltext
Results 1-8 of 8 (Search time: 0.003 seconds).
Issue Date | Title | Author(s) | |
---|---|---|---|
1 | 2015 | Dealing with temporal failure in ambient systems: a dynamic revision of plans | Boukharrou, Radja ; Chaouche, Ahmed-Chawki ; El Fallah Seghrouchni, Amal ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine |
2 | 25-Mar-2021 | Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model | Chabbat, Nadia ; Saidouni, Djamel Eddine ; Boukharrou, Radja ; Ghanemi, Salim |
3 | 2014 | A higher-order agent model with contextual planning management for ambient systems | Chaouche, Ahmed-Chawki ; El Fallah Seghrouchni, Amal ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine |
4 | 2021 | Internet of Things Meet Internet of Threats: New Concern Cyber Security Issues of Critical Cyber Infrastructure | DJENNA, Amir ; Harous, Saad ; Saidouni, Djamel Eddine |
5 | Dec-2015 | Spatio-temporal planning for mobile ambient agents | Boukharrou, Radja ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine |
6 | Jan-2016 | State Space Generation Framework Based on Binary Decision Diagram for Distributed Explicit Model Checking | Tabib, Nacer ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine |
7 | Apr-2013 | Time petri nets with action duration: A true concurrency real-time model | Belala, Nabil ; Saidouni, Djamel Eddine ; Boukharrou, Radja ; Chaouche, Ahmed-Chawki ; Seraoui, Adel ; Chachoua, Asma |
8 | 2017 | Towards A Generic Predictive-Based Plan Selection Approach for BDI Agents | Baitiche, Hichem ; Bouzenada, Mourad ; Saidouni, Djamel Eddine |
Claim Researcher Page
Check the encrypted string of this email, put the correct string in the box below and click "Go" to validate the email and claim this profile.
Emails: d j a m * * * * * * * * * * * * * * * * * * @ * * * * * * * * * * * * * * * * 2 . d z
