Yehia Abd Alrahman

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 26

Top Topics

Adaptive Systems

Reconfigurable Architecture

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Yehia Abd Alrahman, Nir Piterman
Correct-by-Design Teamwork Plans for Multi-Agent Systems. CoRR (2023)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. CoRR (2022)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. AAMAS (2022)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Model Checking Reconfigurable Interacting Systems. ISoLA (3) (2022)
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
A PO Characterisation of Reconfiguration. ICTAC (2022)
Yehia Abd Alrahman, Nir Piterman
Modelling and Verification of Reconfigurable Multi-Agent Systems. CoRR (2021)
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue. CoRR (2021)
Yehia Abd Alrahman, Nir Piterman
Modelling and verification of reconfigurable multi-agent systems. Auton. Agents Multi Agent Syst. 35 (2) (2021)
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC (2021)
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
Reconfigurable Interaction for MAS Modelling. AAMAS (2020)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192 (2020)
Yehia Abd Alrahman, Giulio Garbi
A distributed API for coordinating AbC programs. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. CoRR (2020)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019)
Yehia Abd Alrahman, Hugo Torres Vieira
A coordination protocol language for power grid operation control. J. Log. Algebraic Methods Program. 109 (2019)
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Testing for Coordination Fidelity. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
A Computational Framework for Adaptive Systems and its Verification. CoRR (2019)
Yehia Abd Alrahman, Hugo Torres Vieira
Operation Control Protocols in Power Distribution Grids. CoRR (2018)
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
t: Attribute-Based Interaction in Google Go. ISoLA (3) (2018)
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE (2018)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR (2017)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR (2017)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
On the Power of Attribute-based Communication. CoRR (2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
On the Power of Attribute-Based Communication. FORTE (2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) (2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
A calculus for attribute-based communication. SAC (2015)
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? WRLA (2014)