Aboubakr Achraf El Ghazi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2019
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SACMAT | Mutual Authorizations: Semantics and Integration Issues. | Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Bhm |
| 2012 | TACAS | A Proof Assistant for Alloy Specifications. | Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri |
| 2011 | FM | Relational Reasoning via SMT Solving. | Aboubakr Achraf El Ghazi, Mana Taghdiri |
| 2011 | GI | A dual-engine for early analysis of critical systems. | Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann |