Amira Regayeg

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Topics

Knowledge Level

Temporal Ordering

Reactive Systems

Top Venues

COMPSAC Workshops

Publications

Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem
. ICAART (2) (2014)
Thouraya Gouasmi, Amira Regayeg, Ahmed Hadj Kacem
Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification. COMPSAC Workshops (2012)
Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem
$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design. AOSE (2010)
Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel
ForMAAD: A formal method for agent-based application design. Web Intell. Agent Syst. 5 (4) (2007)
Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel
ForMAAD Method: An Experimental Design for Air Traffic Control. Int. Trans. Syst. Sci. Appl. 1 (4) (2006)
Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
Towards a Formal Methodology for Designing Multi-agent Applications. MATES (2005)
Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
Towards a formal methodology for developing multi-agent applications using temporal Z. AICCSA (2005)
Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
Specification and Design of Multi-agent Applications Using Temporal Z. PRIMA (2004)
Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
Specification and Verification of Multi-Agent Applications using Temporal Z. IAT (2004)