D. Saidouni

发表

Maximality semantics based stochastic process algebra for performance evaluation

J. Ilié, Mokdad Arous, D. Saidouni, 2011, 2011 International Conference on Communications, Computing and Control Applications (CCCA).

A Hybrid Quantum Genetic Algorithm and Local Search based DPLL for Max 3-SAT Problems

D. Saidouni, Abdesslem Layeb, 2014 .

Distributed Maximality based CTL Model Checking

D. Saidouni, Abidine Bouneb, 2010 .

Durational Actions Timed Automata: Determinization and Expressiveness

Ilham Kitouni, Hiba Hachichi, Djamel-Eddine Saidouni, 2012 .

A Generalized Graph Strict Strong Coloring Algorithm: Application on Graph Distribution

D. Saidouni, Meriem Bensouyad, Nousseiba Guidoum, 2014 .

Extending Refusal Testing by Stochastic Refusals for or Testing Non-Systems deterministic Systems deterministic Systems deterministic Systems

Kenza Bouaroudj, D. Saidouni, Ilham Kitouni, 2012 .

Stochastic Refusal Graph for Testing Non-Deterministic Systems

Kenza Bouaroudj, D. Saidouni, Ilham Kitouni, 2012 .

The 2006 International Arab Conference on Information Technology ( ACIT ' 2006 ) CONSIDERATION OF THE COVERING STEPS IN THE MAXIMALITY-BASED LABELED TRANSITIONS SYSTEMS

D. Saidouni, Adel Benamira, 2015 .

T Maximality-based Step Graph for Safety-Petri Nets

D. Saidouni, Adel Benamira, 2012 .

Internet of Things Meet Internet of Threats: New Concern Cyber Security Issues of Critical Cyber Infrastructure

Saad Harous, Amir Djenna, Djamel Eddine Saidouni, 2021, Applied Sciences.

A New and Fast Evolutionary Algorithm for Strict Strong Graph Coloring Problem

Nousseiba Guidoum, Meriem Bensouyad, Djamel-Eddine Saidouni, 2015 .

CIoTAS protocol: CloudIoT available services protocol through autonomic computing against distributed denial of services attacks

Bouchera Maati, Djamel-Eddine Saidouni, D. Saidouni, 2020 .

Enhancing the parallel state space generation for real-time systems

Imene Bensetira, Djamel-Eddine Saidouni, D. Saidouni, 2015, 2015 Third World Conference on Complex Systems (WCCS).

Verification of Durational Action Timed Automata using UPPAAL

Djamel-Eddine Saidouni, Ilham Kitouni, Souad Guellati, 2012 .

Modelling and Implementation of Complex Systems

Abdelmalek Amine, Salim Chikhi, Allaoua Chaoui, 2023, Lecture Notes in Networks and Systems.

Quantum Genetic Algorithm for Binary Decision Diagram Ordering Problem

Abdesslem Layeb, Djamel-Eddine Saidouni, D. Saidouni, 2007 .

Actions Duration in Timed Models

Nabil Belala, Djamel-Eddine Saidouni, D. Saidouni, 2006 .