Yehia Abd Alrahman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2015–2024
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISoLA | Attributed Point-to-Point Communication in R-CHECK. | Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 2022 | ICTAC | A PO Characterisation of Reconfiguration. | Yehia Abd Alrahman, Mauricio Martel, Nir Piterman |
| 2022 | ISoLA | Model Checking Reconfigurable Interacting Systems. | Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman |
| 2018 | FORTE | A Distributed Coordination Infrastructure for Attribute-Based Interaction. | Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti |
| 2018 | ISoLA | Untitled record | Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi |
| 2016 | FORTE | On the Power of Attribute-Based Communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
| 2016 | ISoLA | Programming of CAS Systems by Relying on Attribute-Based Communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
| 2015 | SAC | A calculus for attribute-based communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo |