Amira Regayeg

According to our database, Amira Regayeg authored at least 9 papers between 2004 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Pattern based Modelling for Self-organizing Multi-agent Systems with <i>Event-B</i>.

Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem

Proceedings of the ICAART 2014, 2014

2012

Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification.

Thouraya Gouasmi, Amira Regayeg, Ahmed Hadj Kacem

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2010

$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design.

Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem

Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

2007

ForMAAD: A formal method for agent-based application design.

Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel

Web Intell. Agent Syst., 2007

2006

ForMAAD Method: An Experimental Design for Air Traffic Control.

Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel

Int. Trans. Syst. Sci. Appl., 2006

2005

Towards a Formal Methodology for Designing Multi-agent Applications.

Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel

Proceedings of the Multiagent System Technologies, Third German Conference, 2005

Towards a formal methodology for developing multi-agent applications using temporal Z.

Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Specification and Design of Multi-agent Applications Using Temporal Z.

Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2004

Specification and Verification of Multi-Agent Applications using Temporal Z.

Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004