Formalizing ARTIS Agent Model Using RT-Maude. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem (MATES, 2009)

Formalizing SIMBA RTMAS Models using Real-time Maude. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem (ICAART (1), 2013)

Do We Need Specific Quality Models for Multi-Agent Systems? - Toward Using the ISO/IEC 25010 Quality Model for MAS. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem (ICSOFT EA, 2014)

Complexity Measurement of Multi-Agent Systems. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem; Zouheyr Tamrabet (MATES, 2014)

Dynamic Metrics for Multi-agent Systems Using Aspect-Oriented Programming - Application to DIMA Platform. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem; Boubakar Benaissa (MATES, 2016)

QM4MAS: a quality model for multi-agent systems. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem; Youghourta Acid; Maroua Bouzid (Int. J. Comput. Appl. Technol., 2016)

A Survey on Quality Attributes and Quality Models for Embedded Software. - Zouheyr Tamrabet; Toufik Marir; Farid Mokhati (Int. J. Embed. Real Time Commun. Syst., 2018)

NorJADE: An Open Source JADE-Based Framework for Programming Normative Multi-Agent Systems. - Toufik Marir; Abd El Heq Silem; Farid Mokhati; Abdelouahed Gherbi; Bali Ahmed (Int. J. Open Source Softw. Process., 2019)

Flexibility measurement model of multi-agent systems. - Rohallah Benaboud; Toufik Marir (Multiagent Grid Syst., 2020)

ESQuMo: An Embedded Software Quality Model. - Zouheyr Tamrabet; Toufik Marir; Farid Mokhati (Int. J. Embed. Real Time Commun. Syst., 2022)

Operational profile development methodology for normative multi-agent systems. - Yahia Menassel; Toufik Marir; Farid Mokhati (Multiagent Grid Syst., 2023)

Operational profile-based test case generation for normative MAS. - Yahia Menassel; Toufik Marir; Farid Mokhati; Varun Gupta (J. Syst. Softw., 2025)