Skip navigation
  • DSpace logo
  • Home
  • Collections
  • Research Outputs
  • Researchers
  • Faculties
  • Projects
  • Explore by
    • Research Outputs
    • Researchers
    • Faculties
    • Projects
  • Sign on to:
    • My DSpace
    • Receive email
      updates
    • Edit Account details

Saidouni, Djamel Eddine

Network Lab View Statistics Email Alert RSS Feed
 Claim profile

  • Profile
  • Indicators
  • Other

Profile

avatar_scholar_256.png picture
Full Name
Saidouni, Djamel Eddine
Translated Name
سعيدوني، جمال الدين
 
Main Affiliation
Faculty of Information and Communication Technology (ICT)
 
Email
djamel-eddine.saidouni@univ-constantine2.dz
 
Scopus Author ID
24528999200
Researcher ID
AAJ-5824-2020
 
Loading... 2 0 20 0 false
Biography
He obtained his BEng degree from the University of Constantine 1990. After that, he joined the LAAS/CNRS Laboratory, where he prepared his DEA . He obtained his PhD from the University of PaulSabatier, Toulouse (1996). He is currently a Full Professor and a permanent researcher at MISC Laboratory -Computer Science Dept. at University Abdelhamid Mehri Constantine 2, Algeria. His main research interest is in the formal specification and verification of complex distributed and real time systems.
Loading... 3 0 20 0 false
Country
Algeria

Publications
  • Articles
  • Conference Papers
  • Others

Author

  • 8 Saidouni, Djamel Eddine
  • 4 Boukharrou, Radja
  • 4 Ilie, Jean-Michel
  • 3 Chaouche, Ahmed-Chawki
  • 2 El Fallah Seghrouchni, Amal
  • 1 Baitiche, Hichem
  • 1 Belala, Nabil
  • 1 Bouzenada, Mourad
  • 1 Chabbat, Nadia
  • 1 Chachoua, Asma
  • . next >

Subject

  • 3 BDI agents
  • 2 DTPN
  • 2 Formal verification
  • 1 Action Duration
  • 1 Actions Duration
  • 1 Ambient intelligence
  • 1 Ambient Systems
  • 1 AmI Systems
  • 1 BDI Model
  • 1 Binary Decision Diagram
  • . next >

Date issued

  • 2 2020 - 2022
  • 6 2010 - 2019

Type

  • 8 Journal Article

Fulltext

  • 8 With Fulltext

Results 1-8 of 8 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)
12015Dealing with temporal failure in ambient systems: a dynamic revision of plansBoukharrou, Radja ; Chaouche, Ahmed-Chawki ; El Fallah Seghrouchni, Amal ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine 
225-Mar-2021Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time ModelChabbat, Nadia ; Saidouni, Djamel Eddine ; Boukharrou, Radja ; Ghanemi, Salim 
32014A higher-order agent model with contextual planning management for ambient systemsChaouche, Ahmed-Chawki ; El Fallah Seghrouchni, Amal ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine 
42021Internet of Things Meet Internet of Threats: New Concern Cyber Security Issues of Critical Cyber InfrastructureDJENNA, Amir ; Harous, Saad ; Saidouni, Djamel Eddine 
5Dec-2015Spatio-temporal planning for mobile ambient agentsBoukharrou, Radja ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine 
6Jan-2016State Space Generation Framework Based on Binary Decision Diagram for Distributed Explicit Model CheckingTabib, Nacer ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine 
7Apr-2013Time petri nets with action duration: A true concurrency real-time modelBelala, Nabil ; Saidouni, Djamel Eddine ; Boukharrou, Radja ; Chaouche, Ahmed-Chawki ; Seraoui, Adel ; Chachoua, Asma 
82017Towards A Generic Predictive-Based Plan Selection Approach for BDI AgentsBaitiche, 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

Go

Contact via feedback form

If you want contact administrator site clicking the follow button 

Explore by
  • Collections
  • Research Outputs
  • Researchers
  • Faculties
  • Projects
Feedback
Built with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE