Aboubakr Achraf El Ghazi

14 papers A 1B 1C 1Journal 7Unranked 3

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