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

Testing for Coordination Fidelity:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Alrahman, Yehia Abd ; Mezzina, Claudio Antares ; Vieira, Hugo Torres - p. 152-169 , 2019

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

3

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..

4

Model Checking Reconfigurable Interacting Systems:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

Abd Alrahman, Yehia ; Azzopardi, Shaun ; Piterman, Nir - p. 373-389 , 2022

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

5

A PO Characterisation of Reconfiguration:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Abd Alrahman, Yehia ; Martel, Mauricio ; Piterman, Nir - p. 42-59 , 2022

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

6

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/..

7

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/..

8

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/..

9

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..

10

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/..

11

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/..

12

$$\mathcal {G}o\mathcal {A}t$$: Attribute-Based Interaction..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science,

Abd Alrahman, Yehia ; De Nicola, Rocco ; Garbi, Giulio - p. 288-303 , 2018

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

13

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

Alrahman, Yehia Abd ; Piterman, Nir
http://arxiv.org/abs/2301.01257. , 2023

Link: http://arxiv.org/abs/230..

14

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

Alrahman, Yehia Abd ; Azzopardi, Shaun ; Piterman, Nir
http://arxiv.org/abs/2201.06312. , 2022

Link: http://arxiv.org/abs/220..

15

Modelling and Verification of Reconfigurable Multi-Agent Sy..:

Alrahman, Yehia Abd ; Piterman, Nir
http://arxiv.org/abs/2104.10998. , 2021

Link: http://arxiv.org/abs/210..