LAOUADI Mohamed Amin
Grade: Maitre de conferences classe B
Email: mohamed.laouadi@univ-setif.dz
Département: Informatique
Bureau: 19
Mohamed Amin LAOUADI  is currently an Associate Professor at the Department of Computer Science of the University of Ferhat Abbas Sétif-1 in Algeria.
He holds a Ph.D. in computer science from the University of of Badji Mokhtar, Annaba in Algeria. His main areas of interest include Agent-Oriented Software Engineering, Multi-Agent System and Formal Methods.

    Journaux (2)

  • ''A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach''

    Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

    Multiagent and Grid Systems (MGS), 13 (2017), pp 395-419

  • "DIMA-RTMaude: A Formal Framework for Specifying DIMA Multi-Agents Real Time Aspects"

    Farid Mokhati, Hamza Marouani, Mohamed Amin Laouadi, Toufik Marir

    International Review on Computers and Software (IRECOS), 4 (2009), pp 382-391

    • Conferences Internationales (4)

  • ''A formal organizational framework for AGR based multi-agent system specification''

    Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

    the first International Conference on Computer Science's Complex Systems and their Applications (ICCSA'2016), Université d'Oum El Bouaghi, (2016)

  • ''A Novel Organizational Model for Real Time MAS: Towards a Formal Specification '' (Book Chapter)

    Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

    Science and Information (SAI), LONDON, UK, (2014)

  • ''Towards an Organizational Model for Real Time Multi-Agent System Specification''

    Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

    Science and Information (SAI 2013), LONDON, UK, (2013)

  • ''A Novel formal specification approach for Real Time Multi-Agent System Functional Requirements''

    Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

    8th German Conference on Multi Agents System Technologies (MATES2010), Leipzig, Germany, (2010)

    • Conferences Nationales (2)

  • A Formal Specification Approach for Real Time Multi-Agent System Organizational Requirements

    Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

    Journées d'étude sur les systèmes complexes (JESC’2015), Université d'Oum El Bouaghi, (2015)

  • ''Un Framework Formel pour la Spécification des Besoins Fonctionnels des SMA-Temps Réel''

    Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

    Journées Ecole Doctorales & Réseaux de Recherche en Sciences et Technologies de l'Information, (JED’2010), Université Badji Mokhtar, Annaba, (2010)