Yehia Abd Alrahman

According to our database, Yehia Abd Alrahman authored at least 23 papers between 2014 and 2023.

Collaborative distances:

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

2023

Language support for verifying reconfigurable interacting systems.

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman

Int. J. Softw. Tools Technol. Transf., December, 2023

Correct-by-Design Teamwork Plans for Multi-Agent Systems.

Yehia Abd Alrahman, Nir Piterman

CoRR, 2023

2022

Model Checking Reconfigurable Interacting Systems.

Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

A PO Characterisation of Reconfiguration.

Yehia Abd Alrahman, Mauricio Martel, Nir Piterman

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

R-CHECK: A Model Checker for Verifying Reconfigurable MAS.

Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue.

Yehia Abd Alrahman, Mauricio Martel, Nir Piterman

CoRR, 2021

Modelling and verification of reconfigurable multi-agent systems.

Yehia Abd Alrahman, Nir Piterman

Auton. Agents Multi Agent Syst., 2021

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

Proceedings of the 2021 American Control Conference, 2021

2020

A distributed API for coordinating AbC programs.

Yehia Abd Alrahman, Giulio Garbi

Int. J. Softw. Tools Technol. Transf., 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

Reconfigurable Interaction for MAS Modelling.

Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

A coordination protocol language for power grid operation control.

Yehia Abd Alrahman, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2019

A calculus for collective-adaptive systems and its behavioural theory.

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti

Inf. Comput., 2019

A Computational Framework for Adaptive Systems and its Verification.

Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman

CoRR, 2019

Testing for Coordination Fidelity.

Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

Operation Control Protocols in Power Distribution Grids.

Yehia Abd Alrahman, Hugo Torres Vieira

CoRR, 2018

<i>G</i>o<i>A</i>t: Attribute-Based Interaction in Google Go.

Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

A Distributed Coordination Infrastructure for Attribute-Based Interaction.

Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

A Behavioural Theory for Interactions in Collective-Adaptive Systems.

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti

CoRR, 2017

2016

Programming of CAS Systems by Relying on Attribute-Based Communication.

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

On the Power of Attribute-Based Communication.

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

A calculus for attribute-based communication.

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014