Yehia Abd Alrahman
Title
Cited by
Cited by
Year
On the power of attribute-based communication
Y Abd Alrahman, R De Nicola, M Loreti
International Conference on Formal Techniques for Distributed Objects …, 2016
572016
A calculus for attribute-based communication
YA Alrahman, R De Nicola, M Loreti, F Tiezzi, R Vigo
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1840-1845, 2015
432015
Efficient Routing Leach (Er-Leach) Enhanced On Leach Protocol In Wireless Sensor Networks.
H Al-Refai, A Al-Awneh, K Batiha, AA Ali, YME Rahman
International Journal of Academic Research 3 (3), 2011
302011
A calculus for collective-adaptive systems and its behavioural theory
Y Abd Alrahman, R De Nicola, M Loreti
Information and Computation 268, 104457, 2019
26*2019
Programming of CAS systems by relying on attribute-based communication
Y Abd Alrahman, R De Nicola, M Loreti
International Symposium on Leveraging Applications of Formal Methods, 539-553, 2016
242016
Programming interactions in collective adaptive systems by relying on attribute-based communication
Y Abd Alrahman, R De Nicola, M Loreti
Science of Computer Programming 192, 102428, 2020
212020
: Attribute-Based Interaction in Google Go
Y Abd Alrahman, R De Nicola, G Garbi
International Symposium on Leveraging Applications of Formal Methods, 288-303, 2018
142018
A distributed coordination infrastructure for attribute-based interaction
Y Abd Alrahman, R De Nicola, G Garbi, M Loreti
International Conference on Formal Techniques for Distributed Objects …, 2018
132018
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
Y Abd Alrahman, M Andric, A Beggiato, AL Lafuente
International Workshop on Rewriting Logic and its Applications, 21-41, 2014
82014
Reconfigurable Interaction for MAS Modelling.
Y Abd Alrahman, G Perelli, N Piterman
AAMAS, 7-15, 2020
7*2020
A distributed API for coordinating AbC programs
Y Abd Alrahman, G Garbi
International Journal on Software Tools for Technology Transfer 22 (4), 477-496, 2020
32020
A coordination protocol language for power grid operation control
Y Abd Alrahman, HT Vieira
Journal of Logical and Algebraic Methods in Programming 109, 100487, 2019
3*2019
Synthesis of run-to-completion controllers for discrete event systems
Y Abd Alrahman, V Braberman, N D’Ippolito, N Piterman, S Uchitel
2021 American Control Conference (ACC), 2021, 2021
12021
Reconfigurable Interaction for MAS Modelling
YA Alrahman, G Perelli, N Piterman
arXiv preprint arXiv:1906.10793, 2019
12019
Testing for coordination fidelity
Y Abd Alrahman, CA Mezzina, HT Vieira
Models, Languages, and Tools for Concurrent and Distributed Programming, 152-169, 2019
12019
Modelling and verification of reconfigurable multi-agent systems
Y Abd Alrahman, N Piterman
Autonomous Agents and Multi-Agent Systems 35 (2), 1-36, 2021
2021
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue
YA Alrahman, M Martel, N Piterman
arXiv preprint arXiv:2107.14668, 2021
2021
Modelling and Verification of Reconfigurable Multi-Agent Systems
YA Alrahman, N Piterman
arXiv preprint arXiv:2104.10998, 2021
2021
A Computational Framework for Adaptive Systems and its Verification⋆
Y Abd Alrahman, G Perelli, N Piterman
arXiv preprint arXiv:1906.10793, 2019
2019
A Foundational Theory For Attribute-based Communication
YM Abd Alrahman
IMT school for Advanced Studies Lucca, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20