We stand with Ukraine  

Manel Barkallah

Orcid: 0000-0003-2608-5658

According to our database1, Manel Barkallah authored at least 6 papers between 2019 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Learning Formal Methods Through Project-Based Modeling of Concurrent Systems with Anemone.
[BibTeX]
[DOI]
Manel Barkallah
,
Jean-Marie Jacquet
Proceedings of the Formal Methods Teaching - 7th Formal Methods Teaching Workshop, 2026

2025
On the expressiveness and efficiency of guarded lists in Bach.
[BibTeX]
[DOI]
Manel Barkallah
,
Jean-Marie Jacquet
J. Log. Algebraic Methods Program., 2025

2024
The B2Scala Tool: Integrating Bach in Scala with Security in Mind.
[BibTeX]
[DOI]
Doha Ouardi
,
Manel Barkallah
,
Jean-Marie Jacquet
Proceedings of the Proceedings 17th Interaction and Concurrency Experience, 2024

2023
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues.
[BibTeX]
[DOI]
Manel Barkallah
,
Jean-Marie Jacquet
Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023

2021
Anemone: A workbench for the Multi-Bach coordination language.
[BibTeX]
[DOI]
Jean-Marie Jacquet
,
Manel Barkallah
Sci. Comput. Program., 2021

2019
Scan: A Simple Coordination Workbench.
[BibTeX]
[DOI]
Jean-Marie Jacquet
,
Manel Barkallah
Proceedings of the Coordination Models and Languages, 2019


  Loading...