Specification and Verification of Multi-Agent Applications using Temporal Z. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (IAT, 2004)

Specification and Design of Multi-agent Applications Using Temporal Z. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (PRIMA, 2004)

Towards a formal methodology for developing multi-agent applications using temporal Z. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (AICCSA, 2005)

Towards a Formal Methodology for Designing Multi-agent Applications. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (MATES, 2005)

ForMAAD Method: An Experimental Design for Air Traffic Control. - Amira Regayeg; Slim Kallel; Ahmed Hadj Kacem; Mohamed Jmaiel (Int. Trans. Syst. Sci. Appl., 2006)

ForMAAD: A formal method for agent-based application design. - Ahmed Hadj Kacem; Amira Regayeg; Mohamed Jmaiel (Web Intell. Agent Syst., 2007)

$ mathcal{F}_{or} mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design. - Zeineb Graja; Amira Regayeg; Ahmed Hadj Kacem (AOSE, 2010)

Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification. - Thouraya Gouasmi; Amira Regayeg; Ahmed Hadj Kacem (COMPSAC Workshops, 2012)

A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Linas Laibinis; Amira Regayeg; Ahmed Hadj Kacem (ICAART (2), 2014)