Yehia Abd Alrahman

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