Projets par an
Profil personnel
Qualification académique
Maîtrise d'informatique
sept. 2015 → juin 2017
Empreinte digitale
Passez en revue plus en détail les thèmes de recherche où Manel Barkallah est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
-
CYBEREXCELLENCE: Le projet d’excellence de la cyber sécurité dans le cadre du plan de la Région Wallonne (CyberWal)
Colin, J.-N. (CoPI), Schobbens, P. Y. (Co-investigateur), Dejaeghere, J. (Chercheur), Devroey, X. (CoPI), Nguyen, G. (Chercheur), Rochet, F. (Co-investigateur), Schumacher, L. (Co-investigateur), Knockaert, M. (Chercheur), Jacquet, J.-M. (Responsable du Projet), Linden, I. (Co-investigateur), Elkoulak, H. (Chercheur), Poeng, K. (Chercheur), Ouardi, D. (Chercheur), Goffaux, L. (Chercheur) & Barkallah, M. (Chercheur)
1/01/22 → 31/12/27
Projet: Recherche
-
On Reasoning about Socio-Technical Systems: the Multi-Bach Coordination Model and its Workbench Anemone
Barkallah, M. (Responsable du Projet) & Jacquet, J.-M. (Promoteur)
1/10/19 → 13/06/25
Projet: Projet de thèse
Résultat de recherche
-
Learning Formal Methods through Project-Based Modeling of Concurrent Systems with Anemone
Barkallah, M. & Jacquet, J.-M., 2026, Formal Methods Teaching : 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings. Carvalho, G. & Kobayashi, T. (eds.). Springer, (Lecture Notes in Computer Science).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
-
Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone
Barkallah, M. & Jacquet, J.-M., 2026, Dans: IEEE Transactions on Software Engineering.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
-
Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone
Barkallah, M. & Jacquet, J. M., 10 juil. 2026, Proceedings - 2026 IEEE/ACM 14th International Conference on Formal Methods in Software Engineering, FormaliSE 2026. ACM Press, p. 111-115 5 p. (Proceedings - 2026 IEEE/ACM 14th International Conference on Formal Methods in Software Engineering, FormaliSE 2026).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvert -
On the expressiveness and efficiency of guarded lists in Bach
Barkallah, M. & Jacquet, J. M., janv. 2025, Dans: Journal of Logical and Algebraic Methods in Programming. 142, 101017.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
-
Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic
Yernaux, G., Vandeloise, M., Barkallah, M., Vanhoof, W. & Jacquet, J.-M., avr. 2025, Proceedings of the 3rd International Conference on Advances in Computing Research, ACR 2025: Proceedings of the Third International Conference on Advances in Computing Research (ACR’25). Daimi, K. & Al Sadoon, A. (eds.). Springer, Cham, Vol 1346. p. 51-62 12 p. (Lecture Notes in Networks and Systems; Vol 1346 LNNS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile54 Téléchargements (Pure)
Ensembles de données
-
The BLPy Framework
Jacquet, J.-M. (Créateur) & Barkallah, M. (Créateur), Zenodo, 17 févr. 2026
Ensemble de données
Activités
-
CyberExcellence: Journée des chercheurs
Nguyen, G. (Conférencier), Mallargé, J. (Conférencier), Dejaeghere, J. (Participant), Ouardi, D. (Participant), Barkallah, M. (Participant), Longfils, G. (Participant), Poeng, K. (Participant), Devroey, X. (Participant) & Jacquet, J.-M. (Orateur)
28 avr. 2026Activité: Participation ou organisation d'un événement › Réunion de suivi de projet
-
48th International Conference on Software Engineering
Barkallah, M. (Orateur)
2026Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
DisCoTec 2025 - 20th International Federated Conference on Distributed Computing Techniques
Barkallah, M. (Membre du Comité Scientifique)
16 juin 2025 → 20 juin 2025Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
ICE 2025 - 18th Interaction and Concurrency Experience
Barkallah, M. (Membre du Comité Scientifique)
20 juin 2025Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Conférence IMPACT! : Vers une informatique toujours plus humaine et responsable
Devroey, X. (Organisateur), Vanderose, B. (Organisateur), Barkallah, M. (Orateur), Dejaeghere, J. (Orateur), Fink, J. (Orateur), Ghyselinck, R. (Orateur), Maquoi, J. (Orateur), Simonofski, A. (Orateur) & Habra, N. (Conférencier invité)
6 mars 2025Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
Thèse
-
On Reasoning about Socio-Technical Systems: the Multi-Bach Coordination Model and its Workbench Anemone
Barkallah, M. (Auteur), Jacquet, J.-M. (Promoteur), Schobbens, P. Y. (Jury), Beuls, K. (Jury), Vanhoof, W. (Jury), Bocchi, L. (Jury) & Mariani, S. (Jury), 13 juin 2025Student thesis: Doc types › Docteur en Sciences
Fichier
Presse/médias
-
“En Tunisie, ce cliché que l’informatique, c’est pour les garçons n'existe pas"
8/02/23
1 élément de Couverture média
Presse/Médias: Activités publiques
-
Une journée d’échange sur les femmes et la science à l’UNamur 2023
Barkallah, M., Stasser, C., Ballesteros Ferraz, L., Mouchet, S. & Kasmo, H.
8/02/23
1 élément de Couverture média
Presse/Médias: Autre
-
Une journée sur les femmes et les sciences à l'UNamur (interview radio)
8/02/23
1 élément de Couverture média
Presse/Médias: Autre
-
La place de la femme dans les matières scientifiques au cœur d’une journée de conférences scientifique et de vulgarisation
Barkallah, M., Stasser, C., Ballesteros Ferraz, L., Mouchet, S., Kasmo, H. & Derochette, K.
6/02/23
1 élément de Couverture média
Presse/Médias: Autre