Benamira Adel | université 8 Mai 1945 Guelma

Research Keywords:

Theory of Computation, Formal Modeling and Verification of Concurrent Systems.

Rank:

Senior Lecturer Class A

Department:

Department of Computer Science

Faculty:

Faculty of Mathematics, Computer Science and Materials Science

Campus: Ancien Campus

benamira.adel@univ-guelma.dz
a.benamira@yahoo.fr

Google Scholar Link:

https://scholar.google.fr/citations?hl=fr&user=Y_a_MIwAAAAJ&view_op=list_works&g…

Rersearchgate Link:

https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&v…

Scopus profile:

https://www.scopus.com/authid/detail.uri?authorId=24528338000

Vertical Tabs

Biography and positions

Biography and positions :

Biography and positions

Teaching activities

Teaching activities:

Teaching in 2018/19

Courses :

Sémantiques Formelles des Langages de Programmation : 1^ère Année Master.
Algorithmes Avancés et Complexité : 1^ère Année Master.
Algorithmique et Structures de Données Avancées : 2^ème Année Licence.

Teaching in Past Semesters

	Courses
2017/18	Sémantiques Formelles des Langages de Programmation : 1^ère Année Master. Algorithmique et Structures de Données Avancées : 2^ème Année Licence.
2016/17	Sémantiques Formelles des Langages de Programmation : 1^ère Année Master. Algorithmique et Structures de Données Avancées : 2^ème Année Licence.
2015/16	Sémantiques Formelles des Langages de Programmation : 1^ère Année Master. Algorithmique et Structures de Données Avancées : 2^ème Année Licence.
2014/15	Sémantiques Formelles des Langages de Programmation : 1^ère Année Master. Algorithmique et Structures de Données Avancées : 2^ème Année Licence.
2013/14	Méthodes Formelles pour le Parallélisme : 2^ème Année Master. Sémantiques Formelles des Langages de Programmation : 1^ère Année Master. Algorithmique et Structures de Données Avancées : 2^ème Année Licence.
2012/13	Sémantiques Formelles des Langages de Programmation : 1^ère Année Master. Algorithmique et Structures de Données Avancées : 2^ème Année Licence.
2011/12	Sémantiques Formelles des Langages de Programmation : 1^ère Année Master. Algorithmique et Structures de Données Avancées : 2^ème Année Licence.
2010/11	Algorithmique et Structures de Données Avancées : 2^ème Année Licence. Calcul Formel : 1ère Année Licence.
2009/10	Algorithmique et Structures de Données Avancées : 2^ème Année Licence. Calcul Formel : 1^ère Année Licence.
2008/09	Modélisation et simulation : 4^ème Année Ingénieur. Sémantiques Formelles des Langages de Programmation : 4^ème Année Ingénieur. Calcul Formel : 1^ère Année Licence.
2007/08	Modélisation et Simulation : 4^ème Année Ingénieur. Sémantiques Formelles des Langages de programmation : 4^ème Année Ingénieur. Calcul Formel : 1^ère Année Licence.
2006/07	Modélisation et simulation : 4^ème Année Ingénieur. Sémantiques Formelles des Langages de Programmation : 4^ème Année Ingénieur.

Supervision of students

Supervision of students:

Supervision of students

Teaching documents

Teaching documents:

Teaching documents

Research interest

Research interest:

Formal modelling and verification of concurrent systems.
Reversibility in concurrent systems.
How use mathematical models and methods to analyse problems arise in computer science.

Ongoing research project

Ongoing research project:

Research interest

Scientific publications

Scientific publications :

Scientific publications

Scientific conferences

Scientific conferences:

Benamira A., Saidouni DE. (2016) A Locally Sequential Globally Asynchronous Net from Maximality-Based Labelled Transition System. In: Chikhi S., Amine A., Chaoui A., Kholladi M., Saidouni D. (eds) Modelling and Implementation of Complex Systems. Lecture Notes in Networks and Systems, vol 1. Springer, Cham
Benamira A., Saïdouni DE. (2013) Maximality-Based Labeled Transition Systems Normal Form. In: Amine A., Otmane A., Bellatreche L. (eds) Modeling Approaches and Algorithms for Advanced Computer Applications. Studies in Computational Intelligence, vol 488. Springer, Cham
Benamira, A. & Saidouni, D. E. (2011, December). Graphe de pas maximaux : Une solution pour la reduction des systemes de transitions étiquetées maximales. In Proceedings of the 3th International Conference on Computer Science and its Applications (CIIA'11), Saida, Algeria. In Abdelmalek Amine; Otmane Ait Mohamed; Boualem Benatallah; Zakaria Elberrichi (Ed.), 825, CEUR Workshop Proceedings.Retrieved from http://ceur-ws.org/Vol-825/paper_316.pdf
Djamel-Eddine Saïdouni, Adel Benamira, Nabil Belala and Farid Arfi, “FOCOVE: Formal Concurrency Verification Environment for Complex Systems”, In Proceedings of the 1st Mediterranean Conference on Intelligent Systems and Automation (CISA’08), Annaba, Algeria, June 30th-July 2nd, 2008, Volume 1019 (Issue 1) of American Institute of Physics Conference Proceedings, Melville, New York, pp. 375-380, ISBN: 978-0-7354-0540-0.

Tools:

FOCOVE (for Formal Concurrency Verification Environment) is a software environment for the specification and the verification of reactive and concurrent systems. (http://misc-lab.org/fr/softwares/show/2).

Scientific activities

Scientific activities :

Scientific activities .

Collaboration and network

Collaboration and network:

Collaboration and network

Honor and distinction

Honor and distinction:

Honor and distinction

Community services

Community services:

Community services