Follow
Yehia Abd Alrahman
Title
Cited by
Cited by
Year
On the power of attribute-based communication
Y Abd Alrahman, R De Nicola, M Loreti
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
622016
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
502015
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
342020
A calculus for collective-adaptive systems and its behavioural theory
Y Abd Alrahman, R De Nicola, M Loreti
Information and Computation 268, 104457, 2019
34*2019
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
342011
Programming of CAS systems by relying on attribute-based communication
Y Abd Alrahman, R De Nicola, M Loreti
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
262016
Reconfigurable interaction for MAS modelling
YA Alrahman, G Perelli, N Piterman
arXiv preprint arXiv:1906.10793, 2019
16*2019
: Attribute-Based Interaction in Google Go
Y Abd Alrahman, R De Nicola, G Garbi
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
152018
A distributed coordination infrastructure for attribute-based interaction
YA Alrahman, R De Nicola, G Garbi, M Loreti
Formal Techniques for Distributed Objects, Components, and Systems: 38th …, 2018
142018
Can we efficiently check concurrent programs under relaxed memory models in Maude?
Y Abd Alrahman, M Andric, A Beggiato, AL Lafuente
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014
102014
Modelling and verification of reconfigurable multi-agent systems
Y Abd Alrahman, N Piterman
Autonomous Agents and Multi-Agent Systems 35 (2), 47, 2021
92021
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
42020
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
R-CHECK: A Model Checker for Verifying Reconfigurable MAS.
Y Abd Alrahman, S Azzopardi, N Piterman
AAMAS, 1518-1520, 2022
22022
Model checking reconfigurable interacting systems
Y Abd Alrahman, S Azzopardi, N Piterman
Leveraging Applications of Formal Methods, Verification and Validation …, 2022
12022
R-check: A model checker for verifying reconfigurable mas
YA Alrahman, S Azzopardi, N Piterman
arXiv preprint arXiv:2201.06312, 2022
12022
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
Testing for coordination fidelity
YA Alrahman, CA Mezzina, HT Vieira
Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019
12019
Correct-by-Design Teamwork Plans for Multi-Agent Systems
YA Alrahman, N Piterman
arXiv preprint arXiv:2301.01257, 2023
2023
A PO Characterisation of Reconfiguration
Y Abd Alrahman, M Martel, N Piterman
Theoretical Aspects of Computing–ICTAC 2022: 19th International Colloquium …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20