Aboubakr Achraf El Ghazi

Orcid: 0000-0001-5064-9148

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
AMIRIS: Agent-based Market model for the Investigation of Renewable and Integrated energy Systems.
J. Open Source Softw., March, 2023

FAME-Core: An open Framework for distributed Agent-based Modelling of Energy systems.
J. Open Source Softw., March, 2023

2021
Preserving Secrecy in Mobile Social Networks.
ACM Trans. Cyber Phys. Syst., 2021

Secrecy and performance models for query processing on outsourced graph data.
Distributed Parallel Databases, 2021

2019
Mutual Authorizations: Semantics and Integration Issues.
Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

2015
Relational Reasoning - Constraint Solving, Deduction, and Program Verification.
PhD thesis, 2015

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

First-Order Transitive Closure Axiomatization via Iterative Invariant Injections.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014
Reducing the Complexity of Quantified Formulas via Variable Elimination.
CoRR, 2014

JKelloy: A Proof Assistant for Relational Specifications of Java Programs.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2012
A Proof Assistant for Alloy Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011
A dual-engine for early analysis of critical systems.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Relational Reasoning via SMT Solving.
Proceedings of the FM 2011: Formal Methods, 2011


  Loading...