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
-
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 ouvertFile9 Téléchargements (Pure) -
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
Ouardi, D., Barkallah, M. & Jacquet, J. M., 11 déc. 2024, Proceedings ICE 2024. Vol 414. p. 58-76 19 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs) › Revue par des pairs
Accès ouvertFile18 Téléchargements (Pure) -
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues
Barkallah, M. & Jacquet, J. M., 21 août 2023, Dans: Electronic Proceedings in Theoretical Computer Science. 383, p. 55-72 18 p.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvertFile36 Téléchargements (Pure) -
Anemone: A workbench for the Multi-Bach coordination language
Jacquet, J. M. & Barkallah, M., 1 févr. 2021, Dans: Science of Computer Programming. 202, 102579.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvert
Activités
-
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
-
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
-
Women and Girls in Science
Barkallah, M. (Participant), Akaichi, Y. (Participant), Berg, L. (Participant), Vandeloise, M. (Participant), Sion, A. (Participant), Nguyen, G. (Orateur), Goffaux, L. (Participant), Fortz, S. (Conférencier invité), Henry, J. (Orateur invité) & Perrouin, G. (Membre du Comité d'Organisation)
13 févr. 2025Activité: Participation ou organisation d'un événement › Participation à un Colloque, une journée d'étude
-
The 23rd Belgium-Netherlands Software Evolution Workshop: IMPACT! Day
Nguyen, G. (Conférencier), Balfroid, M. (Participant), Maquoi, J. (Participant) & Barkallah, M. (Participant)
20 nov. 2024Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PhD Student Day de la Fac Info
André, M. (Organisateur), Boraita, F. (Organisateur), Barkallah, M. (Organisateur) & Cherry, B. (Organisateur)
2 févr. 2024Activité: 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
-
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
-
“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
-
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