Choukri-Bey Ben-Yelles

According to our database1, Choukri-Bey Ben-Yelles authored at least 14 papers between 1981 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
A Meta-Agent Based Approach to Exploit the Collective Product of Mobile Cyber-Physical Collectives.
Frontiers Robotics AI, 2022

2021
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe.
J. Syst. Archit., 2021

2020
Formalizing UML/OCL structural features with FoCaLiZe.
Soft Comput., 2020

2019
A multi-level generic multi-agent architecture for supervision of collective cyber-physical systems.
Int. J. Auton. Adapt. Commun. Syst., 2019

2018
A Multi-Cooperative-Based Approach to Manage Communication in Wireless Instrumentation Systems.
IEEE Syst. J., 2018

Modelling UML state machines with FoCaLiZe.
Int. J. Inf. Commun. Technol., 2018

2017
De la coopération de collectifs multi-agents. Un modèle d'utilisation de productions collectives.
Rev. d'Intelligence Artif., 2017

2016
About cooperation of multiagent collective products: An approach in the context of cyber-physical systems.
Proceedings of the 2016 IEEE RIVF International Conference on Computing & Communication Technologies, 2016

De la coopération des productions collectives dans un contexte multi-agent (présentation courte).
Proceedings of the Systèmes Multi-Agents et simulation, 2016

2014
A recursive approach to enable the collective level interaction of the Web of Things applications.
Proceedings of the 2014 International Workshop on Web Intelligence and Smart Sensing, 2014

Modeling UML Template Classes with FoCaLiZe.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Generating FoCaLiZe Specifications from UML Models.
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

2012
Supervision de systèmes complexes artificiels décentralisés. Proposition d'un modèle multi-agent récursif générique.
Rev. d'Intelligence Artif., 2012

1981
<i>G</i>-Stratification is Equivalent to <i>F</i>-Stratification.
Math. Log. Q., 1981


  Loading...