Aboubakr Achraf El Ghazi

According to our database, Aboubakr Achraf El Ghazi authored at least 13 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

AMIRIS: Agent-based Market model for the Investigation of Renewable and Integrated energy Systems.

Christoph Schimeczek, Kristina Nienhaus, Ulrich J. Frey, Evelyn Sperber, Seyedfarzad Sarfarazi, Felix Nitsch, Johannes Kochems, Aboubakr Achraf El Ghazi

J. Open Source Softw., March, 2023

FAME-Core: An open Framework for distributed Agent-based Modelling of Energy systems.

Christoph Schimeczek, Marc Deissenroth-Uhrig, Ulrich J. Frey, Benjamin Fuchs, Aboubakr Achraf El Ghazi, Manuel Wetzel, Kristina Nienhaus

J. Open Source Softw., March, 2023

2021

Preserving Secrecy in Mobile Social Networks.

Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm

ACM Trans. Cyber Phys. Syst., 2021

Secrecy and performance models for query processing on outsourced graph data.

Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm

Distributed Parallel Databases, 2021

2019

Mutual Authorizations: Semantics and Integration Issues.

Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

2015

Relational Reasoning - Constraint Solving, Deduction, and Program Verification.

Aboubakr Achraf El Ghazi

PhD thesis, 2015

Analyzing Alloy Formulas using an SMT Solver: A Case Study.

Aboubakr Achraf El Ghazi, Mana Taghdiri

CoRR, 2015

First-Order Transitive Closure Axiomatization via Iterative Invariant Injections.

Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Reducing the Complexity of Quantified Formulas via Variable Elimination.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda

CoRR, 2014

JKelloy: A Proof Assistant for Relational Specifications of Java Programs.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2012

A Proof Assistant for Alloy Specifications.

Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

A dual-engine for early analysis of critical systems.

Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Relational Reasoning via SMT Solving.

Aboubakr Achraf El Ghazi, Mana Taghdiri

Proceedings of the FM 2011: Formal Methods, 2011