Aboubakr Achraf El Ghazi
发表
Mattias Ulbrich,
Mana Taghdiri,
Aboubakr Achraf El Ghazi,
2014,
ArXiv.
Klemens Böhm,
Aboubakr Achraf El Ghazi,
Gabriela Suntaxi,
2019
.
Mattias Ulbrich,
Mana Taghdiri,
Aboubakr Achraf El Ghazi,
2012,
TACAS.
Mattias Ulbrich,
Mana Taghdiri,
Aboubakr Achraf El Ghazi,
2011
.
Klemens Böhm,
Aboubakr Achraf El Ghazi,
Gabriela Suntaxi,
2019,
SACMAT.
Mana Taghdiri,
Aboubakr Achraf El Ghazi,
2015,
ArXiv.
Mana Taghdiri,
Aboubakr Achraf El Ghazi,
2011,
FM.
Mana Taghdiri,
Aboubakr Achraf El Ghazi,
2010
.
Aboubakr Achraf El Ghazi,
2015
.
Klemens Böhm,
Aboubakr Achraf El Ghazi,
Gabriela Suntaxi,
2020
.
Mattias Ulbrich,
Mana Taghdiri,
Shmuel S. Tyszberowicz,
2014,
NASA Formal Methods.
Mana Taghdiri,
Aboubakr Achraf El Ghazi,
Mihai Herda,
2015,
NFM.
Klemens Böhm,
Aboubakr Achraf El Ghazi,
Gabriela Suntaxi,
2020,
Distributed and Parallel Databases.
Mattias Ulbrich,
Mana Taghdiri,
Aboubakr Achraf El Ghazi,
2011,
GI-Jahrestagung.
Klemens Böhm,
Aboubakr Achraf El Ghazi,
Gabriela Suntaxi,
2021,
ACM Trans. Cyber Phys. Syst..
Aboubakr Achraf El Ghazi,
Klemens Böhm,
Gabriela Suntaxi,
2020,
ACM Trans. Cyber Phys. Syst..