Amira Regayeg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2014
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICAART | A Pattern based Modelling for Self-organizing Multi-agent Systems with | Zeineb Graja, Frdric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem |
| 2012 | COMPSAC | Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification. | Thouraya Gouasmi, Amira Regayeg, Ahmed Hadj Kacem |
| 2005 | AICCSA | Towards a formal methodology for developing multi-agent applications using temporal Z. | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
| 2004 | PRIMA | Specification and Design of Multi-agent Applications Using Temporal Z. | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |