Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? - Yehia Abd Alrahman; Marina Andric; Alessandro Beggiato; Alberto Lluch-Lafuente (WRLA, 2014)

A calculus for attribute-based communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti; Francesco Tiezzi 001; Roberto Vigo (SAC, 2015)

On the Power of Attribute-Based Communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (FORTE, 2016)

Programming of CAS Systems by Relying on Attribute-Based Communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (ISoLA (1), 2016)

A Behavioural Theory for Interactions in Collective-Adaptive Systems. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (CoRR, 2017)

A Distributed Coordination Infrastructure for Attribute-Based Interaction. - Yehia Abd Alrahman; Rocco De Nicola; Giulio Garbi; Michele Loreti (FORTE, 2018)

GoAt: Attribute-Based Interaction in Google Go. - Yehia Abd Alrahman; Rocco De Nicola; Giulio Garbi (ISoLA (3), 2018)

GoAt: Attribute-based Interaction in Google Go. - Giulio Garbi; Rocco De Nicola; Yehia Abd Alrahman (Zenodo, 2018)

Operation Control Protocols in Power Distribution Grids. - Yehia Abd Alrahman; Hugo Torres Vieira (CoRR, 2018)

Testing for Coordination Fidelity. - Yehia Abd Alrahman; Claudio Antares Mezzina; Hugo Torres Vieira (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

A Computational Framework for Adaptive Systems and its Verification. - Yehia Abd Alrahman; Giuseppe Perelli; Nir Piterman (CoRR, 2019)

A calculus for collective-adaptive systems and its behavioural theory. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (Inf. Comput., 2019)

A coordination protocol language for power grid operation control. - Yehia Abd Alrahman; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2019)

Reconfigurable Interaction for MAS Modelling. - Yehia Abd Alrahman; Giuseppe Perelli; Nir Piterman (AAMAS, 2020)

Programming interactions in collective adaptive systems by relying on attribute-based communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (Sci. Comput. Program., 2020)

A distributed API for coordinating AbC programs. - Yehia Abd Alrahman; Giulio Garbi (Int. J. Softw. Tools Technol. Transf., 2020)

Synthesis of Run-To-Completion Controllers for Discrete Event Systems. - Yehia Abd Alrahman; Víctor A. Braberman; Nicolás D'Ippolito; Nir Piterman; Sebastián Uchitel (ACC, 2021)

Modelling and verification of reconfigurable multi-agent systems. - Yehia Abd Alrahman; Nir Piterman (Auton. Agents Multi Agent Syst., 2021)

Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue. - Yehia Abd Alrahman; Mauricio Martel; Nir Piterman (CoRR, 2021)

R-CHECK: A Model Checker for Verifying Reconfigurable MAS. - Yehia Abd Alrahman; Shaun Azzopardi; Nir Piterman (AAMAS, 2022)

A PO Characterisation of Reconfiguration. - Yehia Abd Alrahman; Mauricio Martel; Nir Piterman (ICTAC, 2022)

Model Checking Reconfigurable Interacting Systems. - Yehia Abd Alrahman; Shaun Azzopardi; Nir Piterman (ISoLA (3), 2022)

Correct-by-Design Teamwork Plans for Multi-Agent Systems. - Yehia Abd Alrahman; Nir Piterman (CoRR, 2023)

Language support for verifying reconfigurable interacting systems. - Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano 001; Nir Piterman (Int. J. Softw. Tools Technol. Transf., 2023)

Attributed Point-to-Point Communication in R-CHECK. - Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano 001; Nir Piterman (ISoLA (2), 2024)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem. - Yehia Abd Alrahman; Nir Piterman (CoRR, 2025)