Amal Ahmed Anda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. | Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos |
| 2022 | MODELS | Symboleo2SC: from legal contract specifications to smart contracts. | Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos |
| 2019 | RE | Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. | Amal Ahmed Anda, Daniel Amyot |
| 2018 | RE | Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML. | Amal Ahmed Anda |
| 2016 | RE | Towards Improved Requirements Engineering with SysML and the User Requirements Notation. | Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, Lysanne Lessard, Jean-Michel Bruel |