No photo of Manel Barkallah

Manel Barkallah

  • Belgium

  • 0 Citations
  • 0 h-Index
20192019
If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Master of Informatics

Sep 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
Temporal logic Engineering & Materials Science
Algebra Engineering & Materials Science
Linear Temporal Logic Mathematics
Programming Environments Mathematics
Process Algebra Mathematics
Concurrent Systems Mathematics
Fragment Mathematics
Reasoning Mathematics

Projects 2019 2019

STS-Bach: a Contextual Coordination Model for Socio-Technical Systems

Barkallah, M. & JACQUET, J.

1/10/19 → …

Project: PHD

Research Output 2019 2019

  • 1 Conference contribution
  • 1 Poster

Scan: A simple coordination workbench

Jacquet, J. M. & Barkallah, M., 5 Jun 2019, Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Tuosto, E., Tuosto, E. & Riis Nielson, H. (eds.). Springer Verlag, p. 75-91 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11533 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Temporal logic
Algebra
Linear Temporal Logic
Programming Environments
Process Algebra

Scan: A Simple Coordination Workbench

Barkallah, M. & Jacquet, J-M., 6 Dec 2019. 1 p.

Research output: Contribution to conference › Poster

Activities 2018 2019

  • 3 Participation in conference
  • 1 Participation to a Symposium, a study Day
  • 1 Participation in workshop, seminar, course
  • 1 Oral presentation

FOCUS Research Seminar

Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee), Christian Colot (Member of Organizing Committee)
6 Dec 2019

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Grascomp Doctoral Day

Manel Barkallah (Participant)
22 Nov 2019

Activity: Participating in or organising an event types › Participation in conference

Vie privée, liberté d'expression et démocratie dans la société du numérique - Espoirs ou menaces ? Transparences et opacités

Manel Barkallah (Participant)
28 Nov 2019

Activity: Participating in or organising an event types › Participation to a Symposium, a study Day

COORDINATION 2019 - 21st International Conference on Coordination Models and Languages

Manel Barkallah (Contributor)
17 Jun 2019 → 20 Jun 2019

Activity: Participating in or organising an event types › Participation in conference

Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems

Manel Barkallah (Speaker), Jean-Marie Jacquet (Speaker), Isabelle Linden (Speaker)
23 Oct 2018

Activity: Talk or presentation types › Oral presentation