Aboubakr Achraf El Ghazi

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 5

Top Venues

CoRR

J. Open Source Softw.

Distributed Parallel Databases

ACM Trans. Cyber Phys. Syst.

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Christoph Schimeczek, Marc Deissenroth-Uhrig, Ulrich J. Frey, Benjamin Fuchs, Aboubakr Achraf El Ghazi, Manuel Wetzel, Kristina Nienhaus
FAME-Core: An open Framework for distributed Agent-based Modelling of Energy systems. J. Open Source Softw. 8 (83) (2023)
Christoph Schimeczek, Kristina Nienhaus, Ulrich Frey, Evelyn Sperber, Seyedfarzad Sarfarazi, Felix Nitsch, Johannes Kochems, Aboubakr Achraf El Ghazi
AMIRIS: Agent-based Market model for the Investigation of Renewable and Integrated energy Systems. J. Open Source Softw. 8 (83) (2023)
Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm
Secrecy and performance models for query processing on outsourced graph data. Distributed Parallel Databases 39 (1) (2021)
Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm
Preserving Secrecy in Mobile Social Networks. ACM Trans. Cyber Phys. Syst. 5 (1) (2021)
Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm
Mutual Authorizations: Semantics and Integration Issues. SACMAT (2019)
Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda
First-Order Transitive Closure Axiomatization via Iterative Invariant Injections. NFM (2015)
Aboubakr Achraf El Ghazi, Mana Taghdiri
Analyzing Alloy Formulas using an SMT Solver: A Case Study. CoRR (2015)
Aboubakr Achraf El Ghazi, Ulrich Geilmann, Mattias Ulbrich, Mana Taghdiri
A Dual-Engine for Early Analysis of Critical Systems. CoRR (2014)
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri
JKelloy: A Proof Assistant for Relational Specifications of Java Programs. NASA Formal Methods (2014)
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda
Reducing the Complexity of Quantified Formulas via Variable Elimination. CoRR (2014)
Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri
A Proof Assistant for Alloy Specifications. TACAS (2012)
Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann
A dual-engine for early analysis of critical systems. GI-Jahrestagung (2011)
Aboubakr Achraf El Ghazi, Mana Taghdiri
Relational Reasoning via SMT Solving. FM (2011)

Aboubakr Achraf El Ghazi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aboubakr Achraf El Ghazi