المنشورات
نتائج البحث :
الفريق = CFSC
2014
|
Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni
True Concurrency Semantics: Towards a Verification of Timed Systems. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 5(2): 22-42 (2014) |
|
|
Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
From Intentions to Plans: A Contextual Planning Guidance. 8th Int. Symp. on Intelligent Distributed Computing (IDC'14): 403-413 (2014) |
|
|
Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
A Dynamical Plan Revising for Ambient Systems. 5th Int. Conf. on Ambient Systems, Networks and Technologies (ANT'14): 37-44 (2014) |
|
|
Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment. 14th Ibero-American Conf. on Artificial Intelligence (IBERAMIA'14): 791-803 (2014) |
|
|
Radja Boukharrou; Ahmed-Chawki Chaouche; Jean-Michel Ilié; Djamel Eddine Saïdouni
Contextual-Timed Planning Management for Ambient Systems. 26th IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI'14): 107-114 (2014) |
|
|
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
Formal Modeling and Analysis of Business Process Timed Constraints. 2nd Workshop on Formal Methods Integration (FMI'14): 149-172 (2014) |
|
|
Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni
Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. 6th Int. Conf. on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC'14): 269-276 (2014) |
|
|
Riadh Matmat; Ilham Kitouni; Souad Guellati; Djamel Eddine Saidouni
Maximality-based Region Graph: A Novel Alternative. 1st Int. Conf. on Advanced Aspects of Software Engineering (ICAASE'14): 125-132 (2014) |
|
|
Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni
Timed Automata with Action Durations: From Theory to Implementation. 20th Int. Conf. Information and Software Technologies (ICIST'14): 94-109 (2014) |
|
|
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
FMEBP: A Formal Modeling Environment of Business Process. 20th Int. Conf. Information and Software Technologies (ICIST'14): 211-223 (2014) |
|
|
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
Formalization and analysis of timed BPEL. 15th IEEE Int. Conf. on Information Reuse and Integration (IRI'14): 483-491 (2014) |
|
|
Ahmed-Chawki Chaouche; Amal El Fallah-Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni
Dealing with Dynamicity in Ambient Systems: A Formal Planning Approach. 10th NII-LIP6 WorkShops on Multi-agent and Distributed Systems (2014) |
2013
|
Nabil Belala; Djamel Eddine Saïdouni; Radja Boukharrou; Ahmed-Chawki Chaouche; Adel Seraoui; Asma Chachoua
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 4(2): 62-83 (2013) |
|
|
Nousseiba Guidoum; Meriem Bensouyad; Djamel Eddine Saidouni
The Strict Strong Coloring Based Graph Distribution Algorithm. Int. J. of Applied Metaheuristic Computing (IJAMC) 4(1): 50-66 (2013) |
|
|
Sofia Kouah; Djamel Eddine Saidouni; Jean Michel Ilié
Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems. J. of Software (JSW) 8(3): 587-602 (2013) |
|
|
Adel Benamira; Djamel Eddine Saidouni
Maximality-Based Labeled Transition Systems Normal Form. Modeling Approaches and Algorithms for Advanced Computer Applications: 337-346 (2013) |
|
|
Mokdad Arous; Djamel Eddine Saidouni
Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Modeling Approaches and Algorithms for Advanced Computer Applications: 367-377 (2013) |
|
|
Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni
A Higher-order Agent Model for Ambient Systems. 4th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'13): 156-163 (2013) |
|
|
Djamel Eddine Saidouni; Messaouda Bouneb; Jean Michel Ilié
Maximality Semantic For Recursive Petri Nets. 27th European Conf. on Modelling and Simulation (ECMS'13): 544-550 (2013) |
|
|
Kenza Bouaroudj; Djamel Eddine Saidouni; Ilham Kitouni
Testing Stochastic Systems Using MoVoS Tool: Case Studies. 19th Int. Conf. on Information and Software Technologies (ICIST'13): 310-321 (2013) |