المنشورات
نتائج البحث :
الفريق = CFSC
2015
|
Radja Boukharrou; Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
Dealing with Temporal Failure in ambient systems: A Dynamic Revision of Plans. J. of Ambient Intelligence and Humanized Computing (JAIHC) 6(3): 325-336 (2015) |
|
|
Messaouda Bouneb; Djamel Eddine Saidouni; Jean Michel Ilié
A reduced maximality labeled transition system generation for recursive Petri nets. J. on Formal Aspects of Computing 27(5-6): 951-973 (2015) |
|
|
Messaouda Bouneb; Djamel Eddine Saidouni
Hierarchical Design Method for Multi-Agent Systems. Int. J. of Agent Technologies and Systems (IJATS) 7(2): 105-134 (2015) |
|
|
Sofia Kouah; Djamel Eddine Saidouni
Application of Fuzzy Labeled Transition System to Contract Net Protocol. Int. J. of Service Science, Management, Engineering, and Technology (IJSSMET) 6(3): 27-46 (2015) |
|
|
Kenza Bouaroudj; Djamel Eddine Saidouni; Ilham Kitouni
Formal testing theory of stochastic systems under maximality semantics. Int. J. of Computer Aided Engineering and Technology (IJCAET) 7(3): 348-377 (2015) |
|
|
Mokdad Arous; Djamel Eddine Saïdouni; Jean-Michel Ilié
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems. Int. J. of Systems and Service-Oriented Engineering (IJSSOE) 5(1): 1-15 (2015) |
|
|
Farouk Meddah; Lynda Dib
E-Bug: New Bug Path-planning Algorithm for Autonomous Robot in Unknown Environment. Int. Conf. on Intelligent Information Processing, Security and Advanced Communication (IPAC'15): 69:1-69:8 (2015) |
|
|
Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
Spatio-Temporal Guidance for Ambient Agents. 20th Int. Conf. on Control Systems and Computer Science (CSCS'15): 719-726 (2015) |
|
|
Radja Boukharrou; Jean-Michel Ilié; Djamel Eddine Saïdouni
Spatio-Temporal Planning for Mobile Ambient Agents. 12th Int. Conf. on Mobile Systems and Pervasive Computing (MobiSPC'15): 96 - 103 (2015) |
|
|
Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments. 11th Int. Conf. on Artificial Intelligence Applications and Innovations (AIAI'15): 266-281 (2015) |
|
|
Maarouk Toufik Messaoud; Djamel Eddine Saidouni; Mahdaoui Rafik; Houassi Hichem
Interpretation of DD-LOTOS Specification by C-DATA*. 19th East European Conf. on Advances in Databases and Information Systems (ADBIS'15): 414-423 (2015) |
|
|
Said Layadi; Jean-Michel Ilié; Ilham Kitouni; Djamel Eddine Saidouni
Relative Timed Model for Coordinated Multi Agent Systems. 5th IFIP Int. Conf. on Computer Science and its Applications (CIIA'15): 15-27 (2015) |
|
|
Meriem Bensouyad; Djamel Eddine Saidouni
A discrete flower pollination algorithm for graph coloring problem. 2nd IEEE Int. Conf. on Cybernetics (CYBCONF'15): 151-155 (2015) |
|
|
Said Layadi; Jean-Michel Ilié; Djamel Eddine Saidouni
Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates. 29th European Conf. on Modelling and Simulation (ECMS'15): 549-555 (2015) |
|
|
Nousseiba Guidoum; Meriem Bensouyad; Djamel Eddine Saidouni
A new and fast variant of the strict strong coloring based graph distribution algorithm. 16th IEEE/ACIS Int. Conf. on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'15): 627-631 (2015) |
|
|
Ahmed-Chawki Chaouche
Vers une informatique ambiante : application aux Smart-campus. 1ère édition du salon de l’informatique (2015) |
2014
|
Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
A Higher-order Agent Model with Contextual Management for Ambient Systems. Transactions on Computational Collective Intelligence XVI (TCCI) 8780: 146-169 (2014) |
|
|
Meriem Bensouyad; Nousseiba Guidoum; Djamel Eddine Saidouni
An Efficient Evolutionary Algorithm for Strict Strong Graph Coloring Problem. Int. J. of Applied Evolutionary Computation (IJAEC) 5(2): 22-36 (2014) |
|
|
Sofia Kouah; Djamel Eddine Saidouni
Fuzzy Labeled Transition Refinement Tree: Application to Stepwise Designing Multi Agent Systems. Int. J. of Agent Technologies and Systems (IJATS) 6(3): 1-31 (2014) |
|
|
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
Formalizing Timed BPEL by D-LOTOS. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 5(2): 1-21 (2014) |