E-LIB Suche - Ergebnisse für: Alrahman, Yehia Abd

1

Language support for verifying reconfigurable interacting s..:

Alrahman, Yehia Abd ; Azzopardi, Shaun ; Di Stefano, Luca.
International Journal on Software Tools for Technology Transfer. 25 (2023) 5-6 - p. 765-784 , 2023

Link: https://doi.org/10.1007/..

2

A calculus for attribute-based communication:

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

Alrahman, Yehia Abd ; De Nicola, Rocco ; Loreti, Michele.. - p. 1840-1845 , 2015

Link: https://dl.acm.org/doi/1..

3

Modelling and verification of reconfigurable multi-agent sy..:

Abd Alrahman, Yehia ; Piterman, Nir
Autonomous Agents and Multi-Agent Systems. 35 (2021) 2 - p. , 2021

Link: https://doi.org/10.1007/..

4

Reconfigurable Interaction for MAS Modelling:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,

Abd Alrahman, Yehia ; Perelli, Giuseppe ; Piterman, Nir - p. 7-15 , 2020

Link: https://dl.acm.org/doi/1..

5

A distributed API for coordinating AbC programs:

Abd Alrahman, Yehia ; Garbi, Giulio
International Journal on Software Tools for Technology Transfer. 22 (2020) 4 - p. 477-496 , 2020

Link: https://doi.org/10.1007/..

6

Programming interactions in collective adaptive systems by ..:

Abd Alrahman, Yehia ; De Nicola, Rocco ; Loreti, Michele
Science of Computer Programming. 192 (2020) - p. 102428 , 2020

Link: https://doi.org/10.1016/..

7

A calculus for collective-adaptive systems and its behaviou..:

Abd Alrahman, Yehia ; De Nicola, Rocco ; Loreti, Michele
Information and Computation. 268 (2019) - p. 104457 , 2019

Link: https://doi.org/10.1016/..

8

A coordination protocol language for power grid operation c..:

Abd Alrahman, Yehia ; Torres Vieira, Hugo
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100487 , 2019

Link: https://doi.org/10.1016/..

9

Modelling and verification of reconfigurable multi-agent sy..:

Abd Alrahman, Yehia ; Piterman, Nir
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8550679/. , 2021

Link: http://www.ncbi.nlm.nih...

10

Reconfigurable Interaction for MAS Modelling:

Yehia Abd Alrahman ; Giuseppe Perelli ; Nir Piterman
info:eu-repo/semantics/altIdentifier/isbn/978-145037518-4. , 2020

Link: http://hdl.handle.net/11..

11

On the Power of Attribute-Based Communication:

Abd Alrahman, Yehia ; de Nicola, Rocco ; Loreti, Michele
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-39570-8_1. , 2016

Link: https://hal.inria.fr/hal..

12

On the Power of Attribute-Based Communication:

Abd Alrahman, Yehia ; De Nicola, Rocco ; Loreti, Michele
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-39570-8_1. , 2016

Link: https://hal.inria.fr/hal..

13

A Behavioural Theory for Interactions in Collective-Adaptiv..:

Abd Alrahman, Yehia Moustafa ; De Nicola, Rocco ; Loreti, Michele
http://eprints.imtlucca.it/3945/1/1711.09762.pdf. , 2017

Link: http://eprints.imtlucca...

14

Programming the Interactions of Collective Adaptive Systems..:

Abd Alrahman, Yehia Moustafa ; De Nicola, Rocco ; Loreti, Michele
http://eprints.imtlucca.it/3946/1/1711.06092.pdf. , 2017

Link: http://eprints.imtlucca...

15

A Foundational Theory for Attribute-based Communication:

Abd Alrahman, Yehia Moustafa
http://e-theses.imtlucca.it/214/1/AbdAlrahman_phdthesis.pdf. , 2017

Link: http://e-theses.imtlucca..