Projects per year
Personal profile
Education/Academic qualification
Master of Informatics
Sept 2015 → Jun 2017
Fingerprint
Dive into the research topics where Manel Barkallah is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
CYBEREXCELLENCE: The project of excellence in cyber security within the framework of the plan of the Walloon Region (CyberWal)
Colin, J.-N. (CoPI), Schobbens, P. Y. (CoI), Dejaeghere, J. (Researcher), Devroey, X. (CoPI), Nguyen, G. (Researcher), Rochet, F. (CoI), Schumacher, L. (CoI), Knockaert, M. (Researcher), Jacquet, J.-M. (PI), Linden, I. (CoI), Elkoulak, H. (Researcher), Poeng, K. (Researcher), Ouardi, D. (Researcher), Goffaux, L. (Researcher) & Barkallah, M. (Researcher)
1/01/22 → 31/12/27
Project: Research
-
On Reasoning about Socio-Technical Systems: the Multi-Bach Coordination Model and its Workbench Anemone
Barkallah, M. (PI) & Jacquet, J.-M. (Supervisor)
1/10/19 → 13/06/25
Project: PHD
-
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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone
Barkallah, M. & Jacquet, J.-M., 2026, In: IEEE Transactions on Software Engineering.Research output: Contribution to journal › Article › peer-review
-
On the expressiveness and efficiency of guarded lists in Bach
Barkallah, M. & Jacquet, J. M., Jan 2025, In: Journal of Logical and Algebraic Methods in Programming. 142, 101017.Research output: Contribution to journal › Article › peer-review
-
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., Apr 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile51 Downloads (Pure) -
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
Ouardi, D., Barkallah, M. & Jacquet, J. M., 11 Dec 2024, Proceedings ICE 2024. Vol. 414. p. 58-76 19 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile36 Downloads (Pure)
Datasets
Activities
-
CyberExcellence: Journée des chercheurs
Nguyen, G. (Speaker), Mallargé, J. (Speaker), Dejaeghere, J. (Participant), Ouardi, D. (Participant), Barkallah, M. (Participant), Longfils, G. (Participant), Poeng, K. (Participant), Devroey, X. (Participant) & Jacquet, J.-M. (Contributor)
28 Apr 2026Activity: Participating in or organising an event types › Project follow-up meeting
-
48th International Conference on Software Engineering
Barkallah, M. (Contributor)
2026Activity: Participating in or organising an event types › Participation in conference
-
ICE 2025 - 18th Interaction and Concurrency Experience
Barkallah, M. (Member of Scientific Committee)
20 Jun 2025Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
DisCoTec 2025 - 20th International Federated Conference on Distributed Computing Techniques
Barkallah, M. (Member of Scientific Committee)
16 Jun 2025 → 20 Jun 2025Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Conférence IMPACT! : Vers une informatique toujours plus humaine et responsable
Devroey, X. (Organiser), Vanderose, B. (Organiser), Barkallah, M. (Contributor), Dejaeghere, J. (Contributor), Fink, J. (Contributor), Ghyselinck, R. (Contributor), Maquoi, J. (Contributor), Simonofski, A. (Contributor) & Habra, N. (Keynote Speaker)
6 Mar 2025Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Thesis
-
On Reasoning about Socio-Technical Systems: the Multi-Bach Coordination Model and its Workbench Anemone
Barkallah, M. (Author), Jacquet, J.-M. (Supervisor), Schobbens, P. Y. (Jury), Beuls, K. (Jury), Vanhoof, W. (Jury), Bocchi, L. (Jury) & Mariani, S. (Jury), 13 Jun 2025Student thesis: Doc types › Doctor of Sciences
File
Press/Media
-
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 item of Media coverage
Press/Media: Other
-
Une journée sur les femmes et les sciences à l'UNamur (interview radio)
8/02/23
1 item of Media coverage
Press/Media: Other
-
“En Tunisie, ce cliché que l’informatique, c’est pour les garçons n'existe pas"
8/02/23
1 item of Media coverage
Press/Media: Public Engagement Activities
-
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 item of Media coverage
Press/Media: Other