Djamel-Eddine Saïdouni

J. Ambient Intell. Humaniz. Comput., 2016

Contextual time reasoning for mobile ambient agents.

[BibT_eX]

[DOI]

Int. J. Wirel. Mob. Comput., 2016

Solving preemptive job-shop scheduling problems using a true concurrency model.

[BibT_eX]

[DOI]

Farid Arfi

Int. J. Simul. Process. Model., 2016

Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems.

[BibT_eX]

[DOI]

Int. J. Intell. Inf. Technol., 2016

Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution.

[BibT_eX]

[DOI]

Int. J. Distributed Syst. Technol., 2016

Relative time rates in dynamic timed automata.

[BibT_eX]

[DOI]

Said Layadi

Int. J. Commun. Networks Distributed Syst., 2016

Newton's Law of Universal Gravitation Based Genetic Algorithm for Graph Distribution.

[BibT_eX]

[DOI]

Nacer Tabib

Int. J. Comput. Intell. Appl., 2016

A Guidance of Ambient Agents Adapted to Opportunistic Situations.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing X - Proceedings of the 10th International Symposium on Intelligent Distributed Computing, 2016

Towards a Comprehensive Formal Model for Business Processes.

[BibT_eX]

[DOI]

Khalil Mecheraoui

Proceedings of the Information and Software Technologies - 22nd International Conference, 2016

2015

Formal Modeling and Analysis of Business Process Timed Constraints.

[BibT_eX]

[DOI]

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

Dealing with temporal failure in ambient systems: a dynamic revision of plans.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2015

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems.

[BibT_eX]

[DOI]

Mokdad Arous

Int. J. Syst. Serv. Oriented Eng., 2015

Application of Fuzzy Labeled Transition System to Contract Net Protocol.

[BibT_eX]

[DOI]

Int. J. Serv. Sci. Manag. Eng. Technol., 2015

Formal testing theory of stochastic systems under maximality semantics.

[BibT_eX]

[DOI]

Int. J. Comput. Aided Eng. Technol., 2015

Hierarchical Design Method for Multi-Agent Systems.

[BibT_eX]

[DOI]

Int. J. Agent Technol. Syst., 2015

A reduced maximality labeled transition system generation for recursive Petri nets.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

A new and fast variant of the strict strong coloring based graph distribution algorithm.

[BibT_eX]

[DOI]

Nousseiba Guidoum

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2015

Spatio-Temporal Planning for Mobile Ambient Agents.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates.

[BibT_eX]

[DOI]

Said Layadi

Proceedings of the 29th European Conference on Modelling and Simulation, 2015

A discrete flower pollination algorithm for graph coloring problem.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Cybernetics, 2015

Spatio-Temporal Guidance for Ambient Agents.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Control Systems and Computer Science, 2015

Relative Timed Model for Coordinated Multi Agent Systems.

[BibT_eX]

[DOI]

Said Layadi

Proceedings of the Computer Science and Its Applications, 2015

Interpretation of DD-LOTOS Specification by C-DATA.

[BibT_eX]

[DOI]

Maarouk Toufik Messaoud

Mahdaoui Rafik

Houassi Hichem

Proceedings of the New Trends in Databases and Information Systems, 2015

2014

A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2014

True Concurrency Semantics: Towards a Verification of Timed Systems.

[BibT_eX]

[DOI]

Int. J. Embed. Real Time Commun. Syst., 2014

Formalizing Timed BPEL by D-LOTOS.

[BibT_eX]

[DOI]

Int. J. Embed. Real Time Commun. Syst., 2014

Fuzzy Labeled Transition Refinement Tree: Application to Stepwise Designing Multi Agent Systems.

[BibT_eX]

[DOI]

Int. J. Agent Technol. Syst., 2014

An Efficient Evolutionary Algorithm for Strict Strong Graph Coloring Problem.

[BibT_eX]

[DOI]

Nousseiba Guidoum

Int. J. Appl. Evol. Comput., 2014

Formalization and analysis of timed BPEL.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

From Intentions to Plans: A Contextual Planning Guidance.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VIII, 2014

Contextual-Timed Planning Management for Ambient Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Timed Automata with Action Durations - From Theory to Implementation.

[BibT_eX]

[DOI]

Proceedings of the Information and Software Technologies - 20th International Conference, 2014

FMEBP: A Formal Modeling Environment of Business Process.

[BibT_eX]

[DOI]

Proceedings of the Information and Software Technologies - 20th International Conference, 2014

Maximality-based Region Graph: A Novel Alternative.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2014, 2014

Forward Analysis of Timed Automata with Action Durations: Theory and Implementation.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2014

A Dynamical Plan Revising for Ambient Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Ambient Systems, 2014

2013

Maximality-Based Labeled Transition Systems Normal Form.

[BibT_eX]

[DOI]

Adel Benamira

Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013

Towards an Integrated Specification and Analysis of Functional and Temporal Properties: - Part I: Functional Aspect Verification.

[BibT_eX]

[DOI]

Mokdad Arous

Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013

Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems.

[BibT_eX]

[DOI]

J. Softw., 2013

Time Petri Nets with Action Duration: A True Concurrency Real-Time Model.

[BibT_eX]

[DOI]

A. Seraoui

A. Chachoua

Int. J. Embed. Real Time Commun. Syst., 2013

The Strict Strong Coloring Based Graph Distribution Algorithm.

[BibT_eX]

[DOI]

Nousseiba Guidoum

Int. J. Appl. Metaheuristic Comput., 2013

Pruning Search Spaces of RATA Model for the Job-Shop Scheduling.

[BibT_eX]

[DOI]

Farid Arfi

Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Networks, 2013

Testing Stochastic Systems Using MoVoS Tool: Case Studies.

[BibT_eX]

[DOI]

Proceedings of the Information and Software Technologies - 19th International Conference, 2013

A Higher-order Agent Model for Ambient Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2013

Maximality Semantic For Recursive Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

2012

Towards a Calculus for Distributed, Real-Time and Mobile Systems.

[BibT_eX]

[DOI]

Toufik Messaoud Maarouk

Mohamed Khergag

J. Softw., 2012

A Generalized Graph Strict Strong Coloring Algorithm.

[BibT_eX]

[DOI]

Int. J. Appl. Metaheuristic Comput., 2012

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

[BibT_eX]

[DOI]

Hiba Hachichi

CoRR, 2012

A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars

[BibT_eX]

[DOI]

Hiba Hachichi

CoRR, 2012

A Graph Transformation Approach for Testing Timed Systems.

[BibT_eX]

[DOI]

Hiba Hachichi

Proceedings of the Information and Software Technologies - 18th International Conference, 2012

2011

A Distributed Algorithm for MLTS Generation with Aggregation of Transitions.

[BibT_eX]

[DOI]

Nacer Tabib

Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), 2011

Graphe de Pas Maximaux : une Solution pour la Réduction des Systèmes de Transitions Eétiquetées Maximales.

[BibT_eX]

[DOI]

Adel Benamira

Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), 2011

2010

A New Quantum Evolutionary Algorithm with Sifting Strategy for Binary Decision Diagram Ordering Problem.

[BibT_eX]

[DOI]

Abdesslem Layeb

Int. J. Cogn. Informatics Nat. Intell., 2010

2009

Using maximality-based labelled transition system as a model for petri nets.

[BibT_eX]

[DOI]

Int. Arab J. Inf. Technol., 2009

2008

A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem.

[BibT_eX]

[DOI]

Abdesslem Layeb

Proceedings of the Hybrid Artificial Intelligence Systems, Third International Workshop, 2008

Quantum Differential Evolution Algorithm for Variable Ordering Problem of Binary Decision Diagram.

[BibT_eX]

[DOI]

Abdesslem Layeb

Proceedings of the Advances in Computer Science and Engineering, 2008

2005

Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification.

[BibT_eX]

[DOI]

Int. Arab J. Inf. Technol., 2005

1994

Relating maximality-based semantics to action refinement in process algebras.

[BibT_eX]

Jean-Pierre Courtiat

Proceedings of the Formal Description Techniques VII, 1994

1993

Syntactic Action Refinement in Presence of Multiway Synchronization.

[BibT_eX]

[DOI]

Jean-Pierre Courtiat

Proceedings of the Semantics of Specification Languages (SoSL), 1993

Action Refinement in LOTOS.

[BibT_eX]

Jean-Pierre Courtiat